Exponenta Banner
exponenta event banner

hisl_0010: Использование Если блоки и Если блоки Subsystem Действия

ID: Заголовокhisl_0010: Использование Если блоки и Если блоки Subsystem Действия
Описание

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

A

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

B

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

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

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

Примечания

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

ОбъяснениеA, B Поддержите генерацию верифицируемого кода.
Проверки Model AdvisorПроверяйте использование Если блоки и Если блоки Subsystem Действия (Simulink Check)
Ссылки

  • DO-331, Разделы MB.6.3.1.g и MB.6.3.2.g 'Алгоритмы точен'
    Раздел DO-331 MB.6.3.1.b – Требования высокого уровня точен и сопоставим
    Раздел DO-331 MB.6.3.2.b – Низкоуровневые требования точен и сопоставим

  • IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование'

  • IEC 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 с еще

Не рекомендуемый: нет еще путь

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

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

Поддержка