-autosar-multitasking)Настройка многозадачности на основе определений файлов ARXML
Для обнаружения скачков данных в больших приложениях AUTOSAR используйте эту опцию с Polyspace ® Bug Finder™.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите ARXML-файлы, которые Полиспейс анализирует для настройки многозадачной конфигурации проекта AUTOSAR.
Интерфейс пользователя: На панели Конфигурация (Configuration) эта опция доступна в узле Многозадачность (Multitasking). Другие параметры, которые также необходимо включить, см. в разделе Зависимости.
командная строка: и файл параметров Используйте опцию -autosar-multitasking. См. раздел Сведения о командной строке.
Если проект включает файлы ARXML с <ECUC-CONTAINER-VALUE> элементы, Polyspace может анализировать эти файлы для настройки задач, прерываний, циклических задач и критических разделов. Нет необходимости настраивать их вручную.
НаPolyspace ищет и анализирует файлы ARXML для настройки многозадачной конфигурации.
При выборе этого параметра программное обеспечение предполагает, что для объявления и определения задач и прерываний в исходном коде используется многозадачный API OSEK. Polyspace поддерживает следующие ключевые слова многозадачности OSEK:
TASK
DeclareTask
ActivateTask
DeclareResource
GetResource
ReleaseResource
ISR
DeclareEvent
DeclareAlarm
Polyspace анализирует файлы ARXML, предоставляемые для OsTask, OsIsr, OsResource, OsAlarm, и OsEvent определения. Анализ использует эти определения и поддерживаемые ключевые слова многозадачности для настройки задач, прерываний, циклических задач и критических разделов.
Чтобы увидеть, как Polyspace моделирует OsTask, OsIsr, и OsResource определения из файлов ARXML, откройте окно Параллелизм (Concurrency) на панели Панель мониторинга (Dashboard). В этом окне в столбце Точки входа имена элементов извлекаются из их <SHORT-NAME> значения в файлах ARXML.
Выкл. (по умолчанию)Polyspace не настраивает многозадачную конфигурацию для проекта AUTOSAR.
Анализ игнорируется TerminateTask() в исходном коде и считает, что последующий код выполнен.
Polyspace поддерживает многозадачную конфигурацию только из файлов ARXML для спецификации AUTOSAR версии 4.0 и выше.
Чтобы включить этот параметр в интерфейсе пользователя настольных продуктов, сначала выберите этот параметр. External multitasking configuration.
Параметр:
-autosar-multitasking |
Значение:
|
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) | External multitasking configuration | OIL files selection (-osek-multitasking)