Exponenta Banner

hisl_0011: Использование блоков Switch Case и блоков Action Subsystem

Идентификатор: Заголовокhisl_0011: Использование блоков Switch Case и блоков Action Subsystem
Описание

Чтобы поддержать проверяемый сгенерированный код, при использовании блока Switch Case:

A

Выберите параметры блоков Show default case.

B

Соедините выходные порты блока Switch Case с блоком Switch Case Action Subsystem.

C

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

Необходимые условия

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

Примечания

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

ОбъяснениеA, B, CПоддержка генерации проверяемого кода.
Проверки Model AdvisorПроверяйте использование блоков 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) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

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

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

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

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

Поддержка