Обнаружение неработающей логики помогает идентифицировать:
Ошибки конструкции модели.
Посторонние элементы модели.
Элементы модели, которые должны быть выполнены, но не выполнены.
В этом примере анализируется модель контроллера расхода топлива, чтобы определить, содержит ли модель мертвую логику. Обнаружение неактивной логики обнаруживает неверное значение переменной, которое приводит к тому, что условие перехода в диаграмме Stateflow ® остается неактивным.
Откройте модель.
sldvdemo_fuelsys_logic_simple
Убедитесь, что текущая папка доступна для записи.
Сконфигурируйте обнаружение неработающей логики.
На вкладке Design Verifier в разделе Mode выберите Design Error Detection.
Выберите Параметры обнаружения ошибок.
В диалоговом окне Параметр конфигурации (Configuration Parameter) выберите Мертвая логика (Dead logic) (частичная). Очистить исчерпывающий анализ. Нажмите кнопку ОК.
Щелкните Обнаружить ошибки конструкции (Detect Design Errors).
Диалоговое окно результатов показывает, что существует 2/109 целей, которые являются неработоспособными.
Создание отчета по анализу. В окне инспектора результатов щелкните HTML.
Перейдите к разделу «Мертвая логика». В таблице перечислены два экземпляра неработающей логики.
В столбце Описание (Description) одним из мертвых экземпляров логики является false состояние press < zero_thresh. Результат неработоспособной логики указывает, что в моделировании false условие не выполнено. Эта логика является частью Sens_Failure_Counter.INC переход.
Щелкните ссылку Элемент модели (Model Item). Simulink выделяет переход в диаграмме.
Логический оператор, управляющий переходом:
speed==0 & press < zero_thresh
Вернитесь к отчету. Выполните прокрутку до раздела «Ограничения».
Значение входного значения control logic/Input Data "press" ограничена от 0 до 2. Щелкните ссылку, чтобы открыть ввод в обозревателе моделей.
Выберите рабочее пространство модели в обозревателе моделей. В таблице содержимого выберите zero_thresh. Значение zero_thresh составляет 250.
Учитывая ограниченное значение press, она всегда меньше, чем zero_thresh и, следовательно, false условие никогда не выполняется.
Изменение значения zero_thresh до 0,250.
Повторно проанализируйте модель. На вкладке «Проверка проекта» выберите «Обнаружение ошибок проекта».
В новых результатах цель уже не является мертвой логикой.