Чтобы уточнить логику нечувствительности в модели для анализа зависимостей, используйте срез модели. Для обеспечения точного среза модуль Model Slicer использует анализ неработающей логики Simulink ® Design Verifier™ для удаления недоступных путей в модели. Модельный срез (Model Slicer) идентифицирует неработающую логику и уточняет срез модели для анализа зависимостей. Дополнительные сведения о неработающей логике см. в разделе Обнаружение неработающей логики (Simulink Design Verifier).
В этом примере показано, как уточнить модель для неработающей логики. sldvSlicerdemo_dead_logic модель состоит из неработающих логических путей, которые уточняются для анализа зависимостей.
1. Откройте окно sldvSlicerdemo_dead_logic модель.
2. На вкладке «Приложения» в разделе «Проверка модели», «Проверка» и «Галерея тестов» щелкните «Срез модели».
open_system('sldvSlicerdemo_dead_logic');
Откройте окно Controller подсистема и добавьте выходной порт throt в качестве отправной точки.
Срез модели выделяет восходящую зависимость throt аутпорт.
2. В Диспетчере фрагментов модели (Model Slice Manager) выберите Уточнить неработающую логику (Refine Dead Logic).
3. Щелкните Получить неработающие логические данные (Get Dead Logic Data).
4. Укажите время анализа и выполните анализ. Можно импортировать существующие неработающие логические результаты из sldvData файл или загрузка существующего .slslicex данные для анализа. Дополнительные сведения см. в разделе Уточнение выделенной модели с помощью существующих результатов .slicex или Dead Logic.
В качестве set вход равен true, False вход в коммутатор удаляется для анализа зависимостей. Аналогично, выход блока OR всегда true и удален из фрагмента модели.