Таблицы истинности реализуют проект комбинаторной логики в кратком, табличном формате. Таблицы истинности поддерживаются только в блоках 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) действия для графика так, чтобы проверки отказа выполнились на каждом временном шаге.
