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

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

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

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

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

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

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

システムの名前を変更する場合は、モデルアドバイザーを再起動してシステムをチェックしなければなりません。
バリアントサブシステムを含むシステムでは、モデルアドバイザーはアクティブサブシステムをチェックします。アクティブなサブシステムと非アクティブなサブシステムの両方をチェックするには、Advisor.Applicationプロパティ、AnalyzeVariants を true に設定します。
モデルアドバイザーはコメント化されたブロックを解析しません。
チェックでは、ブロックパラメーター [読み取り/書き込み] が [NoReadorWrite] に設定されている model ブロックまたは subsystem ブロックは検索されません。ただし、手作業でのチェックでは、モデルアドバイザーはライブラリブロックやマスクサブシステムも検索します。
チェックに関するドキュメンテーションに記載されている場合を除き、モデルアドバイザーは Model ブロックの内容は解析しません。参照モデルのチェックを実行するには、Advisor.Application クラスのインスタンスを使用します (Simulink Check ライセンスが必要です)。
モデルアドバイザーの並列実行は Simulink Online ではサポートされていません。

メモ

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

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

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

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

Product	モデルアドバイザーのチェックのドキュメンテーション
Simulink	Simulink Checks
Embedded Coder^®	Embedded Coder のチェック (Embedded Coder)
AUTOSAR Blockset	AUTOSAR Blockset のチェック (AUTOSAR Blockset)
Simulink Coder™	モデルアドバイザーチェック (Simulink Coder)
HDL Coder™	HDL コードアドバイザーチェック (HDL Coder)
Simulink Code Inspector™	Simulink Code Inspector Checks (Simulink Code Inspector)
Simulink Check	Using Model Advisor Checks for High Integrity System Modeling Guidelines MAB モデリングガイドライン用のモデルアドバイザーチェック JMAAB モデリングガイドライン用のモデルアドバイザーチェック IEC 61508、IEC 62304、ISO 26262、ISO 25119、および EN 50128/EN 50657 の各業界標準用のモデルアドバイザーチェックの使用 Model Advisor Checks for DO-178C/DO-331 Industry Standards DO-254 標準への準拠性のモデルアドバイザーチェック MISRA C:2012 コーディング規約用のモデルアドバイザーチェックの使用セキュリティで保護されたコーディング標準 CERT C、CWE、および ISO/IEC TS 17961 に関するモデルアドバイザーチェックモデルメトリクス
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	Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
DO Qualification Kit	Model Advisor Checks for DO-178C/DO-331 Industry Standards

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

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

モデルアドバイザーのモデル例を開くには、MATLAB^® コマンドラインで次のようにします。
```
openExample('sldemo_mdladv')
```
モデルアドバイザーを開くには、Simulink エディターで、[モデル化] タブをクリックし、[モデルアドバイザー] を選択します。[システムセレクター] ダイアログが開きます。確認するモデルまたはシステムを選択し、[OK] をクリックします。
モデルアドバイザーの左側のペインで、モデルに対して実行するチェックを選択します。
1. [製品別] フォルダーまたは [タスク別] フォルダーを使用してチェックを選択できます。
  - 製品別フォルダーを表示 ― 各製品で使用可能なチェックが表示されます。
  - タスク別フォルダーを表示 ― 特定のタスクに関連するチェックが表示されます。
のアイコンが付いたチェックは、モデルのブロック線図の更新をトリガーします。
のアイコンが付いたチェックは、モデルの広範な解析をトリガーします。モデルの広範な解析をトリガーするチェックは、Simulink Design Verifier での解析など、追加の解析手法を使用します。
チェックが含まれているフォルダーをクリックし、ツールストリップで [チェックの実行] をクリックして解析を実行します。1 つのチェックを実行するには、フォルダー内のチェックを右クリックして [このチェックを実行] を選択します。

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

チェック結果のステータス	アイコン	説明
`Passed`		指定されたチェックについて、モデルに違反はありません。
`Failed`		チェックで重大な違反が特定されました。
`Warning`		チェックで違反が特定されました。
`Justified`		チェック項目違反が正当化されました。
`Not Run`		チェックがモデルアドバイザー解析用に選択されていません。
`Incomplete`		チェックの解析が完了していないか、チェックの実行で例外が発生しました。

警告または不具合を必要に応じて修正します。詳細については、モデルチェック結果への対処を参照してください。
[対象外指定] タブを使用して、解析から除外するようにマークされたチェックを確認します。
レポートを確認して保存します。詳細については、モデルアドバイザーチェックレポートの保存と表示およびモデルアドバイザーレポートの生成を参照してください。