Applying automation models to support and maintein safety in complex systems

We propose an approach to achieve and maintain safety of air transport systems. The approach is based on the coordination of system components’ interactions. We employ the cause-and-effect approach to build an automaton model of the dynamics of such systems. The model makes it possible to account for the synchronous interaction of system components. It can be used in training centers in the course of periodic ground training and professional development of aviation staff.