"The inherent complexity of Air Traffic Management (ATM) systems makes formal analysis a difficult task. Complexity of ATM systems is mainly due to their heterogeneity and to the large number of their sub–components. While heterogeneity in the diverse components. of ATM systems has been effectively approached by resorting to compositional hybrid-system. formalism, methods for the formal analysis of realistic large scale ATM systems are few at present. In this paper we provide an approach to deal with the analysis of safety criticality for. complex ATM systems. The approach proposed is centered on a mathematical representation of ATM systems, termed arenas of finite state machines, which are effective in modeling the behavior of ATM agents both in nominal and non–nominal modes of operation, as well as their interaction. Complexity reduction techniques are then proposed as a tool to analyze realistic ATM scenarios."

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation

POLA, GIORDANO;DI BENEDETTO, MARIA DOMENICA;DE SANTIS, Elena
2012-01-01

Abstract

"The inherent complexity of Air Traffic Management (ATM) systems makes formal analysis a difficult task. Complexity of ATM systems is mainly due to their heterogeneity and to the large number of their sub–components. While heterogeneity in the diverse components. of ATM systems has been effectively approached by resorting to compositional hybrid-system. formalism, methods for the formal analysis of realistic large scale ATM systems are few at present. In this paper we provide an approach to deal with the analysis of safety criticality for. complex ATM systems. The approach proposed is centered on a mathematical representation of ATM systems, termed arenas of finite state machines, which are effective in modeling the behavior of ATM agents both in nominal and non–nominal modes of operation, as well as their interaction. Complexity reduction techniques are then proposed as a tool to analyze realistic ATM scenarios."
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/89320
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact