Main Content

モデル アドバイザーを使用したモデルの準拠性のチェック

モデル アドバイザーの概要

モデル アドバイザーは、モデルやサブシステムをチェックして、モデルが表現するシステムのシミュレーションの精度や効率を低下させる原因となる条件やコンフィギュレーション設定がないかどうかを調べます。モデル アドバイザーのチェックは、業界標準やガイドラインに準拠しているかどうかを検証するのに役立ちます。モデル アドバイザーを使用することで、プロジェクト間や開発チーム全体で一貫したモデリング ガイドラインを実装できます。

モデル アドバイザーは、モデルの解析が完了すると、準最適条件、設定、モデル化手法を検出してそのリストをレポートに出力し、解決方法がある場合はそれも提示します。

モデル アドバイザーを使用してモデルを確認するには、次の方法があります。

  • モデル アドバイザーのチェックを対話形式で実行

  • モデル アドバイザーで編集時チェックを自動的に実行するように構成 (Simulink® Check™ が必要)

モデル アドバイザーを使ってモデルをチェックするとき、次の制限が適用されます。個々のチェックに適用される制限は、チェックのドキュメンテーション内の「機能および制限事項」の節を参照してください。

  • システムの名前を変更する場合は、モデル アドバイザーを再起動してシステムをチェックしなければなりません。

  • バリアント サブシステムを含むシステムでは、モデル アドバイザーはアクティブ サブシステムをチェックします。アクティブなサブシステムと非アクティブなサブシステムの両方をチェックするには、Advisor.Applicationプロパティ、AnalyzeVariantstrue に設定します。

  • モデル アドバイザーはコメント化されたブロックを解析しません。

  • チェックでは、ブロック パラメーター [読み取り/書き込み][NoReadorWrite] に設定されている model ブロックまたは subsystem ブロックは検索されません。ただし、手作業でのチェックでは、モデル アドバイザーはライブラリ ブロックやマスク サブシステムも検索します。

  • チェックに関するドキュメンテーションに記載されている場合を除き、モデル アドバイザーは Model ブロックの内容は解析しません。参照モデルのチェックを実行するには、Advisor.Application クラスのインスタンスを使用します (Simulink Check ライセンスが必要です)。

メモ

ソフトウェアは、本来複雑なため、エラーが発生しないとは限りません。モデル アドバイザーのチェックにもバグが含まれている場合があります。MathWorks® では、注意するべき既知のバグをバグ レポート システム (https://www.mathworks.com/support/bugreports/) で報告しています。バグ レポートは、各リリースのドキュメンテーションの一部です。リリースごとにバグ レポートを検証します。このレポートにより、ご利用のリリースの実際の動作が、このドキュメンテーションでの説明と異なる場合にそれを識別できます。

モデル アドバイザーのチェックをモデルに適用すると、一定のモデリング標準やガイドラインに違反しないモデルが作成される可能性が高くなりますが、そのことは開発中のシステムの安全性やエラーが存在しないことを保証するものではありません。複数の手法を使用して、開発中のシステムが意図したとおりに機能し、想定外の機能が含まれていないことを検証するのは、最終的にはユーザーの責任です。

モデル アドバイザーのチェックのドキュメンテーション

モデル アドバイザーには、インストールされた製品に対応するチェックのみが表示されます。次の表に、製品固有のチェックのドキュメンテーションへのリンクを示します。一部のドキュメンテーションについては、参照するのに製品ライセンスが必要になることがあります。

Productモデル アドバイザーのチェックのドキュメンテーション
Simulink Simulink のチェック
Embedded Coder® Embedded Coder のチェック (Embedded Coder)
AUTOSAR Blockset AUTOSAR Blockset のチェック (AUTOSAR Blockset)
Simulink Coder™ Simulink Coder のチェック (Simulink Coder)
HDL Coder™ HDL コード アドバイザー チェック (HDL Coder)
Simulink Code Inspector™ Simulink Code Inspector Checks (Simulink Code Inspector)
Simulink Check

DO-178C/DO-331 チェック

IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Checks

DO-254 標準へのモデルの準拠性のチェック

High Integrity System Modeling Checks

Model Advisor Checks for MAB and JMAAB Compliance

MISRA C:2012 Checks

Secure Coding Checks for CERT C, CWE, and ISO/IEC TS 17961 Standards

Model Metrics

Simulink Design Verifier™ Simulink Design Verifier のチェック (Simulink Design Verifier)
Simulink PLC Coder™PLC Model Advisor Checks (Simulink PLC Coder)
Requirements Toolbox™ 要件の整合性チェック (Requirements Toolbox)
Simscape™ モデル アドバイザーからのみドキュメンテーションを参照できます。チェックのドキュメンテーションを参照するには、モデル アドバイザーでチェックのタイトルを右クリックして [これはなに?] を選択します。
Simulink Control Design™ Simulink Control Design のチェック (Simulink Control Design)
IEC Certification Kit

IEC Certification Kit Checks (IEC Certification Kit)

DO Qualification Kit

DO Qualification Kit Checks (DO Qualification Kit)

モデル アドバイザー チェックの実行と結果の確認

モデル アドバイザーを使用すると、モデリング標準およびモデリング ガイドラインに対してモデルを対話的にチェックできます。次の例では、sldemo_mdladv モデルを使用して、モデル アドバイザーでモデル アドバイザー チェックを実行する方法を示します。

  1. モデル アドバイザーのモデル例 sldemo_mdladv を開きます。

  2. モデル アドバイザーを開くには、Simulink エディターで、[モデル化] タブをクリックし、[モデル アドバイザー] を選択します。[システム セレクター - モデル アドバイザー] ダイアログ ボックスが開きます。確認するモデルまたはシステムを選択し、[OK] をクリックします。

  3. モデル アドバイザーの左側のペインで、モデルに対して実行するチェックを選択します。

    1. [製品別] フォルダーまたは [タスク別] フォルダーを使用してチェックを選択できます。

      • 製品別フォルダーを表示 ― 各製品で使用可能なチェックが表示されます。

      • タスク別フォルダーを表示 ― 特定のタスクに関連するチェックが表示されます。

    Update Diagram icon のアイコンが付いたチェックは、モデルのブロック線図の更新をトリガーします。

    Extensive Analysis icon のアイコンが付いたチェックは、モデルの広範な解析をトリガーします。モデルの広範な解析をトリガーするチェックは、Simulink Design Verifier での解析など、追加の解析手法を使用します。

  4. チェックが含まれているフォルダーをクリックし、ツールストリップで [チェックの実行] をクリックして解析を実行します。1 つのチェックを実行するには、フォルダー内のチェックを右クリックして [このチェックを実行] を選択します。

  5. モデル アドバイザーのユーザー インターフェイスで結果を確認します。この表は、共通のチェック ステータス結果を示しています。モデル アドバイザーの設定エディターの [問題にフラグが設定されている場合は結果をチェック] で設定されているパラメーターに応じて、別々のアイコンが使用されていることに注目してください (Simulink Check のライセンスが必要)。このパラメーターの詳細については、チェックをカスタマイズするパラメーターの指定を参照してください。

    チェック結果のステータス

    アイコン説明

    Passed

    Pass icon when the flag for checks result is set to warning

    指定されたチェックについて、モデルに違反はありません。

    Failed

    Fail icon

    チェックで重大な違反が特定されました。

    Warning

    Warning icon

    チェックで違反が特定されました。

    Justified

    justification icon

    チェック項目違反が正当化されました。

    Not Run

    Not Run icon

    チェックがモデル アドバイザー解析用に選択されていません。

    Incomplete

    Incomplete icon

    チェックの解析が完了していないか、チェックの実行で例外が発生しました。

  6. 警告または不具合を必要に応じて修正します。詳細については、モデル チェック結果への対処を参照してください。

  7. [対象外指定] タブを使用して、解析から除外するようにマークされたチェックを確認します。

  8. レポートを確認して保存します。詳細については、モデル アドバイザー チェック レポートの保存と表示およびモデル アドバイザー レポートの生成を参照してください。

関連するトピック