2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 104 citations · 2 references
ComputingAerospace EngineeringComputer ScienceArtificial IntelligenceFormal MethodsUnmanned Aircraft SystemsAirspace IntegrationAlerting SystemsSense-and-avoid SystemsSituation AwarenessAlertingAlerting LogicInteractive Theorem ProvingMathematical NotationMathematical Notation DevelopmentMinimum Performance StandardsSituation Awareness In AviationUnmanned Aircraft Systems Integration
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.
2