exponenta event banner

hisl_0010: Использование блоков If и блоков подсистемы действия If

Идентификатор: Заголовокhisl_0010: Использование блоков If и блоков подсистемы действия If
Описание

Поддержка проверяемого сгенерированного кода при использовании блока If с непустыми Elseif выражения,

A

Выберите параметр блока Show else condition.

B

Соедините выходы блока If с блоками подсистемы действий If.

Предпосылки

hisl_0016: Использование блоков, вычисляющих реляционные операторы

Примечания

Комбинация блоков If и If Action Subsystem обеспечивает условное выполнение на основе входных условий. Когда есть только if ветвь, вам не нужно включать else филиал.

ОбъяснениеA, BПоддержка создания проверяемого кода.
Проверки помощника по моделиПроверка использования блоков If и блоков подсистемы действий (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.2.d - «Требования низкого уровня поддаются проверке»
    DO-331 Раздел MB.6.3.2.b - Требования низкого уровня являются точными и согласованными

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "
    IEC 61508-3, таблица A.4 (3) «Оборонительное программирование »

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

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

  • EN 50128, Таблица A.4 (11) «Поднабор языка»
    EN 50128, таблица A.3 (1) «Оборонительное программирование»

  • MISRA C:2012, правило 14.2
    MISRA C:2012, правило 16.4
    MISRA C:2012, Dir 4.1

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

Рекомендуется: Elseif с Else

Не рекомендуется: Нет другого пути

Рекомендуется: Только если, больше не требуется