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

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

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

  • System target file как основанная на ERT цель

  • Use division for fixed-point net slope computation к On или Use division for reciprocals of integers only.

  • Inf or NaN block output к warning или error.

  • Model Verification block enabling к Disable All

  • Undirected event broadcasts к error.

  • Wrap on overflow к warning или error.

  • Production hardware signed integer division rounds to к Zero или Floor

  • Compile-time recursion limit for MATLAB functions к 0.

  • Casting Modes к Standards Compliant.

  • Code replacement library к None или AUTOSAR 4.0

  • Maximum identifier length к зависящему от реализации пределу. Значением по умолчанию является 31.

  • Parentheses level к Maximum (Specify precedence with parentheses)

  • Shared code placement к Shared location.

  • Standard math library к C89/C90 (ANSI) или C99 (ISO), В зависимости от набора инструментальных средств.

  • Bitfield declarator type specifier к uint_T когда любой из этих параметров выбран:

    • Pack Boolean data into bitfields

    • Use bitsets for storing state configuration

    • Use bitsets for storing Boolean data

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

  • Include Comments

  • MATLAB user comments

  • Preserve static keyword in function declarations (Выбирают только, когда параметр конфигурации File packaging format установлен в Compact или CompactWithDataFile.)

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

  • Shift right on a signed integer as arithmetic shift

  • Dynamic memory allocation in MATLAB functions

  • Enable run-time recursion for MATLAB functions

  • External mode

  • Generate shared constants

  • MAT-file logging

  • Replace multiplications by powers of two with signed bitwise shifts

  • Support complex numbers (Только если вам не нужна поддержка комплексного числа),

  • Support continuous time

  • Support non-finite numbers

  • Support non-inlined S-functions

  • Use dynamic memory allocation for model initialization (Сохраняют этот параметр, выбрал только, когда параметр конфигурации Code Interface Packaging установлен в Reusable Function.

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

Для Моделирования систем повышенной надежности смотрите параметры конфигурации Проверки для 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, Мбайт Раздела 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