Описание | При использовании битовых операций в блоках Stateflow®, |
A | Избегайте типов данных целого числа со знаком как операндов к битовым операциям. |
Примечания | Обычно, битовые операции не значимы на целых числах со знаком. Нежелательное поведение может произойти. Например, операция сдвига может переместить знаковый бит в номер или числовой бит в знаковый бит. |
Объяснение | A | Продвиньте однозначный стиль моделирования. |
Проверки Model Advisor | Проверяйте использование битовых операций в диаграммах Stateflow (Simulink Check) |
Ссылки |
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) 'Осуществление строгого контроля типов' EN 50128, таблица A.4 (11) 'языковое подмножество' EN 50128, таблица A.3 (1) 'безопасное программирование' DO-331, Раздел MB.6.3.1.b 'Требования высокого уровня точен и сопоставим' DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам DO-331, Раздел 6.3.1.g 'Алгоритмы точен' DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим' DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' MISRA C:2012, правило 10.1
|
Смотрите также | hisl_0019: Использование битовых операций (Simulink) |
В последний раз измененный | R2016a |