Exponenta Banner
exponenta event banner

hisf_0211: Защитите от использования унарных операторов в диаграммах Stateflow, чтобы улучшить податливость кода

ID: Заголовокhisf_0211: Защитите от использования унарных операторов в Графиках Stateflow®, чтобы улучшить податливость кода
ОписаниеУлучшить податливость кода сгенерированного кода:
A

Не используйте операторы унарный минус на типах данных без знака.

Примечание

MATLAB® и языки действия C не ограничивают использование операторов унарный минус по выражениям без знака.

ОбъяснениеУлучшите податливость кода сгенерированного кода.
Проверки Model AdvisorПроверяйте диаграммы Stateflow на унарные операторы (Simulink Check)
Ссылки

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

  • IEC 61508–3, Таблица A.3 (2) язык программирования Со строгим контролем типов
    IEC 61508–3, Табличное A.4 (3) Безопасное программирование

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Табличное 1 (1b) Использование языковых подмножеств
    ISO 26262-6, Табличное 1 (1c) Осуществление строгого контроля типов
    ISO 26262-6, Табличное 1 (1d) Использование защитных методов реализации

  • EN 50128, таблица A.4 (8) язык программирования со строгим контролем типов
    EN 50128, табличное A.3 (1) безопасное программирование

  • MISRA C:2012, правило 10.1

В последний раз измененныйR2017b

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

Поддержка