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