详情

原文传递 DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems.

题名：	DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems.
作者：	Munoz, C.; Narkawicz, A.; Hagen, G.; Upchurch, J.; Dutle, A.; Consiglio, M.; Chamberlain, J.
关键词：	Unmanned aircraft systems, Situational awareness, Collision avoidance, Aircraft detection, Warning systems, Flight management systems, Pilotless aircraft, Trajectory analysis, Flight safety
摘要：	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.
总页数：	Munoz, C.; Narkawicz, A.; Hagen, G.; Upchurch, J.; Dutle, A.; Consiglio, M.; Chamberlain, J.
报告类型：	科技报告