Exponenta Banner
exponenta event banner

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

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

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

A

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

B

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

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

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

Примечания

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

ОбъяснениеA, BПоддержка генерации проверяемого кода.
Проверки Model AdvisorПроверяйте использование блоков 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) '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
Примеры

Рекомендуемый: Elseif с Else

Не рекомендуемый: Нет другого пути

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

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

Поддержка