В этом примере показано, как использовать таблицы истинности для сопоставления состояний отказов системы непосредственно с их последующими действиями.
Таблицы истинности поддерживаются только в Simulink ®. Дополнительные сведения см. в разделе Использование таблиц истинности для моделирования комбинаторной логики.
Эта модель отображает условия неисправности и действия системы управления элеватором самолета с помощью таблиц истинности.
В этом списке описываются требования к системе обнаружения неисправностей в модели.
Отказ гидравлического давления 1 - при отсутствии других отказов выключите левый внешний привод.
Отказ гидравлического давления 2 - при отсутствии других отказов выключите левый внутренний привод и правый внутренний привод.
Отказ гидравлического давления 3 - при отсутствии других отказов выключите правый внешний привод.
Отказ положения исполнительного механизма - при отсутствии других отказов изолировать этот конкретный исполнительный механизм.
Гидравлическое давление 1 и отказ левого внешнего привода - при отсутствии других отказов выключите левый внешний привод.
Гидравлическое давление 2 и отказ левого внутреннего привода - при отсутствии других отказов выключите левый внутренний привод.
Гидравлическое давление 3 и отказ правого внешнего привода - при отсутствии других отказов выключите правый внешний привод.
Множественные отказы на левой гидравлике и приводах - изолировать левый внешний привод и левый внутренний привод.
Множественные отказы на правой гидравлике и приводах - изоляция правого внешнего привода и правого внутреннего привода.
Прерывистые отказы исполнительного механизма - если исполнительный механизм был включен и выключен пять раз во время работы, отключите этот конкретный исполнительный механизм.
На диаграмме Логика режима (Mode Logic) пара функций таблицы истинности определяет логику для удовлетворения этих требований. L_switch управляет левым лифтом и R_switch управляет правым лифтом. Этот стол правды для левого лифта.
Первое требование указывает на то, что если отказ обнаруживается только в системе гидравлического давления 1, выключите левый внешний привод. В таблице истинности это требование представлено D1 принятия решения. При низком давлении в гидросистеме 1 D1 указывает, что выполняется действие 2. Действие 2 отправляет событие go_off влево от привода, Actuators.LO.
Аналогично, другие требования сопоставляются с соответствующими действиями в таблице истинности. Например, если левый внешний привод выходит из строя, D3 вызывает действие 3. Действие 3 отправляет событие go_isolated кому Actuators.LO для изоляции левого привода.
Функции таблицы истинности вызываются при вводе и во время действий для диаграммы, так что проверки ошибок выполняются на каждом временном шаге.