主要内容

このペ，ジの翻訳は最新ではありません。ここをクリックして，英語の最新版を参照してください。

モデルアドバ▪▪ザ▪▪を使用したモデルのチェック

モデルアドバ▪▪ザ▪▪の概要

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

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

モデルアドバ。

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

  • モデルアドバ▪ザ▪で編集時チェックを自動的に実行するように構成(金宝app®检查™が必要)

モデルアドバ。個々のチェックに適用される制限は,チェックのドキュメンテーション内の”機能および制限事項”の節を参照してください。

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

  • バリアントサブシステムを含むシステムでは,モデルアドバイザーはアクティブサブシステムをチェックします。アクティブなサブシステムと非アクティブなサブシステムの両方をチェックするには，顾问。应用程序(金宝app仿真软件检查)プロパティ，AnalyzeVariantsを真正的に設定します。

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

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

  • チェックに関するドキュメンテ，ションに記載されている場合を除き，モデルアドバ，ザ，は模型ブロックの内容は解析しません。参照モデルのチェックを実行するには，顾问。应用程序(金宝app仿真软件检查)クラスのaapl . exeンスタン金宝appスを使用します(Simulink Checkラaapl . exeセンスが必要です)。

メモ

ソフトウェアは，本来複雑なため，エラ，が発生する可能性があります。モデルアドバ▪▪ザ▪▪のチェックにもバグが発見される場合があります。MathWorks®では，バグレポ，トシステムの注意するべき既知のバグを//www.tatmou.com/金宝appsupport/bugreports/で報告しています。バグレポ，トは，各リリ，スのドキュメンテ，ションの一部です。リリ，スごとにバグレポ，トを検証します。このレポートにより,ご利用のリリースの実際の動作が,このドキュメンテーションでの説明と異なる場合にそれを識別できます。

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

モデルアドバザのチェックに関するドキュメンテション

モデルアドバザは，いてのチェックのみを表示します。製品固有のチェックのドキュメンテ，ションへのリンクを次の表に示します。ドキュメンテ，ションを確認するには製品のライセンスが必要な場合があります。

製品 モデルアドバザのチェックに関するドキュメンテション
金宝app 金宝appSimulinkのチェック
嵌入式编码器® 嵌入式编码器のチェック(嵌入式编码)
AUTOSAR Blockset AUTOSAR Blocksetのチェック(AUTOSAR Blockset)
金宝app仿真软件编码器™ 金宝appSimulink Coderのチェック(金宝app仿真软件编码器)
高密度脂蛋白编码器™ HDLコ，ドアドバ，ザ，チェック(高密度脂蛋白编码器)
金宝appSimulink Code Inspector™ 金宝appSimulink代码检查器检查(金宝appSimulink Code Inspector)
金宝app仿真软件检查

Do-178c / do-331チェック(金宝app仿真软件检查)

IEC 61508, IEC 62304, ISO 26262, ISO 25119和EN 50128/EN 50657检查(金宝app仿真软件检查)

Do-254標準へのモデルの準拠性のチェック(金宝app仿真软件检查)

高完整性系统建模检查(金宝app仿真软件检查)

模型顾问检查MAB和JMAAB的遵从性(金宝app仿真软件检查)

MISRA C:2012检查(金宝app仿真软件检查)

针对CERT C、CWE和ISO/IEC TS 17961标准的安全编码检查(金宝app仿真软件检查)

模型指标(金宝app仿真软件检查)
金宝appSimulink设计验证器™ 金宝appSimulink设计验证器のチェック(金宝appSimulink Design Verifier)
金宝app仿真软件需求™ 要件の整合性チェック
Simscape™ ドキュメンテションはモデルアドバザでのみ使用できます。チェックのドキュメンテーションを確認するには,モデルアドバイザーでチェックのタイトルを右クリックして[これはなに?]］を選択します。
金宝appSimulink控制设计™ 金宝appSimulink Control Designのチェック(金宝appSimulink控制设计)
IEC认证套件

IEC认证套件检查(IEC认证资料套)
DO资格套件

DO资格套件检查(民政事务处资历套件)

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

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

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

  2. モデルアドバeconeconpザ金宝app，を開くには，Simulinkエディタ，で，[モデル化]タブをクリックし，[モデルアドバaapl . aapl . cn]を選択します。[システムセレクタ-モデルアドバ]ダ@ @アログボックスが開きます。確認するモデルまたはシステムを選択し，(好的)をクリックします。

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

    1. [製品別]フォルダ，または[タスク別]フォルダ，を使用してチェックを選択できます。これらのフォルダがモデルアドバザウィンドウに表示されない場合は，[設定]、[基本設定]を開き，以下を選択します。

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

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

    2. [検索]フィルドにチェックの“タトル”または"タ电子邮箱トルIDを入力してから[次を検索]ボタンをクリックして，特定のチェックを検索して実行できます。モデルアドバザは，チェック名，フォルダ名および解析の記述を検索します。[ソ，ス]タブを使用して，それぞれのチェックの“タescトル”，“タiphoneトル。ID， matlab®ソ，スコ，ドの場所を特定できます。[ソ，ス]を表示するには，モデルアドバ@ @ @の右側のペ@ @ @ @ @ @ @[設定]、[基本設定]を開き，[[ソ，ス]タブを表示]を選択します。

  4. チェックが含まれているフォルダーをクリックし,モデルアドバイザーの右側のペインで以下を選択します。

    • 実行後にレポ，トを表示- HTML形式のレポトを自動的に生成して表示します。

    • 選択したチェックを実行-解析を実行します。

    1 .[このチェックを実行]を選択します。

  5. モデルアドバ。次の表は共通のチェックステ，タス結果を示しています。モデルアドバザの設定エディタで[問題にフラグが設定されている場合は結果をチェック]のパラメ、タ、セットに応じて異なるア、コンが使用されていることに注目してください(金宝app仿真软件检查ラaapl . aapl .センスが必要)。このパラメタの詳細にいては，チェックをカスタマズするパラメタの指定(金宝app仿真软件检查)を参照してください。

    結果

    		 パラメタ[問題にフラグが設定されている場合は結果をチェック]が次の場合のア电子邮箱コン:

    警告

    失敗

    通过─チェックによって問題は特定されませんでした。

    当检查结果的标志设置为警告时，传递图标

    当检查结果的标志设置为失败时，传递图标

    D-Pass─コンフィギュレ，ションパラメ，タ，または別のチェックの正常な実行に依存します。

    当检查结果标志设置为警告时，强制通过图标

    当检查结果标志设置为失败时，强制通过图标

    警告─チェックによって問題が特定されました。

    両方の設定に同じア@ @コンが使用されます。

    警告图标

    失败─チェックの実行に失敗しました。

    両方の設定に同じア@ @コンが使用されます。

    失败的图标

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

  7. [対象外指定]タブを使用して，解析から除外するようにマ，クされたチェックを確認します。[対象外指定]タブを表示するには，モデルアドバ@ @ @の右側のペ@ @ @ @ @ @ @[設定]、[基本設定]を開き，[[対象外指定]タブを表示]を選択します。

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

    メモ

    チェックの実行時に[実行後にレポ，トを表示]を選択しなかった場合，解析の完了後に結果のレポ，トを生成できます。モデルアドバザレポトの生成(金宝app仿真软件检查)を参照してください。

  9. 必要に応じて，チェックのステ，タスを[実行なし]状態にリセットできます。左側のペ@ @ンで[モデルアドバaapl . aapl . cn]を右クリックし，[リセット]を選択します。この操作を行っても，モデルアドバ。

以前の解析からチェックを実行して解析時間を短縮

モデルアドバイザーダッシュボードを使用して,モデルで一貫して同じチェックセットを実行することで解析時間を節約できます。ダッシュボードを使用すると,モデルアドバイザーはチェックを実行前に再読み込みしないため,解析時間が短縮されます。

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

  2. [モデルアドバaapl . aapl . cn]、[モデルアドバeconp econpザダッシュボド]を選択します。[システムセレクタ-モデルアドバ]ダ@ @アログボックスが開きます。確認するモデルまたはシステムを選択し，(好的)をクリックします。

  3. モデルアドバザダッシュボドのウィンドウが開きます。このダッシュボ，ドから以下を実行できます。

    • [チェックの実行]ボタンをクリックすると，以前の解析と同じチェックを実行できます。

    • [標準表示への切り替え]ボタンをクリックすると，モデルアドバ@ # @ザ，が開き，別のチェックを選択できます。

    • [強調表示の有効化]ボタンをクリックすると，強調表示された結果がS金宝appimulinkエディタ，に表示されます。

  4. [チェックの実行]ボタンをクリックして，以前の解析で使用した同じチェックをモデルに対して実行します。必要に応じて，[強調表示の有効化]ボタンをクリックします。

  5. モデルアドバイザーでチェックが実行され,ダッシュボードが更新されて次の数を含む解析結果が反映されます。

    • パスしたチェック

    • 失敗したチェック

    • フラグが設定されたチェック

    • チェックの総数

    [強調表示の有効化]ボタンをクリックした場合は，フラグが設定された結果がモデルで強調表示されます。

    モデルアドバイザーウィンドウへのリンク付きで[モデルアドバイザーの強調表示)情報ウィンドウが開きます。モデルアドバイザーウィンドウには,チェック結果と警告の状態を修正する方法についての詳細が表示されています。

  6. [レポ，トを開く]ボタンをクリックして，html形式のレポ，ト全体を開きます。結果の横にある番号のリンクを選択すると、レポートの結果をフィルターすることもできます。

プログラムによるモデルチェックの実行

金宝app仿真软件检查を使用している場合,モデルアドバイザーをプログラムによって実行することができるようにMATLABスクリプトと関数を作成できます。たとえば,モデルを開いてシミュレーションを開始するときに毎回,指定した一連のモデルアドバイザーのチェックにモデルが合格するかどうかを調べる関数ModelAdvisor.run(金宝app仿真软件检查)を作成できます。

その他のアドバ▪▪ザ▪▪へのアクセス

モデルアドバザウィンドウからその他のアドバザにアクセスできます。

これらのアドバザには，モデルアドバザの左下隅からアクセスできます。

関連する例

詳細