Включите настройку многозадачных строений из определений внешних файлов
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Укажите, хотите ли вы использовать определения из внешних файлов, чтобы настроить строение многозадачности вашего Polyspace® проект. Поддерживаемые форматы внешних файлов:
Файлы ARXML для проектов AUTOSAR
Файлы нефти для проектов OSEK
Пользовательский интерфейс: На панели Configuration опция доступна на узле Multitasking.
Командная строка и файл опций: См. Информация о командной строке.
Если ваш проект AUTOSAR включает файлы ARXML с параметрами конфигурации ECU, или если ваш проект OSEK включает файлы OIL, Polyspace может проанализировать эти файлы. Программа настраивает задачи, прерывания, циклические задачи и критические разделы. Вы не должны настраивать их вручную.
НаPolyspace анализирует внешние файлы, которые вы предоставляете, в формате, который вы задаете, чтобы настроить многозадачное строение вашего проекта.
osekПроверьте и проанализируйте файлы OIL, чтобы извлечь описание многозадачности.
autosarПроверьте и проанализируйте авто-РСА XML- файлы, чтобы извлечь описание многозадачности.
Off (по умолчанию)Polyspace не настраивает многозадачное строение вашего проекта.
Одна опция командной строки для включения внешних многозадачных строений отсутствует. При помощи -osek-multitasking опция или -autosar-multitasking опция включает внешние строения многозадачности.