ドキュメンテーションヘルプセンタードキュメンテーション

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

モデルの準拠性のチェック

モデルが安全規格とガイドラインに準拠していることを検証

モデリングガイドラインをプロジェクトチームと開発チームの全体に適用するために、モデルアドバイザーを使用してモデルのチェックを実行できます。チェックを実行する場合、モデルアドバイザーはチェック別に指定されている条件とコンフィギュレーション設定についてモデルを確認します。

Simulink^® Check™ は、高信頼性システムモデリングガイドラインと MathWorks^® Advisory Board (MAB) モデリングガイドラインに関連付けられた安全規格への準拠性に関するモデルアドバイザーチェックを備えています。モデルアドバイザーを使用したモデルの準拠性のチェックから始めます。

クラス

`Advisor.Application`	Run Model Advisor across model hierarchy
`Advisor.Manager`	Manage applications

関数

`edittime.getAdvisorChecking`	Determine whether edit-time checking is on
`edittime.setAdvisorChecking`	Check your model interactively against modeling standards
`Advisor.getExclusion`	Get exclusion information for a model or a file
`Advisor.addExclusion`	Add exclusions to a model or a file
`Advisor.removeExclusion`	Removes exclusions for a model or a file
`Advisor.saveExclusion`	Save exclusions to the model or an external file
`Advisor.loadExclusion`	Load exclusions to a model or a file
`Advisor.clearExclusion`	Clear all exclusions from a model or a file

トピック

モデルアドバイザー

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

モデルアドバイザーを使用して、モデルまたはサブシステムがモデリングガイドラインまたはモデリング標準に準拠していることを確認する。

編集時チェックを使用したモデルの準拠性のチェック

編集時チェックを使用して、モデルまたはサブシステムがモデリングガイドラインまたはモデリング標準に準拠していることを確認する。

モデルアドバイザーの設定エディターを使用したモデルアドバイザーのカスタマイズ

モデルアドバイザーの設定エディターを使用して、モデルアドバイザーチェックとフォルダーのコンフィギュレーションをカスタマイズする。

モデルアドバイザーレポートの生成

追加の形式でレポートを生成するようモデルアドバイザーを構成。

モデルアドバイザーチェックの解析からのブロックの除外

モデルアドバイザーのモデルまたはサブシステムの解析の範囲を制限可能。

モデルアドバイザーチェック

DO-178C/DO-331 標準へのモデルの準拠性のチェック

モデルアドバイザーを使用した、モデルまたはサブシステムが DO-178C 安全規格の一部に準拠することのチェック。

DO-254 標準へのモデルの準拠性のチェック

モデルアドバイザーを使用した、モデルまたはサブシステムが DO-254 安全規格の一部に準拠することのチェック。

IEC 61508、IEC 62304、ISO 26262、ISO 25119 および EN 50128/EN 50657 の各規格へのモデルの準拠性のチェック

モデルアドバイザーを使用して、モデルまたはサブシステムが IEC 61508、IEC 62304、ISO 26262 および EN 50128/EN 50657 安全規格の一部に準拠することをチェックする。

高信頼性システムモデリングのモデルチェック

モデルアドバイザーを使用して、モデルまたはサブシステムが高信頼性システムモデルの安全規格の一部に準拠するかをチェックする。

MAB および JMAAB へのモデルの準拠性のチェック

モデルアドバイザーを使用して、モデルまたはサブシステムが MathWorks Advisory Board (MAB) および Japan MATLAB^® Automotive Advisory Board (JMAAB) モデリングガイドラインに準拠することをチェックする。

MISRA C:2012 へのモデルの準拠性のチェック

モデルアドバイザーを使用した、モデルが MISRA C:2012 準拠のコードを生成する可能性が高いことのチェック。

モデルのセキュリティで保護されたコーディング (CERT C、CWE および ISO/IEC TS 17961 標準) のチェック

モデルアドバイザーを使用して、セキュリティで保護されたコーディング標準 CERT C、CWE、ISO/IEC TS 17961 にコードが準拠することをチェックする。

モデルの要件リンクのチェック

モデルアドバイザーを使用した、モデル内のすべての要件リンクが要件ドキュメント内に有効な参照先をもっていることのチェック。

Simulink Check ドキュメンテーション

サポート

Automating Verification and Validation with Simulink

Automating Verification and Validation with Simulink