AMAN Case Study

dc.contributor.author José Creissac Campos en
dc.contributor.other 5599 en
dc.date.accessioned 2023-11-15T21:57:22Z
dc.date.available 2023-11-15T21:57:22Z
dc.date.issued 2023 en
dc.description.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. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG. en
dc.identifier P-00Y-CC5 en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/14542
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title AMAN Case Study en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00Y-CC5.pdf
Size:
1.45 MB
Format:
Adobe Portable Document Format
Description: