exponenta event banner

Конфигурация внешней многозадачности

Включить настройку многозадачности из определений внешних файлов

Описание

Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.

Укажите, следует ли использовать определения из внешних файлов для настройки многозадачной конфигурации проекта Polyspace ®. Поддерживаются следующие форматы внешних файлов:

  • Файлы ARXML для проектов AUTOSAR

  • Файлы OIL для проектов OSEK

Задать опцию

Интерфейс пользователя: На панели Конфигурация (Configuration) эта опция доступна в узле Многозадачность (Multitasking).

Файл командной строки и параметров: См. Сведения о командной строке.

Зачем использовать этот параметр

Если проект AUTOSAR включает файлы ARXML с параметрами конфигурации ECU или если проект OSEK включает файлы OIL, Polyspace может выполнить синтаксический анализ этих файлов. Программа настраивает задачи, прерывания, циклические задачи и критические разделы. Нет необходимости настраивать их вручную.

Настройки

На

Polyspace анализирует внешние файлы в указанном формате для настройки многозадачной конфигурации проекта.

osek

Поиск и анализ OIL-файлов для извлечения описания многозадачности.

autosar

Поиск и анализ XML-файлов AUTOSAR для извлечения описания многозадачности.

Выкл. (по умолчанию)

Polyspace не настраивает многозадачную конфигурацию проекта.

Информация командной строки

Отсутствует один параметр командной строки для включения конфигурации внешней многозадачности. С помощью -osek-multitasking или -autosar-multitasking , вы включаете конфигурацию внешней многозадачности.

Представлен в R2018a