Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
The TCAS II RA logic uses \(\texttt {TAUMOD}\) instead of \(\texttt {TCOA}\) in the vertical dimension.
References
Consiglio, M., Chamberlain, J., Muñoz, C., Hoffler, K.: Concept of integration for UAS operations in the NAS. In: Proceedings of 28th International Congress of the Aeronautical Sciences, ICAS 2012, Brisbane, Australia (2012)
Cook, S.P., Brooks, D., Cole, R., Hackenberg, D., Raska, V.: Defining well clear for unmanned aircraft systems. In: Proceedings of the 2015 AIAA Infotech @ Aerospace Conference, number AIAA-2015-0481, Kissimmee, Florida, January 2015
FAA Sponsored Sense and Avoid Workshop. Sense and avoid (SAA) for Unmanned Aircraft Systems (UAS), October 2009
Hammer, J.: Horizontal miss distance filter system for suppressing false resolution alerts, U.S. Patent 5,566,074, October 1996
International Civil Aviation Organization (ICAO). Annex 2 to the Convention on International Civil Aviation, July 2005
Muñoz, C., Narkawicz, A., Chamberlain, J., Consiglio, M., Upchurch, J.: A family of well-clear boundary models for the integration of UAS in the NAS. In: Proceedings of the 14th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, number AIAA-2014-2412, Atlanta, Georgia, USA, June 2014
Owre, S., Rushby, J., Shankar, N.: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748–752. Springer, Heidelberg (1992)
US Code of Federal Regulations. Title 14 Aeronautics and Space; Part 91 General operating and fight rules (1967)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 U.S. Government
About this paper
Cite this paper
Muñoz, C., Narkawicz, A. (2016). Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft. In: Rayadurgam, S., Tkachuk, O. (eds) NASA Formal Methods. NFM 2016. Lecture Notes in Computer Science(), vol 9690. Springer, Cham. https://doi.org/10.1007/978-3-319-40648-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-40648-0_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40647-3
Online ISBN: 978-3-319-40648-0
eBook Packages: Computer ScienceComputer Science (R0)