Exponenta Banner
exponenta event banner

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

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

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

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

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

ОбъяснениеAПродвигайте однозначный стиль моделирования.
Проверки Model AdvisorПроверяйте использование побитовых операций в диаграммах 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) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

  • DO-331, раздел MB.6.3.3.d 'Программная архитектура is verifiable'
    DO-331, Section MB.6.3.2.g 'Алгоритмы точны'

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

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

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

Поддержка