-autosar-multitasking)Настройте многозадачную настройку из определений файла ARXML
Чтобы обнаружить гонки данных в больших приложениях AUTOSAR, используйте эту опцию с Polyspace® Bug Finder™.
Задайте файлы 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.
От (значения по умолчанию)Polyspace не настраивает многозадачную настройку для вашего проекта AUTOSAR.
Анализ игнорирует объявления TerminateTask() в вашем исходном коде и полагает, что последующий код выполнен.
Polyspace поддерживает многозадачную настройку только из файлов ARXML для версии 4.0 спецификации AUTOSAR и позже.
Чтобы включить эту опцию в пользовательском интерфейсе десктопных решений, сначала выберите опцию External multitasking configuration.
Параметр:
-autosar-multitasking |
Значение:
|
| Значение по умолчанию: 'off' |
Пример (средство поиска ошибки):
|
Пример (сервер средства поиска ошибки):
|
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) | External multitasking configuration | OIL files selection (-osek-multitasking)