Exponenta Banner
exponenta event banner

hisf_0013: Использование переходных путей (пересечение контуров параллельных состояний)

Идентификатор: Заголовок

hisf_0013: Использование переходных путей (пересечение контуров параллельных состояний)

Описание

Чтобы избежать создания схем, которые трудно понять,

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

Можно использовать это руководство для поддержания подмножества языка моделирования в проектах с высокой целостностью.

ОбъяснениеAУлучшите читаемость модели.
Проверки Model Advisor

Проверяйте диаграммы Stateflow на переходные пути, которые пересекают контуры параллельных состояний (Simulink Check)

Ссылки

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

  • DO-331, раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы'

Последнее изменениеR2017b
Пример

В следующем примере, когда Out_A 4, оба родительских состояний (A_Parent и B_Parent) возвращаются. Повторное включение родительских состояний сбрасывает значения Out_A и Out_B в нуль.

Документация по IEC Certification Kit

Поддержка