Simulink Check™ analysiert Ihre Modelle, Anforderungen und Tests zur Bewertung der Entwurfsqualität und der Einhaltung von Standards. Es bietet branchenweit anerkannte Überprüfungen und Metriken, mit denen die Nichteinhaltung von Modellierungsstandards und Richtlinien noch während der Entwicklung erkannt werden. Zu den unterstützten High-Integrity-Softwareentwicklungsstandards gehören ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 und MathWorks Advisory Board (MAB)-Stilrichtlinien. Simulink Check unterstützt ebenfalls sichere Codierungsstandards wie CERT C, CWE und ISO/IEC TS 17961. Sie können individuelle Checks erstellen, die mögliche Konformitätsprobleme direkt im Editor identifizieren, um Ihre eigenen Standards oder Richtlinien zu erfüllen.

Simulink Check bietet Metriken wie Größe und Komplexität zur Beurteilung des Status und der Qualität Ihres Entwurfs. Das Model Testing Dashboard konsolidiert Daten aus Ihren anforderungsbasierten Testaktivitäten, um den Teststatus zu verfolgen. Mit der automatischen Modellrefaktorisierung können Sie Modellklone ersetzen, die Komplexität des Designs reduzieren und wiederverwendbare Inhalte identifizieren. Das Werkzeug „Model Slicer“ isoliert problematisches Verhalten in Modellen und generiert vereinfachte Modelle für das Debugging.

Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.