金宝app^®检查™は開発中に標準およびガイドラインの違反を特定する、業界で認められているチェックとメトリクスを提供します。サポートされる信頼性の高いソフトウェア開発標準には、DO-178、ISO 26262、IEC 61508、IEC 62304、および MathWorks Automotive Advisory Board (MAAB) スタイル ガイドラインが含まれます。編集する際、編集時チェックが準拠問題を特定します。独自の標準やガイドラインに準拠するカスタム チェックを作成することができます。

Simulink Checkはモデルのアーキテクチャおよび標準に対する適合性を評価する際に利用できるサイズや複雑度などのメトリクスを提供します。統合されたメトリクス ダッシュボードにより、設計の状態と品質を評価できます。自動モデル リファクタリングにより、重複した設計要素の置換、設計の複雑度の削減、および再利用可能なコンテンツの特定を行うことができます。モデル スライサー ツールは、問題のあるモデル動作を分離して、デバッグ用の簡略化モデルを生成します。

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