nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems

verfasst von : Paolo Masci, César A. Muñoz

Erschienen in: Tests and Proofs

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel sasa: A SimulAtor of Self-stabilizing Algorithms

Nächstes Kapitel ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

RTCA was formerly known as Radio Technical Commission for Aeronautics.

https://shemesh.larc.nasa.gov/fm/DAIDALUS.

https://github.com/nasa/daa-displays.

http://shemesh.larc.nasa.gov/fm/DAA-Displays.

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_6CrossRef

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/BFb0028775CrossRef

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_2CrossRef

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_14CrossRef

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_30CrossRef

10.

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

11.

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

12.

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)

13.

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)

14.

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_217CrossRef

15.

RTCA SC-1228: RTCA-DO-365, Minimum Operational Performance Standards for Detect and Avoid (DAA) Systems (May 2017)

16.

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_10CrossRef

17.

US Code of Federal Regulations: Title 14 Aeronautics and Space; Part 91 General operating and fight rules; Section 111 (1967)

18.

US Code of Federal Regulations: Title 14 Aeronautics and Space; Part 91 General operating and fight rules; Section 113 (1967)

Titel: A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems
verfasst von: Paolo Masci
César A. Muñoz
Verlag: Springer International Publishing
Buch: Tests and Proofs
Print ISBN: 978-3-030-50994-1

Electronic ISBN: 978-3-030-50995-8

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-50995-8_9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"