Параметры конфигурации

hisl_0060: Параметры конфигурации, которые улучшают соответствие MISRA C:2012

ID: Заголовокhisl_0060: Параметры конфигурации, которые улучшают соответствие MISRA C:2012
ОписаниеУлучшить соответствие MISRA C:2012 сгенерированного кода,

Установите следующие образцовые параметры конфигурации, как задано:

Параметр конфигурацииЗначение
Математика и типы данных
Используйте деление для фиксированной точки сетевое наклонное вычисление On или Use division for reciprocals of integers only.
Диагностика
Блок Inf или NaN выводитсяwarning или error
Образцовое включение блока VerificationDisable All
Неориентированные широковещательные сообщения событияошибка
Перенеситесь на переполненииwarning или error
Аппаратная реализация
Производственное аппаратное деление целого числа со знаком округляется кZero или Floor
Сдвиг прямо на целом числе со знаком как арифметический сдвигОчищенный (off)
Цель моделирования
Рекурсия времени компиляции ограничивает для функций MATLAB0
Динамическое выделение памяти в функциях MATLAB Очищенный (off)
Включите рекурсию во время выполнения для функций MATLABОчищенный (off)
Генерация кода

Оператор объявления битового поля вводит спецификатор

Этот параметр только доступен для основанных на ERT целей.

uint_T, когда любой из этих параметров выбран:

  • Упакуйте булевы данные в битовые поля

  • Используйте bitsets для хранения настройки состояния

  • Используйте bitsets для того, чтобы хранить булевы данные

Кастинг режимовStandards Compliant
Заменяющая библиотека кодаNone или AUTOSAR 4.0
Режим external modeОчищенный (off)
Сгенерируйте совместно использованные константыОчищенный (off)
Журналирование MAT-файлаОчищенный (off)
Максимальная длина идентификатораЭто должно быть установлено в зависящий от реализации предел. Значением по умолчанию является 31.
Уровень круглых скобокMaximum (Specify precedence with parentheses)
Сохраните статическое ключевое слово в объявлениях функции

Выбрал (on)

Выберите только, когда Файл параметра конфигурации упаковочный формат будет установлен в Compact или CompactWithDataFile

Замените умножение степенями двойки с поразрядными сдвигами со знакомОчищенный (off)
Разделяемое размещение кодаShared location
Стандартная математическая библиотека C89/C90 (ANSI) или C99 (ISO) в зависимости от набора инструментальных средств

Поддержите комплексные числа

Этот параметр только доступен для основанных на ERT целей.

Очищенный (off), если вам не нужна поддержка комплексного числа

Поддержите непрерывное время

Этот параметр только доступен для основанных на ERT целей.

Очищенный (off)
Поддержите неличные числаОчищенный (off)

Поддержите невстроенные S-функции

Этот параметр только доступен для основанных на ERT целей.

Очищенный (off)
Сгенерированные системой идентификаторыShortened
Системный конечный файлОснованная на ERT цель
Используйте динамическое выделение памяти для образцовой инициализации

Очищенный (off)

Выберите только, когда Упаковка Интерфейса параметра конфигурации Кода будет установлена в Reusable Function.

ОбъяснениеУлучшите соответствие MISRA C:2012 сгенерированного кода.
Образцовые проверки советника
  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Код> параметры конфигурации Проверки для MISRA C:2012

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Код> параметры конфигурации Проверки для MISRA C:2012

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Код> параметры конфигурации Проверки для MISRA C:2012

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Код> параметры конфигурации Проверки для MISRA C:2012

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Код> параметры конфигурации Проверки для MISRA C:2012

  • Задачей> Моделирование Инструкций для MISRA C:2012> параметры конфигурации Проверки для MISRA C:2012

Для Системного Моделирования Высокой Целостности смотрите параметры конфигурации Проверки для MISRA C:2012.

Для Моделирования Инструкций для MISRA C:2012 смотрите параметры конфигурации Проверки для MISRA C:2012

Ссылки
  • MISRA C:2012

В последний раз измененныйR2018b
Была ли эта тема полезной?