exponenta event banner

hisl_0011: Использование блоков вариантов переключения и блоков подсистемы действий

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

Для поддержки проверяемого сгенерированного кода при использовании блока Switch Case:

A

Выберите параметр блока Показать регистр по умолчанию.

B

Подключите выходы блока Switch Case к блоку Switch Case Action Subsystem.

C

Используйте целочисленный тип данных или значение перечисления для входных данных блоков Switch Case.

Предпосылки

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

Примечания

Комбинация блоков Switch Case и If Action Subsystem обеспечивает условное выполнение на основе входных условий. Укажите путь выполнения по умолчанию в виде блока «Default».

ОбъяснениеA, B, CПоддержка создания проверяемого кода.
Проверки помощника по моделиПроверка использования блоков «Switch Case» и блоков «Switch Case Action Subsystem» (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
Примеры

На следующем рисунке показан пример предоставления пути выполнения по умолчанию с использованием блока «Default».