External multitasking configuration

Enable setup of multitasking configuration from external file definitions

Description

Specify whether you want to use definitions from external files to set up the multitasking configuration of your Polyspace® project. The supported external file formats are:

  • ARXML files for AUTOSAR projects

  • OIL files for OSEK projects

Set Option

Set the option using one of these methods:

Why Use This Option

If your AUTOSAR project includes ARXML files with ECU configuration parameters, or if your OSEK project includes OIL files, Polyspace can parse these files. The software sets up tasks, interrupts, cyclical tasks, and critical sections. You do not have to set them up manually.

Settings

On

Polyspace parses the external files that you provide in the format that you specify to set up the multitasking configuration of your project.

osek

Look for and parse OIL files to extract multitasking description.

autosar

Look for and parse AUTOSAR XML files to extract multitasking description.

Off (default)

Polyspace does not set up the multitasking configuration of your project.

Command-Line Information

There is no single command-line option to turn on external multitasking configuration. By using the -osek-multitasking option or the -autosar-multitasking option, you enable external multitasking configuration.

Version History

Introduced in R2018a

See Also

|

Topics