モデルアドバイザーのチェック項目違反の検出と修正

モデルアドバイザーはモデルやサブシステムをチェックして、不正確または非効率的なシミュレーションを引き起こすモデル化条件および構成設定、非効率な生成コード、セーフティクリティカルなアプリケーションに適さないコードが含まれていないか調べます。モデルアドバイザーのチェックは、業界標準やガイドラインに準拠しているかどうかを検証するのに役立ちます。モデルアドバイザーを使用することで、プロジェクト間や開発チーム全体で一貫したモデリングガイドラインを実装できます。

モデルアドバイザーチェックのサブセットは、編集時のチェックをサポートしています。編集時のチェックでは、モデルの開発中にモデル条件をチェックできます。モデルエディターウィンドウで強調表示されているブロックは、モデル内に問題があることを警告しています。

本チュートリアルは、モデル例 sldemo_fuelsys を使用します。このモデルは、Simulink^® と Stateflow^® を使用して設計された空燃比制御システムです。

図示されているのは、sldemo_fuelsys モデルの一部です。最上位モデルは、プラント (Engine Gas Dynamics) とコントローラー (Fuel Rate Control サブシステム) で構成される閉ループシステムです。エンジニアは、プラントを使用することで、設計の初期段階にシミュレーションを行ってコントローラーを検証できます。制御ロジックは、さまざまな動作モードを指定する Stateflow チャートです。

Top-level of the sldemo_fuelsys model

The Fuel Rate Control subsystem in the sldemo_fuelsys model

Stateflow chart for the control logic

編集時のモデルアドバイザーのチェック項目違反の検出と修正

現在のフォルダーを書き込み可能なディレクトリに設定します。
以下のコマンドを入力してモデル sldemo_fuelsys を開きます。
```
openExample('sldemo_fuelsys')
```
編集時のチェックを使用するには、[モデル化] タブで [モデルアドバイザー] 、 [編集時チェック] を選択します。[コンフィギュレーションパラメーター] ダイアログボックスが開きます。[編集時チェック] のチェックボックスをオンにします。
強調表示されたブロックおよびサブシステムは、準拠問題を示します。
強調表示されたブロックの上にマウスをポイントし、警告アイコンをクリックします。ダイアログボックスに警告の詳細が表示されます。問題を検出したチェックに関する詳細なドキュメンテーションについては、疑問符をクリックします。これらのブロックには、無効なブロック名による編集時の警告が含まれます。
選択したチェックからブロックを除外するには、[非表示にする] をクリックします。
Engine Gas Dynamics サブシステムをダブルクリックして開きます。air/fuel ratio 出力端子の上にマウスをポイントし、警告アイコンをクリックします。
この出力端子は、名前がサポートされていないブロック名のチェックとCheck port block namesの 2 つのチェックに違反するため、警告を返します。
ブロック名に含まれる / 記号と空白をアンダースコアに置き換え、警告に対処します。ブロックの強調表示が解除されます。
Engine Gas Dynamics サブシステム内のその他の強調表示されたブロックの警告に対処します。

モデルアドバイザーのチェック項目違反の対話的な検出と修正

[モデル化] タブで、[モデルアドバイザー] を選択します。
システム階層から最上位モデル sldemo_fuelsys を選択して [OK] をクリックします。
左側のペインの [製品別] 、 [Simulink Check] 、 [モデリング標準] 、 [DO-178C/DO-331] フォルダーで以下を選択します。
- ソルバーに対する安全性関連の診断設定をチェック
- サンプル時間に対する安全性関連の診断設定をチェック
- 論理信号に対する安全性関連の最適化設定をチェック
[DO-178C/DO-331 チェック] ノードを右クリックして、[選択したチェックを実行] を選択します。
推奨値に設定されていないコンフィギュレーションパラメーターを確認するには、[ソルバーに対する安全性関連の診断設定をチェック] をクリックします。
パラメーターを推奨値に更新するには、ツールストリップで [修正] をクリックします。

[アクションレポート] ウィンドウに、モデルアドバイザーで推奨値に更新されたパラメーターと結果の詳細が表示されます。
チェック [サンプル時間に対する安全性関連の診断設定をチェック] について手順 6 を繰り返します。
モデルがパスしたことを確認するために、チェックを再度実行します。
Simulink Check™ のチェックの結果レポートを生成するには、[DO-178C/DO-331 チェック] ノードを選択して、ツールストリップの [レポート] をクリックします。
モデルアドバイザーを閉じます。

次に、メトリクスダッシュボードを使用してモデルのメトリクスデータを収集し、その他の準拠問題を修正します。

モデル品質の評価と検証