Exponenta Banner
exponenta event banner

hisl_0019: Использование битовых операций

ID: Заголовокhisl_0019: Использование битовых операций
Описание

Поддерживать однозначное поведение, при использовании битовых операций в блоках Simulink,

A

Избегайте подписанных типов данных, как введено с блоком.

Примечания

Битовые операции на типах данных со знаком не значимы. Если операция сдвига перемещает бит со знаком в числовой бит или числовой бит в бит со знаком, непредсказуемое и нежелательное поведение может закончиться.

Поразрядные блоки включают:

ОбъяснениеAПоддержите однозначное поведение сгенерированного кода.
Проверки Model AdvisorПроверяйте использование блоков битовой операции (Simulink Check)
Ссылки

  • DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

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

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

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

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

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

Смотрите такжеhisf_0003: Использование битовых операций
В последний раз измененныйR2019a

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

Поддержка