Abstract
Detect and Avoid (DAA) systems are safety enhancement software applications that provide situational awareness and maneuvering guidance to aid aircraft pilots in avoiding and remaining well clear from other aircraft in the airspace. This paper presents a graphical toolkit, called DAA-Displays, designed to facilitate the assessment of compliance of DAA software implementations to formally specified functional and operational requirements. The toolkit integrates simulation and prototyping technologies allowing designers, domain experts, and pilots to compare the behavior of a DAA implementation against its formal specification. The toolkit has been used to validate an actual software implementation of DAA for unmanned aircraft systems against a standard reference algorithm that has been formally verified.
Research by first author was supported by the National Aeronautics and Space Administration under NASA/NIA Cooperative Agreement NNL09AA00A.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
RTCA was formerly known as Radio Technical Commission for Aeronautics.
- 2.
- 3.
- 4.
References
Carreño, V., Consiglio, M., Muñoz, C.: Analysis and preliminary results of a concept for detect and avoid in the cockpit. In: Proceedings of the 38th Digital Avionics Systems Conference (DASC 2019), San Diego, CA, US (September 2019)
Chamberlain, J.P., Consiglio, M.C., Muñoz, C.: DANTi: detect and avoid in the cockpit. In: 17th AIAA Aviation Technology, Integration, and Operations Conference, p. 4491 (2017). https://doi.org/10.2514/6.2017-4491
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. No. AIAA-2015-0481, Kissimmee, Florida (January 2015). https://doi.org/10.2514/6.2015-0481
Davies, J.T., Wu, M.G.: Comparative analysis of ACAS-Xu and DAIDALUS detect-and-avoid systems. Tech. rep. (2018). https://ntrs.nasa.gov/search.jsp?R=20180001564
Dutle, A.M., Muñoz, C.A., Narkawicz, A.J., Butler, R.W.: Software validation via model animation. In: Blanchette, J.C., Kosmatov, N. (eds.) TAP 2015. LNCS, vol. 9154, pp. 92–108. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21215-9_6
Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR: a toolset for specifying and analyzing software requirements. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 526–531. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0028775
Le Sergent, T.: SCADE: a comprehensive framework for critical system and software engineering. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 2–3. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25264-8_2
Masci, P., Oladimeji, P., Curzon, P., Thimbleby, H.: Using PVSio-web to demonstrate software issues in medical user interfaces. In: Huhn, M., Williams, L. (eds.) FHIES/SEHC - 2014. LNCS, vol. 9062, pp. 214–221. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63194-3_14
Masci, P., Oladimeji, P., Zhang, Y., Jones, P., Curzon, P., Thimbleby, H.: PVSio-web 2.0: joining PVS to HCI. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 470–478. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21690-4_30
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. No. AIAA-2014-2412, Georgia, Atlanta, USA (June 2014). https://doi.org/10.2514/6.2014-2412
Muñoz, C., Narkawicz, A., Hagen, G., Upchurch, J., Dutle, A., Consiglio, M.: DAIDALUS: detect and avoid alerting logic for unmanned systems. In: Proceedings of the 34th Digital Avionics Systems Conference (DASC 2015), Prague, Czech Republic (September 2015). https://doi.org/10.1109/DASC.2015.7311421
Narkawicz, A., Muñoz, C., Dutle, A.: The MINERVA software development process. In: Shankar, N., Dutertre, B. (eds.) Automated Formal Methods, vol. 5, pp. 93–108. Kalpa Publications in Computing. EasyChair (2018)
Narkawicz, A., Muñoz, C., Dutle, A.: Sensor uncertainty mitigation and dynamic well clear volumes in DAIDALUS. In: Proceedings of the 37th Digital Avionics Systems Conference (DASC 2018), London, England, UK (September 2018)
Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748–752. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55602-8_217
RTCA SC-1228: RTCA-DO-365, Minimum Operational Performance Standards for Detect and Avoid (DAA) Systems (May 2017)
Titolo, L., Muñoz, C.A., Feliú, M.A., Moscato, M.M.: Eliminating unstable tests in floating-point programs. In: Mesnard, F., Stuckey, P.J. (eds.) LOPSTR 2018. LNCS, vol. 11408, pp. 169–183. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-13838-7_10
US Code of Federal Regulations: Title 14 Aeronautics and Space; Part 91 General operating and fight rules; Section 111 (1967)
US Code of Federal Regulations: Title 14 Aeronautics and Space; Part 91 General operating and fight rules; Section 113 (1967)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Masci, P., Muñoz, C.A. (2020). A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. In: Ahrendt, W., Wehrheim, H. (eds) Tests and Proofs. TAP 2020. Lecture Notes in Computer Science(), vol 12165. Springer, Cham. https://doi.org/10.1007/978-3-030-50995-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-50995-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-50994-1
Online ISBN: 978-3-030-50995-8
eBook Packages: Computer ScienceComputer Science (R0)