エクスポート関数モデルの解析

Simulink^® Design Verifier™ は、設計エラー検出、テスト生成、およびエクスポート関数モデルのプロパティ証明をサポートしています。エクスポート関数モデルを呼び出すスケジューラ モデルが作成された後、スケジューラ モデルで解析が実行されます。スケジューラ モデルは、最上位モデルで設定されたサンプル時間および優先順位に基づき関数を呼び出します。既定では、<current_folder>\sldv_output\<model_name>\<model_name>_SldvScheduler.slx にスケジューラ モデルが保存されます。エクスポート関数モデルは周期的および非周期的な関数呼び出しグループを使用して解析できます。モデルが非周期的な関数呼び出しまたはグローバルな Simulink 関数の呼び出しで構成される場合、スケジュールラには FcnTriggerPort と呼ばれる追加の端子が含まれます。詳細については、エクスポート関数モデルの概要を参照してください。

以下のトピックでは、周期的な Function-Call Subsystem と、AUTOSAR サーバー ランナブルとして使用できるグローバルな Simulink 関数を説明する例を紹介します。

• Function-Call Subsystem を使用したエクスポート関数モデルの解析

• グローバルな Simulink 関数を使用したエクスポート関数モデルの解析

制限

Simulink Design Verifier は以下をサポートしていません。

• 複数の関数呼び出しイニシエーターをもつエクスポート関数で構成されるモデル。詳細については、バスと複数のイニシエーターを参照してください。

• Simulink Function ブロックをエクスポートする、マスクされた Model ブロック。

• エクスポート関数モデルのスコープありの Simulink 関数。

• 異なるレートで異なるエクスポート関数を起動する、複数の関数呼び出しジェネレーターをもつモデル

参考

トピック

• エクスポート関数モデル
• モデルの解析の実行