NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS



  • Detect and AvoID Alerting Logic for Unmanned Systems (DAIDALUS) is a collection of algorithms for a detect and avoid concept that supports the integration of Unmanned Aircraft Systems (UAS) into the National Airspace System (NAS). DAIDALUS algorithms are based on a mathematical definition of the well-clear boundary. The following algorithms are implemented in DAIDALUS.

    DAIDALUS algorithms have been formally specified and verified for functional correctness in PVS[*]. The PVS formal development is part of the NASA PVS Library. Furthermore, implementations of DAIDALUS algorithms in Java and C++ are available under NASA's Open Source Agreement at GitHub[*]. DAIDALUS is 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.

    Publications

    *The DAIDALUS logo was designed by Mahyar Malekpour (NASA).

    The tag [*] identifies links that are outside the NASA domain