Exponenta Banner

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

ID: Заголовок

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

Описание

Постараться не создавать схемы, которые трудно изучить,

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

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

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

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

Ссылки

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

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

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

  • EN 50128, таблица A.4 (11) 'языковое подмножество'

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

В последний раз измененныйR2017b
Пример

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

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

Поддержка