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