Exponenta Banner
exponenta event banner

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

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

При использовании побитовых операций в блоках Stateflow ®

AИзбегайте подписанных целочисленных типов данных в качестве операндов для побитовых операций.
Примечания

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

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

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

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, таблица 1 (1с) «Применение строгой типизации»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»
    EN 50128, таблица A.3 (1) «Оборонительное программирование»

  • DO-331, раздел MB.6.3.3.d «Проверка архитектуры программного обеспечения»
    DO-331, Раздел MB.6.3.2.g «Алгоритмы точны»

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

См. такжеhisl_0019: Использование побитовых операций (Simulink)
Последнее изменениеR2016a

Документация по комплекту сертификации МЭК

Поддержка