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

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

Сведения об определяемом реализацией поведении встроенного кодера доступны в разделе Настройка параметров среды выполнения. Документация компилятора выходит за рамки области применения.

Кодировка набора символов управляется с помощью SavedCharacterEncoding параметр модели. Дополнительные сведения см. в разделе slCharacterEncoding.

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

Встроенный кодер генерирует #pragma когда пользователь:

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

Чтобы включить генерацию битовых полей, выполните следующие действия.

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

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

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

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

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

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

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

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

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

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

Embedded Coder заменяет основные типы данных типизированными типами, совместимыми с директивой 4.6. Руководство не требуется, так как это поведение является поведением по умолчанию во встроенном кодере. Дополнительные сведения см. в разделе Замена и переименование типов данных для соответствия стандартам кодирования и типам.

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

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

«Статически продемонстрировать, что входные параметры никогда не могут принимать недопустимые значения».

Средство проверки кода Polyspace можно использовать для анализа диапазонов параметров и подтверждения отсутствия ошибок времени выполнения, вызванных значениями вне диапазона. Дополнительные сведения см. в разделе Выполнение анализа Polyspace на коде, созданном с помощью встроенного кодера (средство проверки кода Polyspace).

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

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

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

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

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

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

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

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

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