Exponenta Banner
exponenta event banner

Настройки конфигурации

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

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

Задайте указанные параметры конфигурации модели:

  • Системный целевой файл как целевой файл на основе ERT

  • Используйте деление для вычисления чистого откоса с фиксированной точкой для On или Use division for reciprocals of integers only.

  • Вывод блока Inf или NaN в warning или error.

  • Блок проверки модели, позволяющий Disable All

  • Неориентированные трансляции событий в error.

  • Переносить переполнение в warning или error.

  • Производственное оборудование, подписанное целочисленными раундами деления до Zero или Floor

  • Ограничение рекурсии по времени компиляции для функций MATLAB 0.

  • Режимы литья в Standards Compliant.

  • Библиотека замены кода для None или AUTOSAR 4.0

  • Максимальная длина идентификатора до предела, зависящего от реализации. Значение по умолчанию: 31.

  • Уровень в скобках до Maximum (Specify precedence with parentheses)

  • Размещение совместно используемого кода в Shared location.

  • Стандартная математическая библиотека для C89/C90 (ANSI) или C99 (ISO), в зависимости от цепочки инструментов.

  • Спецификатор типа декларатора битфайла для uint_T при выборе любого из этих параметров:

    • Упаковать логические данные в битовые поля

    • Использовать битсеты для сохранения конфигурации состояния

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

Выбрать (on) эти параметры конфигурации:

  • Включить комментарии

  • Комментарии пользователя MATLAB

  • Сохранение статического ключевого слова в объявлениях функций (Выберите, только если параметру конфигурации File packaging format присвоено значение Compact или CompactWithDataFile.)

Отменить выбор (off) эти параметры конфигурации:

  • Сдвиг вправо на целое число со знаком как арифметический сдвиг

  • Динамическое выделение памяти в функциях MATLAB

  • Включение рекурсии во время выполнения для функций MATLAB

  • Внешний режим

  • Создание общих констант

  • Ведение журнала файлов MAT

  • Заменить умножение на степени двух со знаком побитовых сдвигов

  • Поддержка комплексных номеров (только если поддержка комплексных номеров не требуется)

  • Поддержка непрерывного времени

  • Поддержка неграничных чисел

  • Поддержка неинлинированных S-функций

  • Использовать динамическое выделение памяти для инициализации модели (сохранять этот параметр выбранным только в том случае, если для параметра конфигурации Code Interface Packaging установлено значение Reusable Function.

ОбъяснениеУлучшить MISRA C:2012 соответствие сформированного кода.
Проверки помощника по модели

Сведения о моделировании систем с высокой целостностью см. в разделе Проверка параметров конфигурации MISRA C:2012 (Simulink Check).

Инструкции по моделированию MISRA C:2012 см. в разделе Проверка параметров конфигурации MISRA C:2012 (Simulink Check)

Ссылки

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

  • MISRA C:2012

  • DO-331, раздел MB 6.3.2.b «Требования низкого уровня являются точными и согласованными»

    DO-331, раздел MB.6.3.2.c "Низкоуровневые требования совместимы с целевым компьютером

    DO-331, Раздел MB.6.3.2.e - «Низкоуровневые требования соответствуют стандартам»

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

    DO-331, Раздел MB.6.3.3.b - Архитектура программного обеспечения согласована

    DO-331 MB.6.3.3.c «Совместимость с целевым компьютером»

    DO-331, раздел MB.6.3.3.d «Проверка архитектуры программного обеспечения»

    DO-331, MB.6.3.3.e «Архитектура программного обеспечения соответствует стандартам»

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

Документация Simulink

Поддержка