標準への準拠と設計エラーに関するモデルの解析

この例では次を使用します。

標準と解析の概要

モデルの開発中に、モデルをチェックして解析し、品質の信頼度を向上させます。MAB スタイルガイドラインや、DO-178、ISO 26262 といった高信頼性システムの設計ガイドラインなどの標準に対してモデルをチェックします。モデルを解析して、エラー、デッドロジック、必要なプロパティに違反する条件の有無を確認します。解析結果を使用して、モデルおよびドキュメントの例外を更新します。カスタマイズ可能なテンプレートを使用して結果をレポートします。

Flowchart for analyzing a model for standards compliance and design errors

モデルにおけるスタイルガイドラインの違反や設計エラーのチェック

この例では、モデルアドバイザーを使用して、クルーズコントロールモデルにおける MathWorks^® Advisory Board (MAB) スタイルガイドライン違反や設計エラーをチェックする方法を説明します。チェックを選択してモデルの解析を実行します。モデルアドバイザーを使用して問題を繰り返しデバッグし、チェックを再度実行して準拠していることを検証します。選択したチェックにパスしたら、結果をレポートします。

MAB スタイルガイドライン違反に関するモデルのチェック

モデルアドバイザーを使用して、モデルが MAB ガイドラインに準拠していることをチェックします。

プロジェクト例を開きます。コマンドラインで、次のように入力します。

openExample("shared_vnv/CruiseControlVerificationProjectExample");
pr = openProject("SimulinkVerificationCruise");

simulinkCruiseErrorAndStandardsExample モデルを開きます。
```
open_system simulinkCruiseErrorAndStandardsExample
```
[モデル化] タブで、[モデルアドバイザー] を選択します。
[OK] をクリックして、[システムの階層] から simulinkCruiseErrorAndStandardsExample を選択します。
Simulink^® Check™ を使用して、モデルに MAB スタイルガイドライン違反がないかどうかチェックします。
1. 左側のペインの [製品別] 、 [Simulink Check] 、 [モデリング標準] 、 [MAB チェック] フォルダーで次を選択します。
  - [インデックスモードをチェック]
  - [モデルの診断パラメーターをチェック]
2. [MAB チェック] ノードを右クリックし、[チェックの実行] を選択します。
3. MAB スタイルガイドラインに違反しているコンフィギュレーションパラメーター設定を確認するには、[モデルの診断パラメーターをチェック] チェックを実行します。
4. 解析結果が [レポート] タブの右側のペインに表示されます。[レポート] には、違反の詳細と推奨されるアクションが表示されます。
5. パラメーターのハイパーリンクをクリックします。これにより [コンフィギュレーションパラメーター] ダイアログボックスが開き、モデル診断パラメーターを更新します。モデルを保存します。
6. モデルがパスしたことを確認するために、チェックを再度実行します。必要に応じて、手順 c ～ e を繰り返して完全に準拠させます。
7. Simulink Check のチェックの結果レポートを生成するには、[MAB チェック] ノードを選択して、ツールストリップの [レポート] をクリックします。

モデルにおける設計エラーのチェック

モデルアドバイザーでは、Simulink Design Verifier™ を使用して、モデルに隠れた設計エラーがあるかどうかもチェックできます。

左側のペインの [製品別] 、 [Simulink Design Verifier] フォルダーで、[設計エラー検出] を選択します。
まだチェックされていない場合は、[設計エラー検出] の横のボックスをクリックします。フォルダー内のすべてのチェックが選択されます。
ツールストリップの [チェックの実行] をクリックします。
モデルアドバイザーの解析後、ツールストリップの [レポート] をクリックします。これにより、チェック解析の HTML レポートが生成されます。
生成されたレポートで、[Simulink Design Verifier の結果の概要] ハイパーリンクをクリックします。このダイアログボックスには、モデルのエラーや警告の診断に役立つツールが用意されています。
1. モデルの解析結果を確認します。Compute target speed サブシステムをクリックします。Simulink Design Verifier 結果インスペクターウィンドウに表示される派生範囲は、発生し得る信号値を特定することで、エラーの発生源の把握に役立ちます。
2. ハーネスモデルを確認します。または、まだ存在していない場合は作成します。
3. テストを表示し、テストケースをエクスポートします。
4. 解析レポートを確認します。詳細な解析レポートを表示するには、[HTML] または [PDF] をクリックします。