skip to main content
10.1145/1185642.1185651acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

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

Published: 12 November 2006 Publication History

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

Index Terms

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

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SIGAda '06: Proceedings of the 2006 annual ACM SIGAda international conference on Ada
    November 2006
    92 pages
    ISBN:1595935630
    DOI:10.1145/1185642
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 November 2006

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. SPARK
    2. UAV
    3. formal methods
    4. high integrity
    5. safety critical
    6. unmanned aerial vehicle

    Qualifiers

    • Article

    Conference

    SIGAda '06
    Sponsor:
    SIGAda '06: ACM SIGAda Annual International Conference
    November 12 - 16, 2006
    New Mexico, Albuquerque, USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 380
      Total Downloads
    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 13 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media