External file for multitasking

Specify which supported external file format you want to use to set up your multitasking configuration.

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 one of these supported external file formats to setup your mutitasking configuration of your code:

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.

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

osek: Polyspace looks for and parse OIL files to extract multitasking description.
autosar: Polyspace look for and parse AUTOSAR XML files to extract multitasking description.

Dependencies

To use this option, you must set the option Specify multitasking configuration using file to On ().

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