Lunar lander project relies on SPARK programming language
June 10, 2010 // Julien Happich
Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael's College, and the University of Vermont.
Primary funding for this effort is being provided by the Vermont Space Grant Consortium under NASA grant number NNG05GH16H.
A CubeSat is a miniaturised satellite with dimensions of 10x10x10cm which can be doubled or tripled in length. Its combination of size and standardised components make it a much cheaper method of space research than traditional satellites. Consequently it has been rapidly adopted by universities and research institutions around the world for projects covering areas as diverse as earthquake detection and wildlife tracking.
SPARK is a high level programming language and toolset designed to support the development of software where correct operation is vital, for example in safety, security or other “must work” applications. SPARK was adopted for the CubeSat project because of Vermont Technical College's experience in using SPARK and the related Ada programming language in developing mission critical control systems for a project to create Arctic sea ice monitoring buoys. Both the CubeSat and buoy systems face similar challenges in terms of coping with inhospitable conditions and the impossibility of fixing any software bugs when deployed.
The Vermont CubeSat project, led by Professor Carl Brandon of Vermont Technical College aims to launch by 2015. It is developing the first CubeSat that can be launched from a geostationary orbit to successfully land on the moon. The CubeSat electronics are based on a Texas Instruments (TI) MSP430 processor and the software will control navigation, communications, scientific instruments, camera and the CubeSat's propulsion system.
“The scale and simplicity of the CubeSat concept opens up space to innovative projects such as ours,” said Professor Carl Brandon, Professor of Physics, Vermont Technical College. “However the small size of the CubeSat shouldn't mask the ambitious scope of what we are aiming to do.
This means we needed to develop software that met the highest standards of integrity – you simply can't fix software problems in space. SPARK was therefore the perfect choice for this project and is an integral part of our goal to land the first CubeSat on the Moon.”
The proposed lunar lander will be a single unit CubeSat with four mini-thrusters on the bottom to maximise control and manoeuvrability. Two potential options for propulsion are being examined – a bi-propellant booster or a Xenon powered ion drive booster. The Xenon thruster can also be used for a triple CubeSat that would go to and orbit the moon. The team is currently working on initial designs for the spacecraft, with the aim of achieving further NASA funding in June 2011.
“To succeed scientific research needs to bring together innovation, new ideas and proven technology,” said Keith Williams, Altran Praxis Managing Director. “This new lunar mission demonstrates the potential of the CubeSat concept when combined with advanced, high integrity software developed using SPARK. We wish the project team well in their ambitious moon mission.”
Developed by Altran Praxis, the SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.
Visit Altran Praxis at www.altran-praxis.comAll news
European BLIM4SME project aims to further streamline Bluetooth Low Energy integration
December 12, 2013
Initiated by RivieraWaves and CSEM, the European funded BLIM4SME project will develop miniature wireless modules targeting ...
Additive photolithographic process yields micro flex circuits with 5µm feature resolution
Flexible haptics and capacitive touch combo solution enables more intuitive interfaces
Bosch suggests cars to coast for fuel efficiency
Europe is giving up on leading edge digital chip design
Design-free RF-based wireless charging redefines user experience
December 11, 2013
Although it was established in July 2010, funded by private investors, Israeli startup Humavox has been operating pretty ...
Electromobility, Formula One and the Fatal Consequences of Bad Software Design: The top ten stories of 2013
Brushless DC servo motors integrate field-oriented closed-loop servo control
How green is your code?
- UltraCMOS® Semiconductor Technology Platforms: A Rapid Advancement of Process & Manufacturing
- Managing Electrical Complexity with a Platform Level Approach and Systems Engineering
- 3mm × 3mm QFN IC Directly Monitors 0V to 80V Supplies
- Adaptive Cell Converter Topology Enables Constant Efficiency in PFC Applications
InterviewPerformance monitoring solution helps provide intelligent control of high power systems
A performance monitoring solution designed to enable companies to monitor high power IGBT module systems in locomotive, wind turbine, High Voltage DC and industrial drive applications was unveiled this ...
Filter WizardCheck out the Filter Wizard Series of articles by Filter Guru Kendall Castor-Perry which provide invaluable practical Analog Design guidelines.
Linear video channel
READER OFFERRead more
Internet of Things (IoT) manufacturer Ciseco has launched the Raspberry Pi ‘Wireless Inventors Kit’ (RasWIK), featuring 88 pieces to provide everything a Pi owner needs to follow a series of step-by-step projects or to create their own wireless devices, without the need for configuration or even writing code.
RasWIK has been designed to be highly accessible, demystifying the dark art of wireless and enabling anyone with basic computing skills to begin building wireless devices with a Raspberry Pi. You can create anything from a simple traffic light, to a battery monitor, or even a temperature gauge that sends data to the Xively IoT cloud so billions can access the data.This month, Ciseco is giving away twelve Raspberry Pi Wireless Inventors kits, worth £49.99 each for EETimes Europe's readers to win.
And the winners are...
In our previous reader offer, Farsens was giving away five kits for EEtimes Europe readers to evaluate its FenixVortex, Kineo and X1 wireless, battery free sensor tags.
Lucky winners include Mr A. Neil from the UK, Mr. E. Delvaux from Belgium, Mr Lengal from the Czech Republic, Mr H. Bijlsma from the Netherlands, and Mr G. Pfaff from Germany. All should be receiving their packages soon. Lets wish them some interesting findings with their projects.
December 15, 2011 | Texas instruments | 222901974
Unique Ser/Des technology supports encrypted video and audio content with full duplex bi-directional control channel over a single wire interface.