skip to main content
article

Developing safety critical software for an unmanned aerial vehicle situational awareness tool

Published:12 November 2006Publication History
Skip Abstract Section

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.

References

  1. Barnes, John. High Integrity Software, The SPARK Approach to Safety and Security. c2003. Addison-Wesley. London, UK. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Croxford, Martin and James Sutton, Breaking Through the V and V Bottleneck, Lecture Notes in Computer Science, Vol 1031, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Croxford, Martin and Dr Roderick Chapman. Correctness by Construction: A Manifesto for High-Integrity Software. Crosstalk, Dec 2005, Vol 18, No. 12.Google ScholarGoogle Scholar
  4. Amey, Peter. Correctness by Construction: Better can also be Cheaper. Crosstalk, May 2002.Google ScholarGoogle Scholar
  5. Praxis High-Integrity Systems. Retrieved from http://www.praxis-his.com/ on Apr 24, 2006.Google ScholarGoogle Scholar
  6. Sward, Ricky, Tim Beerman, and Clint Sparkman. Unmanned Eyes in the Sky. Military Geospatial Technologies, Sep 14, 2005 in Volume: 3 Issue: 3.Google ScholarGoogle Scholar
  7. Google Earth, a 3D Interface to the Planet. Retrieved from http://earth.google.com/ on Apr 24, 2006.Google ScholarGoogle Scholar
  8. Ada Language Reference Manual. Retrieved from http://www.adahome.com/rm95/Google ScholarGoogle Scholar
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Developing safety critical software for an unmanned aerial vehicle situational awareness tool

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)1

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!