exponenta event banner

hisf_0016: имена портов Stateflow

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

hisf_0016: имена портов Stateflow

ОписаниеИмя Stateflow® вход или выход должны совпадать с соответствующим сигналом. Исключением из руководства является то, что переиспользуемые блоки Stateflow могут иметь различные имена портов.
ОбъяснениеПоддержка генерации отслеживаемого кода.
Проверки Model Advisor

Проверяйте именование портов в диаграммах Stateflow (Simulink Check)

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

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

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

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

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

Последнее изменение2018a