В диаграмме Stateflow ® атомарная вложенная диаграмма - это графический объект, позволяющий повторно использовать одно и то же состояние или вложенную диаграмму для нескольких диаграмм и моделей. Можно использовать Simulink ® Design Verifier™ для индивидуального анализа атомных подсхем. Нет необходимости анализировать диаграмму, содержащую атомарную вложенную диаграмму, или модель, содержащую диаграмму.
Если при анализе большой модели возникают проблемы, полезно проанализировать атомарную подшагу в контролируемой среде. Как описано в разделе Восходящий подход к анализу модели, анализируя атомарные подчасти или другие компоненты в иерархии модели по отдельности, можно проанализировать модель следующим образом:
Решение проблем, которые замедляют или предотвращают создание тестов, проверку свойств или обнаружение ошибок конструкции.
Анализ компонентов модели, недоступных в контексте контейнерной модели или диаграммы.
Примечание
Дополнительные сведения об атомных вложенных диаграммах см. в разделе Создание повторно используемых подкомпонентов с помощью атомных вложенных диаграмм (Stateflow).
sf_atomic_sensor_pair пример модели моделирует избыточную пару датчиков с использованием атомных подшаблонов. В этом примере анализируется Sensor1 вложенная диаграмма в RedundantSensors диаграмма.
Откройте окно sf_atomic_sensor_pair пример модели:
Эта модель демонстрирует, как моделировать простую избыточную пару датчиков с помощью атомных подшаблонов.
Дважды щелкните значок RedundantSensors чтобы открыть ее.
Эта диаграмма Stateflow имеет две атомарные подчасти:
Sensor1
Sensor2
Для анализа Sensor1 с помощью программы Simulink Design Verifier щелкните правой кнопкой мыши на вложенном рисунке и выберите «Design Verifier» > «Generate Tests for Subchart».
Во время анализа программа создает модель Simulink с именем Sensor1 , который содержит Sensor1 подшаблон. Новая модель содержит блоки Inport и Outport, соответствующие объектам данных u и y в подграфе.
Программа сохраняет новую модель и другие файлы, созданные в результате анализа:
<current_folder>/sldv_output/Sensor1
По завершении анализа просмотрите результаты анализа для Sensor1 путем выбора одной из следующих опций:
Выделение результатов анализа на модели
Создание подробного отчета об анализе
Создание модели кабельных трасс
Моделирование тестов и создание отчета о покрытии модели