Abstract
In this paper, we describe our application of the SPARK programming language to the development of flight control software for an Unmanned Aerial Vehicle (UAV). The SPARK language was used during a senior-level software engineering course at the US Air Force Academy. This paper uses the year-long project from this course as an example application of SPARK. The process we used to build an interface between C++ and Ada is discussed along with our experiences with using SPARK.
- Barnes, John. High Integrity Software, The SPARK Approach to Safety and Security. c2003. Addison-Wesley. London, UK. Google Scholar
Digital Library
- Croxford, Martin and James Sutton, Breaking Through the V and V Bottleneck, Lecture Notes in Computer Science, Vol 1031, 1996. Google Scholar
Digital Library
- Croxford, Martin and Dr Roderick Chapman. Correctness by Construction: A Manifesto for High-Integrity Software. Crosstalk, Dec 2005, Vol 18, No. 12.Google Scholar
- Amey, Peter. Correctness by Construction: Better can also be Cheaper. Crosstalk, May 2002.Google Scholar
- Praxis High-Integrity Systems. Retrieved from http://www.praxis-his.com/ on Apr 24, 2006.Google Scholar
- Sward, Ricky, Tim Beerman, and Clint Sparkman. Unmanned Eyes in the Sky. Military Geospatial Technologies, Sep 14, 2005 in Volume: 3 Issue: 3.Google Scholar
- Google Earth, a 3D Interface to the Planet. Retrieved from http://earth.google.com/ on Apr 24, 2006.Google Scholar
- Ada Language Reference Manual. Retrieved from http://www.adahome.com/rm95/Google Scholar
- Carlisle, M.C. and A. T. Chamillard, AdaGIDE: A Friendly Introductory Programming Environment for a Freshman Computer Science Course, Proceedings of ASEET '97, Monmouth NJ, June 1997. Also appears in Ada Letters, vol. 18, no. 2 (March 1998), pp. 42--52. Google Scholar
Digital Library
Index Terms
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
Recommendations
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
SIGAda '06: Proceedings of the 2006 annual ACM SIGAda international conference on AdaIn this paper, we describe our application of the SPARK programming language to the development of flight control software for an Unmanned Aerial Vehicle (UAV). The SPARK language was used during a senior-level software engineering course at the US Air ...
Software Architecture for Ground Control Station for Unmanned Aerial Vehicle
UKSIM '08: Proceedings of the Tenth International Conference on Computer Modeling and SimulationUAV (Unmanned Aerial Vehicle) performs various kinds of missions such as mobile tactical reconnaissance, surveillance, law enforcement, search and rescue, land management, environmental monitoring, disaster management. UAV is a complex and challenging ...
Design Methodology of a Hybrid Propulsion Driven Electric Powered Miniature Tailsitter Unmanned Aerial Vehicle
Contrary to the manned tailsitter aircraft concepts, which have been shelved and forgotten after mid 1960's, the unmanned versions of these concepts have become popular. Since, tailsitter type UAVs combine both vertical takeoff and landing (VTOL) ...







Comments