Я уже отвечал на этот вопрос пару месяцев назад. Взаимодействие автоматов - FBD диаграмма.
Минимизация связей не значит полное их исключение.
Анализ ВСЕХ аварийных ситуаций, по совершенно разным
подсистемам, в одном месте - идея абсолютно дикая.
Введите в программе глобальную переменную - код ошибки.
Или автомат - "буфер ошибок" с признаком
"в буфере есть критическая ошибка".
"Размазывать" анализ происходящего по нескольким КА - грех.
А вот ввести обобщенную СИГНАЛИЗАЦИЮ ОШИБКИ мысль халяльная :)