Подход к обеспечению и поддержанию безопасности сложных систем на основе автоматных моделей

Предложен подход к обеспечению и поддержанию безопасности функционирования сложных систем на основе согласования взаимодействия их компонентов. На базе причинно-следственного подхода построена автоматная модель процесса функционирования этих систем, позволяющая представить синхронное взаимодействие входящих в них компонентов. Данная модель может найти применение в учебно-авиационных центрах, занимающихся периодической наземной подготовкой, повышением квалификации и переподготовкой авиационных специалистов.