This paper concerns the application of formal methods to the definition of a detect and avoid concept for unmanned aircraft systems (UAS). In particular, it illustrates how formal analysis was used to explain and correct unexpected behaviors of the logic that issues alerts when two aircraft are predicted not to be well clear from one another. As a result of this analysis, a recommendation was proposed to, and subsequently adopted by, the US standards organization that defines the minimum operational requirements for the UAS detect and avoid concept.
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft
2016
6 pages
Report
No indication
English
Defining Well Clear for Unmanned Aircraft Systems
AIAA | 2015
|Analysis of Quantitative Terminal Area Well-Clear Volumes for Unmanned Aircraft Systems
British Library Conference Proceedings | 2018
|