Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft

  • César MuñozEmail author
  • Anthony Narkawicz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9690)


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.


  1. 1.
    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)Google Scholar
  2. 2.
    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 2015Google Scholar
  3. 3.
    FAA Sponsored Sense and Avoid Workshop. Sense and avoid (SAA) for Unmanned Aircraft Systems (UAS), October 2009Google Scholar
  4. 4.
    Hammer, J.: Horizontal miss distance filter system for suppressing false resolution alerts, U.S. Patent 5,566,074, October 1996Google Scholar
  5. 5.
    International Civil Aviation Organization (ICAO). Annex 2 to the Convention on International Civil Aviation, July 2005Google Scholar
  6. 6.
    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 2014Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    US Code of Federal Regulations. Title 14 Aeronautics and Space; Part 91 General operating and fight rules (1967)Google Scholar

Copyright information

© U.S. Government 2016

Authors and Affiliations

  1. 1.NASA Langley Research CenterHamptonUSA

Personalised recommendations