exponenta event banner

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

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

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

Описание

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

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

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

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

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

Ссылки
  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

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

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

  • DO-331, раздел MB.6.3.2.b «Требования низкого уровня являются точными и последовательными»

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

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