One approach to software assurance is to use an annotated language such as SPARK. For safety critical software programs such as Unmanned Aerial Vehicle flight control software, the risk of software failure demands high assurance that the software will perform its intended function. Using an example from work being done at the U.S. Air Force Academy, this article describes SPARK and the formal process of proving correctness of software implementation.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles


    Beteiligte:
    R. E. Sward (Autor:in) / M. Gerken (Autor:in) / D. Casey (Autor:in)

    Erscheinungsdatum :

    2006


    Format / Umfang :

    6 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Flight phase classification for small unmanned aerial vehicles

    Leško, Jakub / Andoga, Rudolf / Bréda, Róbert et al. | BASE | 2023

    Freier Zugriff

    Flight phase classification for small unmanned aerial vehicles

    Jakub Leško / Rudolf Andoga / Róbert Bréda et al. | DOAJ | 2023

    Freier Zugriff

    Acoustic Flight Tests of Small Unmanned Aerial Vehicles (sUAVs)

    Randolph H Cabell / Robert G McSwain / Ferdinand Grosveld | NTRS