This paper presents DAIDALUS (Detect and Avoid Alerting Logic for Unmanned Systems), a reference implementation of a detect and avoid concept intended to support the integration of Unmanned Aircraft Systems into civil airspace. DAIDALUS consists of self-separation and alerting algorithms that provide situational awareness to UAS remote pilots. These algorithms have been formally specified in a mathematical notation and verified for correctness in an interactive theorem prover. The software implementation has been verified against the formal models and validated against multiple stressing cases jointly developed by the US Air Force Research Laboratory, MIT Lincoln Laboratory, and NASA. The DAIDALUS reference implementation is currently under consideration for inclusion in the appendices to the Minimum Operational Performance Standards for Unmanned Aircraft Systems presently being developed by RTCA Special Committee 228.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems


    Contributors:


    Publication date :

    2015-09-01


    Size :

    1134820 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English






    DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

    Munoz, Cesar / Narkawicz, Anthony / Hagen, George et al. | NTRS | 2015


    DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

    C. Munoz / A. Narkawicz / G. Hagen et al. | NTIS | 2015