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.All news
Dual 13A or single 26A μModule regulator integrates digital power system management
July 25, 2014
Datacenters and server farms contain vast amounts of digital electronics, such as ASICs, FPGAs and CPUs. Powering, monitoring ...
What's that smell? An app for that soon, says Sensirion
GE phosphor powder creates more vibrant LED displays
Foremost Electronics to distribute NKK's switches in the UK
Traffic light switches to smart mode
Sony investing in stacked image sensor manufacturing capacity
July 24, 2014
Sony Corp. has said it plans to invest 35 billion yen (about $340 million) to increase its production of stacked CMOS image ...
The Filter Wizard: 'three-legs' and the 4-20 mA current loop
Set-top boxes morphing into MHGs
Imagination positions itself for 802.11ah for the Internet of Things
- Testing GPS with a Simulator
- DSM presents: Select the best plastic for DDR4
- Dual 13A μModule Regulator with Digital Interface for Remote Monitoring & Control of Power
- Exploring the Business Model Evolution of High-Tech Equipment Manufacturers
InterviewCEO interview: China, not Apple, is way to go, says mCube CEO
Ben Lee, CEO of MEMS startup mCube, explains why he wants to spend $37 million on being a supplier of sensors to Chinese ODMs and avoiding a design win with Apple or Samsung.
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
This month, Altium Ltd is offering EETimes Europe's readers the chance to win one TASKING VX-Toolset for ARM Cortex-M Premium Edition, normally licensed for 2.395 Euros, for ultra-rapid prototyping and code development around ARM Cortex-M based microcontrollers.
The VX-toolset for ARM is the first TASKING compiler suite to receive the Software Platform technology, which is seamlessly...Read more
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.