Abstract
Aviation flight safety is largely ensured by the reliability and continuity of interactions between ground and airborne systems during data exchange in process of the flight. Modern avionics systems are built on a modular basis. The combination of technical and software components has led to the emergence of a new class of systems – integrated modular avionics. The article proposes an approach to the analysis of the dependability for ATC functionality failures for system with combination of hardware-oriented and software-based solutions. In the paper the Fault Tree Analysis method is used for building of failure tree for the indicated main interaction between infrastructure and software components which may contribute to failure of ATC part of data link system. In the paper the constructed fault tree is used for creation of model based on Petri nets for modelling the influence of various factors on the availability of the ATC hardware-software complex. The article describes the method of constructing a dependability model based on Petri nets.
