Exponenta Banner

hisl_0073: Использование операций сдвига разряда

ID: Заголовокhisl_0073: Использование операций сдвига разряда
Описание

Для переключающих бит операций (e.g. a>> b или <<b), не выполняйте:

Операции сдвига, которые больше или равны битной ширине (b не должны быть равными или больше, чем битная ширина a).

ОбъяснениеГенерация кода с операциями сдвига может закончиться в нарушение кодирования стандартов
Проверки Model AdvisorПроверяйте использование операций сдвига разряда (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.3 (1) безопасное программирование

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

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

  • INT34-C. Не переключайте выражение отрицательным числом битов или большим, чем или равняйтесь количеству битов, которые существуют в операнде

Смотрите также

Создайте настраиваемый калибровочный параметр в сгенерированном коде (Simulink Coder)

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

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

Поддержка