External multitasking configuration

Enable setup of multitasking configuration from external file definitions

Description

This option is not available for code generated from MATLAB^® code or Simulink^® models.

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

User interface (desktop products only): In your project configuration, the option is available on the Multitasking node.

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Multitasking node. The option is split into two options: External file for multitasking and Specify multitasking configuration using file.

Command line and options file: See Command-Line Information.

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