-autosar-multitasking)Настройте многозадачную настройку из определений файла ARXML
Чтобы обнаружить гонки данных в больших приложениях AUTOSAR, используйте эту опцию с Polyspace® Bug Finder™.
Эта опция не доступна для кода, сгенерированного из кода MATLAB® или моделей Simulink®.
Задайте файлы ARXML, которые Polyspace анализирует, чтобы настроить многозадачную настройку вашего проекта AUTOSAR.
Пользовательский интерфейс: В панели Configuration опция доступна на узле Multitasking. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: и Использование файла опций опция -autosar-multitasking. Смотрите информацию о командной строке.
Если ваш проект включает файлы ARXML с <ECUC-CONTAINER-VALUE> элементы, Polyspace может проанализировать эти файлы, чтобы настроить задачи, прерывания, циклические задачи и критические разделы. Вы не должны настраивать их вручную.
OnPolyspace ищет и анализирует файлы 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 |
Пример (Bug Finder):
Polyspace Bug Finder - источники |
Пример (Сервер Bug Finder):
сервер средства поиска ошибки полипробела - источники |
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) | External multitasking configuration | OIL files selection (-osek-multitasking)