このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
モデルの準拠性のチェック
モデルが安全規格とガイドラインに準拠していることを検証
モデリング ガイドラインをプロジェクト チームと開発チームの全体に適用するために、モデル アドバイザーを使用してモデルのチェックを実行できます。チェックを実行する場合、モデル アドバイザーはチェック別に指定されている条件と構成設定についてモデルを確認します。
Simulink® Check™ は、高信頼性システム モデリング ガイドラインと MathWorks® Advisory Board (MAB) モデリング ガイドラインに関連付けられた安全規格への準拠性に関するモデル アドバイザー チェックを備えています。モデル アドバイザーを使用したモデルの準拠性のチェックから始めます。
クラス
関数
トピック
モデル アドバイザー
- モデル アドバイザーを使用したモデルの準拠性のチェック
モデル アドバイザーを使用して、モデルまたはサブシステムがモデリング ガイドラインまたはモデリング標準に準拠していることを確認する。 - 編集時チェックを使用したモデルの準拠性のチェック
編集時チェックを使用して、モデルまたはサブシステムがモデリング ガイドラインまたはモデリング標準に準拠していることを確認する。 - モデル アドバイザー構成エディターを使用したモデル アドバイザーのカスタマイズ
モデル アドバイザー構成エディターを使用して、モデル アドバイザー チェックとフォルダーの構成をカスタマイズする。 - モデル アドバイザー レポートの生成
追加の形式でレポートを生成するようモデル アドバイザーを構成。 - アーキテクチャ モデルでのカスタム モデル アドバイザー チェックの実行
モデル アドバイザーを使用して、System Composer™ アーキテクチャ モデルのチェックを実行する。 - モデル アドバイザー チェックの解析対象からのブロックの除外
モデル アドバイザーのモデルまたはサブシステムの解析の範囲を制限可能。 - Programmatically Exclude Blocks from Model Advisor Check Analysis
Use MATLAB® functions to create, modify, and save Model Advisor exclusions. - Justify Model Advisor Violations from Check Analysis
Provide a rationale for why you are allowing a violation to exist in your design. - モデル アドバイザーの考慮事項および制限事項
モデル アドバイザーの制限事項および考慮事項を説明する。
モデル アドバイザー チェック
- Model Advisor Checks for High-Integrity Systems Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the High Integrity System Model modeling guidelines. - MAB モデリング ガイドライン用のモデル アドバイザー チェック
モデル アドバイザーを使用して、モデルまたはサブシステムが MathWorks Advisory Board (MAB) モデリング ガイドラインに準拠していることをチェックする。 - JMAAB モデリング ガイドライン用のモデル アドバイザー チェック
モデル アドバイザーを使用して、モデルまたはサブシステムが Japan MathWorks Automotive Advisory Board (JMAAB) モデリング ガイドラインに準拠することをチェックする。 - Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
Use Model Advisor checks to verify compliance with IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128 industry standards. - Model Advisor Checks for DO-178C/DO-331 Industry Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with DO-178C/DO-331 industry safety standards. - DO-254 標準への準拠性のモデル アドバイザー チェック
モデル アドバイザーを使用した、モデルまたはサブシステムが DO-254 安全規格の一部に準拠することのチェック。 - MISRA C:2012 コーディング規約用のモデル アドバイザー チェック
モデル アドバイザーを使用して、モデルまたはサブシステムのコードが MISRA C:2012 コーディング規約に準拠していることを確認する。 - CERT C、SWE および ISO/IEC TS 17961 コーディング規約用のモデル アドバイザー チェック
モデル アドバイザーを使用して、モデルまたはサブシステムのコードがセキュア コーディング規約に準拠していることを確認する。 - 要件リンクのモデル アドバイザー チェック
モデル アドバイザーを使用した、モデル内のすべての要件リンクが要件ドキュメント内に有効な参照先をもっていることのチェック。