Анализируйте Stateflow атомарная субдиаграмма

В Stateflow® стройте диаграмму, atomic subchart является графическим объектом, который позволяет вам снова использовать то же состояние или субдиаграмму через несколько графиков и моделей. Можно использовать Simulink® Design Verifier™, чтобы анализировать атомарные субдиаграммы индивидуально. Вы не должны анализировать график, который содержит атомарную субдиаграмму или модель, которая содержит график.

Если у вас есть проблемы при анализе большой модели, анализ атомарной субдиаграммы в управляемой среде полезен. Как описано в Подходе снизу вверх к Анализу модели, путем анализа атомарных субдиаграмм или других компонентов в иерархии модели индивидуально, можно анализировать модель к:

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

  • Анализируйте компоненты модели, которые недостижимы в контексте контейнерной модели или графика.

Примечание

Для получения дополнительной информации об атомарных субдиаграммах, смотрите, Создают Допускающие повторное использование Субкомпоненты при помощи Атомарных Субдиаграмм (Stateflow).

Анализируйте атомарную субдиаграмму при помощи Simulink Design Verifier

sf_atomic_sensor_pair модель в качестве примера моделирует избыточную пару датчика использование атомарных субдиаграмм. Этот пример анализирует Sensor1 субдиаграмма в RedundantSensors график.

  1. Откройте sf_atomic_sensor_pair модель в качестве примера:

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

  2. Дважды кликните RedundantSensors стройте диаграмму, чтобы открыть его.

    Эта диаграмма Stateflow имеет две атомарных субдиаграммы:

    • Sensor1

    • Sensor2

  3. Анализировать Sensor1 субдиаграмма с помощью Simulink Design Verifier, щелкните правой кнопкой по субдиаграмме и выберите Design Verifier> Generate Tests for Subchart.

    Во время анализа программное обеспечение создает модель Simulink под названием Sensor1 это содержит Sensor1 субдиаграмма. Новая модель содержит Inport и блоки Outport, которые соответственно соответствуют объектам данных u и y в субдиаграмме.

    Программное обеспечение сохраняет новую модель и другие файлы, сгенерированные анализом в:

    <current_folder>/sldv_output/Sensor1
  4. Когда анализ будет завершен, просмотрите результаты анализа для Sensor1 субдиаграмма путем нажатия на одну из следующих опций:

    • Highlight analysis results on model

    • Generate detailed analysis report

    • Create harness model

    • Simulate tests and produce a model coverage report

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