Введение в анализ зависимостей

Создайте упрощенную автономную модель

Описывает случаи для упрощенной генерации модели.

Подсветите функциональные зависимости

Используйте Нож Модели, чтобы подсветить функциональные зависимости и совершенствовать подсвеченный фрагмент вашей модели с помощью ограничений и исключений.

Используя нож модели с помощью Stateflow

Описывает рабочий процесс для использования Ножа Модели с Stateflow^® и поведением Ножа Модели относительно Stateflow

Подсветите активные временные интервалы при помощи основанного на действии квантования времени

Используйте основанное на действии квантование времени, чтобы подсветить и нарезать интервалы симуляции, в которых все выбранные состояния и переходы одновременно активны.

Сконфигурируйте подсветку модели и нарезанные модели

Менеджер по Срезу модели и опции Ножа Модели.

Изолированные компоненты модели для функционального тестирования

Описывает, как нарезать компоненты модели для отладки и улучшения.

Программно Сгенерируйте Матрицу Зависимости от ввода-вывода

Программно Сгенерируйте Матрицу Зависимости от ввода-вывода.

Факторы ножа модели и ограничения

Описывает ограничения и факторы Ножа Модели.

Совершенствуйте подсвеченную модель

Совершенствуйте подсвеченную модель

Описывает время симуляции использования и исключения, чтобы сузить подсветку модели.

Совершенствуйте подсвеченный срез модели при помощи ножа модели Data Inspector

Используйте Нож Модели Data Inspector, чтобы смотреть регистрируемые сигналы и совершенствовать подсвеченный срез модели.

Совершенствуйте мертвую логику для анализа зависимостей

Используйте Нож Модели, чтобы совершенствовать мертвую логику и подсветить функциональные зависимости.

Отладьте симуляцию среза при помощи быстрого режима перезапуска

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

Программно разрешите неожиданное поведение в модели с ножом модели

Обнаружьте неожиданное поведение и Нож Модели использования, чтобы программно изолировать и разрешить неожиданное поведение.

Совершенствуйте подсвеченную модель при помощи существующего .slslicex или результатов мертвой логики

Инструкции относительно того, как использовать существующие данные, чтобы подсветить функциональные зависимости в модели.

Создание упрощенной автономной модели

Создайте упрощенную автономную модель

Описывает случаи для упрощенной генерации модели.

Упростите автономную модель путем встраивания содержимого

Описывает, как использовать встроенные опции содержимого.

Упрощение вариантных систем

Пример, описывающий, как использовать Различного менеджера, чтобы уменьшать модель до упрощенной, автономной модели, содержащей только выбранные различные настройки.