Model Examiner

Automatisierte Richtlinienprüfungen und Modellreparatur für Simulink^®- und TargetLink-Modelle

• Automatisiertes Prüfen von Simulink- und TargetLink-Modellen auf Einhaltung der Richtlinien MISRA TargetLink, IEC 61508, DO-178B, dSPACE TargetLink und MAAB
• Automatisches Beheben von Regelverstößen
• Berichte aller erkannten und korrigierten Verstöße
• Leichte Integration in projektspezifische Umgebungen
• API zum Entwickeln und Integrieren neuer Modellprüfungen

Anwendungsbereiche
Mit dem Model Examiner von MES können TargetLink/Simulink-Anwender leicht prüfen, ob ihre Modelle richtig aufgebaut und zu aktuellen Standards kompatibel sind. Der Model Examiner prüft automatisch, ob TargetLink/Simulink/Stateflow^®-Modelle den Modellierungsrichtlinien entsprechen und stellt sicher, dass die Modelle sowohl etablierte Standards als auch kundenspezifische Anforderungen erfüllen. Die Übereinstimmung mit Modellierungsrichtlinien, einschließlich strikten Einhaltens eines zuverlässigen Sprachensubsets, ist essentiell – besonders da, wo sicherheitskritische Funktionen nach Standards wie IEC 61508 oder ISO 26262 entwickelt werden.

Vorteile
Mit seiner intuitiven Benutzeroberfläche prüft der Model Examiner Simulink- und TargetLink-Modelle in Bezug auf die Einhaltung von Standards, zeigt Problembereiche auf und bietet nach Möglichkeit Maßnahmen zur Korrektur an. Auch können Sie als Anwender selbst Prüfungen parametrieren. Im Vergleich zu manueller Modellanalyse und Überarbeitungen kann der Model Examiner bis zu 80% Zeitersparnis bieten. Das Tool stellt höhere Modellqualität und Konsistenz sicher. Der Model Examiner verfügt über mehr als 100 verschiedene Prüfungen, u.a. für die Übereinstimmung mit Richtlinien wie MISRA TargetLink, IEC 61508, DO-178B, dSPACE TargetLink und MAAB. Für TargetLink-Modelle können Datenflussanalysen durchgeführt werden. Der Model Examiner generiert detaillierte Berichte erkannter und behobener Verstöße. Projektspezifische Regelsätze können einfach zusammengestellt und auf die Modelle angewendet werden. Starten lässt sich die Modellanalyse entweder über die grafische Benutzeroberfläche des Model Examiners oder durch das Aufrufen von Skripten. Damit lässt sich der Model Examiner einfach in bestehende Werkzeugketten integrieren. Die Modellprüfungen im Model Examiner lassen sich durchgängig in den Simulink Model Advisor integrieren.
(MISRA is a registered trademark of MIRA Ltd, held on behalf of the MISRA Consortium. No endorsement by MISRA is claimed or implied for any product.)