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
Micrel's 10 criteria for choosing a MEMS foundry
April 18, 2014
Micrel Inc. (San Jose, Calif.) has prepared an article that lays out the 10 criteria to help guide someone in the choice ...
Superconducting qbits made immune to quasiparticle energy loss
The Filter Wizard: Just add a transistor
Mobile display revenues soar, leaving TV behind
European organic PV project aims for material gains
Nanomaterial-packed cathode extends range of EV lithium-sulfur batteries
April 17, 2014
Researchers at the USA's Department of Energy Pacific Northwest National Laboratory have developed a metal organic framework ...
Wearable computing market on 78% CAGR through 2018
OLED TV shipment delays stall OLED material growth
BMW updates navigation via mobile radio connection
- USB 5V 2.5A Output, 42V Input Synchronous Buck with Cable Drop Compensation
- Measurement applications across multiple test platforms
- Supplying DC input power to string inverters
- Supplying DC input power for HEV testing
InterviewHeartbleed challenges the Internet of Thing
The Heartbleed security bug is a key example of the fundamental security challenge for the Internet of Things says Green Hills Software as it launches a new security group.
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, Arrow Electronics is giving away ten XMC1200 lighting application kits, worth 100 Euros each, for EETimes Europe's readers to win.
Each kit combines Infineon’s brightness and colour control XMC1200 CPU board to drive flicker free LED dimming and colour changing, together with a colour LED card and a white LED card.
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.