Можно упростить моделирование, отладку и формальный анализ больших сложных моделей, сосредоточив внимание на областях, представляющих интерес для модели. После выделения части модели с помощью среза модели можно создать упрощенную автономную модель. Упрощенная модель содержит блоки и пути зависимостей в выделенной части. Примените изменения к упрощенной автономной модели на основе моделирования, отладки и формального анализа, а затем примените эти изменения к исходной модели.
Пример модели sldemo_mdlref_basic содержит три экземпляра модели sldemo_mdlref_counter. Для открытия модели в командной строке MATLAB введите:
open_system('sldemo_mdlref_basic')Чтобы открыть Диспетчер срезов модели (Model Slicer Manager), в разделе Проверка модели (Model Verification), Проверка (Validation) и Тест (Test) вкладки Приложения (Apps) щелкните Срезатель модели (Model Slicer).
В Диспетчере фрагментов модели (Model Slice Manager) щелкните стрелку, чтобы развернуть список конфигурации среза.
Задайте свойства фрагмента:
Имя: Slice1
Цвет: (
пурпурный)
Распространение сигнала: upstream
Модуль Model Slicer может также выделять конструкции, расположенные ниже или двунаправленно от блока в модели, в зависимости от того, в каком направлении требуется отслеживать распространение сигнала.
Добавить CounterC в качестве отправной точки. В модели щелкните правой кнопкой мыши CounterC и выберите «Модель» «Срез» > «Добавить как начальную точку».
Теперь срезатель модели выделяет родительские конструкции, влияющие на CounterC.
В Диспетчере фрагментов модели (Model Slice Manager) щелкните Создать фрагмент (Generate slice).
В диалоговом окне Выбрать файл для записи (Select File to Write) выберите место сохранения и введите имя модели. Упрощенная автономная модель содержит выделенные элементы модели.
Чтобы удалить подсветку из модели, закройте Диспетчер фрагментов модели (Model Slice Manager).
Теперь можно проанализировать упрощенную автономную модель и применить любые изменения к исходной модели.