Exponenta Banner

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

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

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

  • 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

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

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

Ссылки

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

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

  • EN 50128, таблица A.4 (11) 'Language Subset'

  • 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 'Программная архитектура is verifiable'

    DO-331, MB.6.3.3.e 'Программная архитектура соответствует стандартам "

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

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

Поддержка