Abstract
This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification.
Author supplied keywords
Cite
CITATION STYLE
Palanque, P., & Campos, J. C. (2023). AMAN Case Study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14010 LNCS, pp. 265–283). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-33163-3_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
