Можно упростить моделирование, отладку и формальный анализ больших и сложных моделей, сосредоточив внимание на областях, представляющих интерес для модели. После выделения части модели с помощью инструмента «Срез модели» можно создать упрощенную автономную модель, включающую подсвеченную часть исходной модели. Примените изменения к упрощенной автономной модели на основе моделирования, отладки и формального анализа, а затем примените эти изменения к исходной модели.
Примечание
Упрощенное создание автономных моделей не поддерживается для подсвеченных моделей с точками исключения или зависимыми коммутационными блоками. Если требуется просмотреть влияние точек исключения или блоков переключения с ограничениями на упрощенную автономную модель, сначала создайте упрощенную автономную модель, а затем добавьте точки исключения или блоки переключения с ограничениями.
Выделите часть модели с помощью инструмента «Срез модели».
См. разделы Выделение функциональных зависимостей и уточнение выделенной модели.
В Диспетчере фрагментов модели (Model Slice Manager) щелкните Создать фрагмент (Generate slice).
В диалоговом окне Выбрать файл для записи (Select File to Write) выберите место сохранения и введите имя модели.
Упрощенная автономная модель содержит выделенные элементы модели.
Чтобы удалить подсветку из модели, закройте Диспетчер фрагментов модели (Model Slice Manager).
При создании упрощенной автономной модели на основе выделения модели может потребоваться уточнить подсвеченную модель, прежде чем можно будет скомпилировать упрощенную автономную модель. Сведения о компиляции см. в разделе Сведения о срезе модели и ограничения.