Можно упростить симуляцию, отладку и формальный анализ больших, сложных моделей, сосредоточившись на областях интереса в вашей модели. После выделения фрагмента вашей модели с помощью Model Slicer, можно сгенерировать упрощенную автономную модель. Упрощенная модель содержит блоки и пути зависимостей в подсвеченном фрагменте. Применить изменения к упрощенной автономной модели на основе симуляции, отладки и формального анализа, а затем применить эти изменения обратно к исходной модели.
Пример модели sldemo_mdlref_basic
содержит три образцов модели sldemo_mdlref_counter
. Чтобы открыть модель, в командной строке MATLAB введите:
open_system('sldemo_mdlref_basic')
Чтобы открыть Model Slicer Manager, в разделах Верификация модели, Validation и Test на вкладке Apps, нажмите Model Slicer.
В Диспетчере срезов модели щелкните стреле, чтобы развернуть Slicer configuration list.
Установите свойства среза:
Name: Slice1
Color: ( пурпурный)
Signal Propagation: upstream
Model Slicer может также подсвечивать конструкции ниже по течению или двунаправленно от блока в вашей модели, в зависимости от направления, в котором вы хотите проследить распространение сигнала.
Добавить CounterC
как начальная точка. В модели щелкните правой кнопкой мыши CounterC
и выберите Model Slicer > Add as Starting Point.
Теперь Model Slicer подсвечивает вышестоящие конструкции, которые влияют на CounterC
.
В Диспетчере срезов модели щелкните Generate slice.
В диалоговом окне Select File to Write выберите место сохранения и введите имя модели. Упрощенная автономная модель содержит подсвеченные элементы модели.
Чтобы удалить подсветку из модели, закройте Диспетчер срезов модели.
Теперь можно анализировать упрощенную автономную модель и применять любые изменения к исходной модели.