Exponenta Banner
exponenta event banner

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

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

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

A

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

Примечания

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

Битовые блоки включают:

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

  • DO-331, Section MB.6.3.2.g 'Алгоритмы точны'

  • 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с) «Обеспечение соблюдения строгих типоразмеров»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных методов реализации»

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'
    EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования'

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

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

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

Поддержка