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