Exponenta Banner
exponenta event banner

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

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

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

A

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

Примечания

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

Побитовые блоки включают в себя:

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

  • DO-331, Раздел 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) «Поднабор языка»
    EN 50128, таблица A.3 (1) «Оборонительное программирование»
    EN 50128, Таблица A.4 (8) «Сильно типизированный язык программирования»

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

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

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

Поддержка