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

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

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

Описание

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

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

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

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

Проверяйте на неподходящее использование переходных путей (Simulink Check)

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

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

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

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

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

Последнее изменениеR2018b
Примеры