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