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