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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.