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

モデル アドバイザー

• モデル アドバイザーを使用したモデルの準拠性のチェック
  モデル アドバイザーを使用して、モデルまたはサブシステムがモデリング ガイドラインまたはモデリング標準に準拠していることを確認する。
• 編集時チェックを使用したモデルの準拠性のチェック
  編集時チェックを使用して、モデルまたはサブシステムがモデリング ガイドラインまたはモデリング標準に準拠していることを確認する。
• モデル アドバイザー構成エディターを使用したモデル アドバイザーのカスタマイズ
  モデル アドバイザー構成エディターを使用して、モデル アドバイザー チェックとフォルダーの構成をカスタマイズする。
• モデル アドバイザー レポートの生成
  追加の形式でレポートを生成するようモデル アドバイザーを構成。
• アーキテクチャ モデルでのカスタム モデル アドバイザー チェックの実行
  モデル アドバイザーを使用して、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 コーディング規約用のモデル アドバイザー チェック
  モデル アドバイザーを使用して、モデルまたはサブシステムのコードがセキュア コーディング規約に準拠していることを確認する。
• 要件リンクのモデル アドバイザー チェック
  モデル アドバイザーを使用した、モデル内のすべての要件リンクが要件ドキュメント内に有効な参照先をもっていることのチェック。

継続的インテグレーション