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

Пояснительная записка для директивы 1.1

Информация о заданном реализацией поведении для Embedded Coder доступна в, Конфигурируют Опции Среды выполнения. Документация компилятора вне осциллографа.

Кодирование набора символов управляемо при помощи SavedCharacterEncoding параметр модели. Для получения дополнительной информации смотрите slCharacterEncoding.

Сконфигурируйте метод целочисленного деления в диалоговом окне Model Configuration Parameters на панели Hardware Implementation. Для получения дополнительной информации смотрите, Конфигурируют Опции Среды выполнения

Embedded Coder генерирует #pragma когда пользователь:

В обоих экземплярах вы ответственны за документирование надлежащего использования #pragma. Для получения дополнительной информации смотрите Данные об Управлении и Функциональное Размещение в Памяти Вставкой Прагм.

Включить генерацию битовых полей:

Если ваше преобразование использования модели одного типа данных другому, Средство проверки Polyspace показывает нарушение Dir 1.1 от сгенерированного кода модели. В этом случае нарушение, прибывающее из модели, не является проблемой, если вы документируете это явное преобразование согласно инструкциям MISRA.

Пояснительная записка для директивы 3.1 MISRA

Можно соединить элементы модели требований. Эти ссылки включены в сгенерированный код C, чтобы обеспечить трассируемость из документа требований к элементам модели, и к сгенерированному коду. Для получения дополнительной информации, Ссылки Simulink Requirements вида на море, Связанные с Элементами модели и Блоками Ссылки и Требованиями (Simulink Requirements).

Пояснительная записка для директивы 4.1

Можно использовать Polyspace Bug Finder™, чтобы идентифицировать ошибки времени выполнения и Polyspace Code Prover™, чтобы доказать отсутствие ошибок времени выполнения. Для получения информации см.:

Simulink Design Verifier может использоваться, чтобы обнаружить ошибки проектирования на уровне модели. Для получения дополнительной информации смотрите Запуск Анализ Поиска ошибок проектирования (Simulink Design Verifier).

Пояснительная записка для директивы 4.3

Embedded Coder непосредственно не вызывает код ассемблера. Можно добавить вызовы функций ассемблера через S-функции, заменяющие библиотеки кода, Stateflow, и в блоках MATLAB^®. Эти вызовы документируются как вызовы Внешних Функций C. В этих случаях вы ответственны за инкапсуляцию.

Для получения дополнительной информации см.:

Пояснительная записка для директивы 4.6

Embedded Coder заменяет типы основных данных на типы определений типов, которые совместимы с Директивой 4.6. Инструкция не требуется, потому что это поведение является поведением по умолчанию в Embedded Coder. Для получения дополнительной информации смотрите Замену и Переименуйте Типы данных, чтобы Соответствовать Кодированию Стандартов и Определений типов.

Пояснительная записка для директивы 4.11

Требованиями этой директивы удовлетворяют:

“Продемонстрируйте статически, что входные параметры никогда не могут принимать недопустимые значения”.

Можно использовать Polyspace Code Prover, чтобы анализировать области значений параметра и доказать отсутствие ошибок времени выполнения, вызванных значениями из области значений. Для получения дополнительной информации смотрите Анализ Polyspace Запуска Кода, Сгенерированного с Embedded Coder (Polyspace Code Prover).

Пояснительная записка для правила 2.1

Embedded Coder не проверяет определяемый пользователем код из Stateflow. Необходимо заботиться о нарушениях, о которых сообщают.

Пояснительная записка для правил 5.1, 5.2, 5.4, 5.5, 5.6, 5.7, и 5.8

Embedded Coder конфигурируем, чтобы ограничить количество символов, наложенных реализацией. Для получения дополнительной информации смотрите Максимальную длину идентификатора.

Гарантировать уникальные имена для различных типов переменных (локальные переменные осциллографа, переменные глобальной области видимости, макросы, и так далее), реализуют соглашение о присвоении имен. Для получения дополнительной информации смотрите Параметры конфигурации Модели: Символы Генерации кода.

Пояснительная записка для правила 8.12

Embedded Coder поддерживает использование перечислимых данных. Файл, используемый, чтобы задать перечисление, может быть или вручную или автоматически сгенерирован. Файлы, задающие перечисления, сгенерированные Embedded Coder, совместимы с Правилом 8.12 MISRA C:2012 проектом. Если вы вручную создаете файл определения, вы ответственны за обеспечение податливости. Для получения дополнительной информации смотрите Использование Перечислимые Данные в Моделях Simulink.

Пояснительная записка для правил 10.1 и 10.2

Embedded Coder непосредственно не создает данные char типа. Данные символьного типа могут быть введены пользовательскими S-функциями, заменяющими библиотеками кода и пользовательскими классами памяти. В этом случае ограничьте использование простого char к: