Specify multitasking configuration using file

Specify if you want to setup multitasking configuration by using an external file.

Since R2023b

Description

The option with this name is available only in the Polyspace Platform (Polyspace Test) user interface. For the equivalent option in the standard Polyspace^® user interface, see External multitasking configuration.

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 (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Multitasking node.

Command line and options file: See Command-Line Information (Polyspace Code Prover).

Why Use This Option

You might be using external files such as AUTISAR ARXML files or OSEK OIL files that describes your multitasking configuration. Use this option to specify if you want to use such an external file.

Settings

On: Polyspace enables the option External file for multitasking.
Off (default): Polyspace keeps the field External file for multitasking disabled.

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 R2023b