Упрощение модели для целевого анализа сложных моделей с помощью Model Slicer Tool

Можно упростить симуляцию, отладку и формальный анализ больших, сложных моделей, сосредоточившись на областях интереса в вашей модели. После выделения фрагмента вашей модели с помощью Model Slicer, можно сгенерировать упрощенную автономную модель. Упрощенная модель содержит блоки и пути зависимостей в подсвеченном фрагменте. Применить изменения к упрощенной автономной модели на основе симуляции, отладки и формального анализа, а затем применить эти изменения обратно к исходной модели.

  1. Пример модели sldemo_mdlref_basic содержит три образцов модели sldemo_mdlref_counter. Чтобы открыть модель, в командной строке MATLAB введите:

    open_system('sldemo_mdlref_basic')

  2. Чтобы открыть Model Slicer Manager, в разделах Верификация модели, Validation и Test на вкладке Apps, нажмите Model Slicer.

  3. В Диспетчере срезов модели щелкните стреле, чтобы развернуть Slicer configuration list.

  4. Установите свойства среза:

    • Name: Slice1

    • Color: ( пурпурный)

    • Signal Propagation: upstream

    Model Slicer может также подсвечивать конструкции ниже по течению или двунаправленно от блока в вашей модели, в зависимости от направления, в котором вы хотите проследить распространение сигнала.

  5. Добавить CounterC как начальная точка. В модели щелкните правой кнопкой мыши CounterC и выберите Model Slicer > Add as Starting Point.

    Теперь Model Slicer подсвечивает вышестоящие конструкции, которые влияют на CounterC.

  6. В Диспетчере срезов модели щелкните Generate slice.

  7. В диалоговом окне Select File to Write выберите место сохранения и введите имя модели. Упрощенная автономная модель содержит подсвеченные элементы модели.

  8. Чтобы удалить подсветку из модели, закройте Диспетчер срезов модели.

Теперь можно анализировать упрощенную автономную модель и применять любые изменения к исходной модели.

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте