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