The use of unmanned aircraft for civil applications is expected to increase over the next decade, particularly in so-called dull, dirty, and dangerous missions. Unmanned aircraft will undoubtedly require some form of autonomy to ensure safe operations for all airspace users. However, to be used for civil applications, unmanned aircraft must gain regulatory approval in a process known as “certification”. This paper presents a proof-of-concept approach to the generation of certification evidence for autonomous unmanned aircraft based on a combination of formal verification and flight simulation. In particular, a class of autonomous systems controlled by rational agents is examined, and we give examples of 23 different properties, based on the rules of the air and notions of airmanship, which can be used in the formal model checking of rational agents controlling autonomous unmanned aircraft. Our techniques can be based on either 1) implicit models of the aircraft’s physical environment specified in terms of the range of sensor inputs the autonomous system may receive, or 2) more explicit physical models of the environment. Finally, we provide a description of how such formal verification can be used to refine the implementation of autonomous systems for unmanned aircraft.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation


    Beteiligte:
    Webster, Matt (Autor:in) / Cameron, Neil (Autor:in) / Fisher, Michael (Autor:in) / Jump, Mike (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2014-05-09


    Format / Umfang :

    22 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

    Webster, Matt / Cameron, Neil / Jump, Michael et al. | AIAA | 2012


    2012-2573 Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

    Webster, M. / Cameron, N. / Jump, M. et al. | British Library Conference Proceedings | 2012


    Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

    Torens, Christoph / Adolf, Florian-M. / Goormann, Lukas | AIAA | 2014


    Certification of Unmanned Aircraft (UA)

    Grzegorz Pettke / Wojciech Kozyro / Przemyslaw Galka et al. | DOAJ | 2021

    Freier Zugriff