AMAN Case Study - Interactive Critical Systems
Communication Dans Un Congrès Année : 2023

AMAN Case Study

Résumé

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.
Fichier principal
Vignette du fichier
AMAN_Case_study-v1.0-1.pdf (1.2 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04316131 , version 1 (01-12-2023)

Identifiants

Citer

Philippe Palanque, José Creissac Campos. AMAN Case Study. 9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.265-283, ⟨10.1007/978-3-031-33163-3_21⟩. ⟨hal-04316131⟩
154 Consultations
49 Téléchargements

Altmetric

Partager

More