ABSTRACT
We are constructing a remote sensing buoy that will be deployed on the Arctic sea ice north of Alaska. The buoy will gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used (by others) to refine models of ice movement. To enhance reliability the buoy software was written using SPARK Ada. SPARK was also helpful in reducing the memory footprint of the software to an acceptable level. Note also that the construction of the prototype buoy is a student project. Thus our experience is in an educational context.
- Crossworks for MSP430. http://www.rowley.co.uk/msp430/.Google Scholar
- Cubesat kit home. http://www.cubesatkit.com/.Google Scholar
- GCC toolchain for MSP430. http://mspgcc.sourceforge.net/.Google Scholar
- Sofcheck compiler technology. http://www.sofcheck.com/products/adamagic.html.Google Scholar
- U.S. army cold regions research and engineering laboratory (CRREL). http://www.crrel.usace.army.mil/.Google Scholar
- C. S. Brandon. Use of ada in a student cubesat project. Ada User Journal, 29(3), 2008.Google Scholar
- J. Yu, A. K. Liu, and Y. Zhao. Advances in Geosciences 2005, chapter Sea Ice Motion and Deformation in the Marginal Ice Zone Through SAR. World Scientific Publishing Company, 2005.Google Scholar
Index Terms
Use of SPARK in a resource constrained embedded system
Recommendations
Use of SPARK in a resource constrained embedded system
SIGAda '09We are constructing a remote sensing buoy that will be deployed on the Arctic sea ice north of Alaska. The buoy will gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used (by ...
A Study on the Key Technology of Autonomous Underwater Vehicle---AUV's Self Rescue Beaconing System
ICIRA '09: Proceedings of the 2nd International Conference on Intelligent Robotics and ApplicationsIt is dangerous for Autonomous UnderwaterVehicle (AUV) to work in the deep sea. so varies of risk may be faced by an AUV when working in such environment. Thus, it costs a lot of humanbeing resource to develop an AUV while the data or the collection ...
The Use of SPARK in a Complex Spacecraft
Building on our previous experience of constructing and operating a successful Earth orbiting satellite, in which the software was primarily written in SPARK, we now describe our new project: writing the flight software for a complex, lunar orbiting ...







Comments