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