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