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