このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

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

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

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

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

1. プロジェクト例を開きます。

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

2. simulinkCruiseErrorAndStandardsExample モデルを開きます。

   open_system("simulinkCruiseErrorAndStandardsExample");

3. [モデル化] タブで、[モデル アドバイザー] を選択します。

4. [システム セレクター] ダイアログで simulinkCruiseErrorAndStandardsExample を選択し、[OK] をクリックします。

5. Simulink^® Check™ を使用して、モデルに MAB スタイル ガイドライン違反がないかどうかチェックします。

   1. 左側のペインの [製品別] 、 [Simulink Check] 、 [モデリング標準] 、 [MAB チェック] フォルダーで次を選択します。

      • [インデックス モードをチェック]

      • [モデルの診断パラメーターをチェック]

   2. [MAB チェック] ノードを右クリックし、[チェックの実行] を選択します。

   3. 左側のペインで [モデルの診断パラメーターをチェック] を選択します。解析結果が右側のペインの [レポート] タブに表示されます。レポートには、違反の詳細と推奨されるアクションが表示されます。

   4. [コンフィギュレーション パラメーター] ダイアログ ボックスを開くには、パラメーターのハイパーリンクをクリックし、モデル診断パラメーターを更新して、モデルを保存します。

   5. モデルがパスしたことを確認するために、チェックを再度実行します。両方のチェックがパスするまで、手順 c ～ e を必要に応じて繰り返します。

   6. Simulink Check のチェックの結果レポートを生成するには、[MAB チェック] ノードを選択して、ツールストリップの [レポート] をクリックします。

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

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

1. 左側のペインの [製品別] 、 [Simulink Design Verifier] フォルダーで、[設計エラー検出] のチェック ボックスをクリックします。フォルダー内のすべてのチェックが選択されます。

2. ツールストリップで [チェックの実行] をクリックします。

3. 解析が完了したら、解析の HTML レポートを生成します。ツールストリップで [レポート] をクリックします。

4. 生成されたレポートで、[Simulink Design Verifier の結果の概要] ハイパーリンクをクリックします。このダイアログ ボックスは、モデルのエラーや警告の診断に役立ちます。次のことが可能です。

   1. モデルの解析結果を確認します。Compute target speed サブシステムをクリックします。Simulink Design Verifier 結果インスペクター ウィンドウに表示される派生範囲は、発生し得る信号値を特定することで、エラーの発生源の把握に役立ちます。

   2. ハーネス モデルを確認します。または、まだ存在していない場合は作成します。

   3. テストを表示し、テスト ケースをエクスポートします。

   4. 解析レポートを確認します。詳細な解析レポートを表示するには、[HTML] または [PDF] をクリックします。

参考

トピック

• モデル アドバイザーを使用したモデルの準拠性のチェック (Simulink Check)
• モデル アドバイザーを使用したモデル メトリクスの収集 (Simulink Check)
• モデルにおける設計エラーの解析 (Simulink Design Verifier)
• モデルのプロパティの証明 (Simulink Design Verifier)