ファイルを使用してマルチタスキング構成を指定
外部ファイルを使用してマルチタスキング構成を設定するかどうかの指定
R2023b 以降
説明
この名前のオプションは、Polyspace Platform (Polyspace Test) ユーザー インターフェイスでのみ利用可能です。標準の Polyspace® ユーザー インターフェイスにおける同等のオプションについては、外部マルチタスキング構成を参照してください。
このオプションは、MATLAB® コードまたは Simulink® モデルから生成されたコードでは使用できません。
Polyspace プロジェクトのマルチタスキング構成を設定するために、外部ファイルの定義を使用するかどうかを指定します。サポートされる外部ファイル形式は以下のとおりです。
AUTOSAR プロジェクトの ARXML ファイル
OSEK プロジェクトの OIL ファイル
オプションの設定
以下のいずれかの方法を使用してオプションを設定します。
Polyspace Platform ユーザー インターフェイス (デスクトップ製品のみ): プロジェクト構成の [静的解析] タブで [マルチタスキング] ノードを選択してから、このオプションを選択します。
コマンド ラインとオプション ファイル: コマンド ライン情報を参照してください。
このオプションを使用する理由
AUTISAR ARXML ファイルや OSEK OIL ファイルなど、マルチタスキング構成を記述する外部ファイルを使用する場合があります。このオプションを使用して、そのような外部ファイルを使用するかどうかを指定します。
設定
オンPolyspace はオプション
External file for multitaskingを有効にします。
オフ (既定の設定)Polyspace は
External file for multitaskingフィールドを無効のままにします。
コマンド ライン情報
外部マルチタスキング構成をオンにする単一のコマンド ライン オプションはありません。-osek-multitasking オプションまたは -autosar-multitasking オプションを使用することで、外部マルチタスキング構成が有効になります。
バージョン履歴
R2023b で導入
