Уточнение подсвеченной модели при помощи существующих .slslicex или результаты мертвой логики
Когда вы запускаете симуляцию или уточняете мертвую логику, Model Slicer сохраняет результаты симуляции в расположении по умолчанию <current_folder>\modelslicer\<model_name>\<model_name>.slslicex. Для больших или сложных моделей время симуляции может быть длительным. Чтобы уточнить подсвеченный срез, можно использовать существующие данные моделирования Model Slicer или результаты мертвой логики.
Если вы хотите снова выделить функциональные зависимости в модели в другое время, можно использовать существующие .slslicex время симуляции окна без необходимости резимулировать модель. Затем Model Slicer использует существующие данные моделирования, чтобы подсветить модель.
Откройте Simulink® модель.
Чтобы открыть Диспетчер срезов модели, на вкладке Apps, в разделе Model Verification, Validation, and Test галереи, нажмите Model Slicer.
Выберите Simulation time window.
Нажмите Use existing simulation data.
Перейдите к существующей
.slslicexДанные и нажатие кнопки Open.
Чтобы уточнить мертвую логику для анализа зависимостей, можно импортировать существующий файл данных Simulink Design Verifier™ или использовать существующий .slslicex результаты мертвой логики. Для получения дополнительной информации смотрите, Мертвая логика, Обнаружение (Simulink Design Verifier) и Simulink Design Verifier Файлов данных (Simulink Design Verifier).
В Диспетчере срезов модели выберите Refine Dead Logic и нажмите Get Dead Logic Data.
Чтобы импортировать файл данных Simulink Design Verifier, нажмите Browse for SLDV data file.
Чтобы загрузить существующие результаты мертвой логики, нажмите Browse for existing dead logic results
.Перейдите к существующим данным и нажатию кнопки Open.
