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

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

Информация об определяемом реализацией поведении для Embedded Coder доступна в разделе «Настройка опций окружения выполнения». Документация компилятора находится вне возможностей.

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

Сконфигурируйте метод целочисленного деления в диалоговом окне Параметры конфигурации модели (Model Configuration Parameters) на панели Hardware Implementation. Для получения дополнительной информации см. Раздел «Настройка опций окружения во время выполнения»

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

В обоих образцах вы несете ответственность за документирование предполагаемого использования #pragma. Для получения дополнительной информации смотрите Control Data и Function Placement in Memory путем вставки Pragmas.

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

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

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

Можно связать элементы модели требований. Эти ссылки включены в сгенерированный код C, чтобы обеспечить трассируемость из документа требований, к элементам модели и к сгенерированному коду. Для получения дополнительной информации смотрите View Simulink Requirements Links Associated with Элементы модели and Link Blocks and 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 заменяет основные типы данных типами typedefs, которые совместимы с Директивой 4.6. Руководство не требуется, так как это поведение по умолчанию в Embedded Coder. Для получения дополнительной информации смотрите Заменить и Переименовать типы данных для соответствия стандартам кодирования и Typedef.

Пояснительная записка к Директиве 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, по проекту соответствуют MISRA C:2012 правилу 8.12. Если вы вручную создаете файл определения, вы несете ответственность за обеспечение податливости. Для получения дополнительной информации смотрите Использование перечисленных данных в моделях Simulink.

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

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