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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Published in:

    Publication date :

    2014-05-09


    Size :

    22 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    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

    Free access