Detecting safety critical situations that may arise. in the evolution of Air Traffic Management (ATM) systems is of primary importance in the analysis of their behavior. The inherent complexity of ATM systems, typically involving a. large number of agents, makes this analysis prohibitive today. Compositionality has been an effective way of tackling this problem. We present a compositional framework to accurately. describe the behavior of the agents operating in ATM scenarios and of their interaction. We then expose some results that reduce. the computational effort required in detecting safety critical situations. Benefits from the use of this approach are illustrated on a future Terminal Manoeuvring Area operation design.

Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach

DE SANTIS, Elena;DI BENEDETTO, MARIA DOMENICA;PEZZUTI, DAVIDE;POLA, GIORDANO;
2013-01-01

Abstract

Detecting safety critical situations that may arise. in the evolution of Air Traffic Management (ATM) systems is of primary importance in the analysis of their behavior. The inherent complexity of ATM systems, typically involving a. large number of agents, makes this analysis prohibitive today. Compositionality has been an effective way of tackling this problem. We present a compositional framework to accurately. describe the behavior of the agents operating in ATM scenarios and of their interaction. We then expose some results that reduce. the computational effort required in detecting safety critical situations. Benefits from the use of this approach are illustrated on a future Terminal Manoeuvring Area operation design.
2013
978-3-902823-00-7
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/89213
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact