As the technological and operational capabilities of unmanned aircraft systems (UAS) have grown, so too have international efforts to integrate UAS into civil airspace. However, one of the major concerns that must be addressed in realizing this integration is that of safety. For example, UAS lack an on-board pilot to comply with the legal requirement that pilots see and avoid other aircraft. This requirement has motivated the development of a detect and avoid (DAA) capability for UAS that provides situational awareness and maneuver guidance to UAS operators to aid them in avoiding and remaining well clear of other aircraft in the airspace. The NASA Langley Research Center Formal Methods group has played a fundamental role in the development of this capability. This article gives a selected survey of the formal methods work conducted in support of the development of a DAA concept for UAS. This work includes specification of low-level and high-level functional requirements, formal verification of algorithms, and rigorous validation of software implementations.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective


    Contributors:
    C. A. Munoz (author) / A. Dutle (author) / A. Narkawicz (author) / J. Upchurch (author)

    Publication date :

    2016


    Size :

    10 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective

    Munoz, Cesar A. / Dutle, Aaron / Narkawicz, Anthony et al. | NTRS | 2016




    Information Management for Operating Unmanned Aircraft Systems in the National Airspace System

    Hoffman, Robert / Timmerman, John / O'Keeffe, Giles et al. | AIAA | 2012


    An Evaluation Framework for Unmanned Aircraft Systems Integration in the National Airspace System

    Domercant, Jean C. / Pinon-Fischer, Olivia J. / Knisely, Nathan C. et al. | AIAA | 2014