exponenta event banner

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

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

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

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

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

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

  • МЭК 61508-3, Таблица A.3 (3) «Поднабор языка»

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

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

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

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