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