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

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

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

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

クラス

`Advisor.Application`	モデルの階層構造全体でのモデルアドバイザーの実行
`Advisor.Manager`	アプリケーションの管理

関数

`editime.enableCheck`	Enable disabled custom edit-time check
`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`	対象外指定をモデルまたはファイルに追加
`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

トピック

モデルアドバイザー

モデルアドバイザーを使用したモデルの準拠性のチェック
モデルアドバイザーを使用して、モデルまたはサブシステムがモデリングガイドラインまたはモデリング標準に準拠していることを確認する。
編集時チェックを使用したモデルの準拠性のチェック
編集時チェックを使用して、モデルまたはサブシステムがモデリングガイドラインまたはモデリング標準に準拠していることを確認する。
モデルアドバイザーの設定エディターを使用したモデルアドバイザーのカスタマイズ
モデルアドバイザーの設定エディターを使用して、モデルアドバイザーチェックとフォルダーのコンフィギュレーションをカスタマイズする。
モデルアドバイザーレポートの生成
追加の形式でレポートを生成するようモデルアドバイザーを構成。
アーキテクチャモデルでのカスタムモデルアドバイザーチェックの実行
アーキテクチャモデル (System Composer) でカスタムモデルアドバイザーチェックを使用します。
モデルアドバイザーチェックの解析からのブロックの除外
モデルアドバイザーのモデルまたはサブシステムの解析の範囲を制限可能。
Justify Violated Blocks from the Model Advisor Check Analysis
Justify errors and warnings of the violated blocks from Model Advisor model or subsystem analysis.

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

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

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

クラス

関数

トピック

モデル アドバイザー

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

モデルアドバイザー

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