金宝app^®检查™はモデル、要件、テストを解析し、設計の品質と標準への準拠性を評価します。開発中にモデリング標準およびガイドラインの違反を特定する、業界認定のチェックとメトリクスを提供します。サポートされる高信頼性ソフトウェア開発標準には、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、および MathWorks Advisory Board (MAB) スタイル ガイドラインが含まれます。Simulink Checkは、CERT C、CWE、および ISO/IEC TS 17961 といった、セキュリティで保護されたコーディング標準もサポートします。独自の標準やガイドラインに準拠するカスタム チェックを作成することができます。編集する際、編集時チェックが準拠問題を特定します。

Simulink Checkは、サイズおよび複雑度など、設計のステータスと品質を評価するためのメトリクスを提供します。モデル テスト ダッシュボードでは、要件に基づくテスト アクティビティで得られたデータを統合して、テストのステータスを追跡します。自動モデル リファクタリングにより、モデリング クローンの置換、設計の複雑度の削減、および再利用可能なコンテンツの特定を行うことができます。モデル スライサー ツールは、問題のあるモデル動作を分離して、デバッグ用の簡略化モデルを生成します。

業界標準には、IEC Certification Kit (ISO 26262 と IEC 61508 用)とDO Qualification Kit (DO-178 用)によって対応しています。