| Описание | Поддерживать однозначное поведение, при использовании битовых операций, |
| A | Избегайте битовых операций на типах данных целого числа со знаком. |
| Примечания | Битовые операции не значимы на целых числах со знаком из-за непредсказуемого поведения. Например, операция сдвига может переместить знаковый бит в номер или числовой бит в знаковый бит. |
| Объяснение | A | Поддержите однозначное поведение сгенерированного кода. |
| Проверки Model Advisor | Проверяйте использование блоков битовой операции (Simulink Check) |
| Ссылки |
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) 'Использование защитных методов реализации' ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество'
EN 50128, таблица A.3 (1) 'безопасное программирование'
EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов' EN 50128, таблица A.3 (1) 'безопасное программирование' EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов' MISRA C:2012, правило 10.1
|
| Смотрите также | hisl_0073: Использование операций сдвига разряда (Simulink)
|
| В последний раз измененный | R2021b |
