Exponenta Banner

hisl_0102: Тип данных переменных управления цикла для улучшения MISRA C:2012 податливости

Идентификатор: Заголовокhisl_0102: Тип данных переменных управления цикла для улучшения MISRA C:2012 податливости
Описание

Чтобы улучшить податливость MISRA C:2012 сгенерированного кода, используйте целочисленный тип данных для переменных, которые используются в качестве переменных счетчика управления циклом в:

  • Для циклов, построенных в Stateflow® и MATLAB®.

  • For Iterator (Simulink) блоки.

ОбъяснениеУлучшите MISRA C:2012 податливость сгенерированного кода.
Проверки Model AdvisorПроверяйте тип данных переменных управления циклом (Simulink Check)
Ссылки

  • ISO 26262-6, таблица 1 (1с) - Применение строгой типизации

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

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

Последнее изменениеR2018a

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

Поддержка