-autosar-multitasking)Настройте строение многозадачности из определений файлов ARXML
Чтобы обнаружить гонки данных в больших приложениях AUTOSAR, используйте эту опцию с Polyspace® Bug Finder™.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Укажите файлы ARXML, которые Polyspace анализирует, чтобы настроить многозадачность строения вашего проекта 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 window из панели Dashboard. В этом окне под Entry points столбцом имена элементов извлекаются из их <SHORT-NAME> значения в файлах ARXML.
Off (по умолчанию)Polyspace не настраивает многозадачное строение для вашего проекта AUTOSAR.
Анализ игнорирует TerminateTask() объявления в исходном коде и учитывает, что последующий код выполняется.
Polyspace поддерживает многозадачное строение только из файлов ARXML для спецификаций AUTOSAR версии 4.0 и более поздней.
Чтобы включить эту опцию в пользовательском интерфейсе продуктов для настольных ПК, сначала выберите опцию External multitasking configuration.
Параметр:
-autosar-multitasking |
Значение:
|
| По умолчанию: Off |
Пример (Bug Finder):
Polyspace Bug Finder -sources source_path |
Пример (Bug Finder Server):
polyspace-bug-finder-server -sources source_path |
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) | External multitasking configuration | OIL files selection (-osek-multitasking)