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
Multithreading boosts ThreadX on MIPS cores
December 06, 2013
Imagination Technologies and Express Logic have expanded their support of the ThreadX real time operating system on Imagination’s ...
UK distribution sees 5% growth in 2014
Global M2M innovations design contest
PHI Group plans acquisition Nord Energy to extend LED street lighting offering
EV market is much more than passenger cars - and it's booming
Stanene may be better than Graphene
December 06, 2013
A team of researchers led by Stanford University professor Shoucheng Zhang now have high hopes that a new material they call ...
US demand for LED lighting to grow more than 10 percent annually to 2017, reports Freedonia
Women demand different connectivity functions in the car
Advanced batteries reached $10.8bn in market value in 2012, reports Navigant Research
- 3mm × 3mm QFN IC Directly Monitors 0V to 80V Supplies
- UltraCMOS® Semiconductor Technology Platforms: A Rapid Advancement of Process & Manufacturing
- Adaptive Cell Converter Topology Enables Constant Efficiency in PFC Applications
- Isolated 4-Channel, Thermocouple/RTD Temperature Measurement System with 0.5°C Accuracy
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.