Model Checker

Der Model Checker überprüft die Konformität eines Simulink-Modells gegen einen Modellierungsstandard.

Silver Atena hat einen eigenen Modellierungsstandard definiert, der auf die hohen Anforderungen der Entwicklung sicherheitsrelevanter Anwendungen optimiert ist. Das Tool kann aber auch für  kundenspezifische Modellierstandards definiert und angepasst werden.
Der Model Checker analysiert das Simulink-Modell und produziert eine Liste mit detailierten Findings, die Stellen aufzeigt, an denen die Konformität nicht erfüllt ist.

Ergebnis

Konformität gegen den Modellierungsstandard ist nach DO-178B oder ISO 26262 gefordert und kann durch das Tool automatisiert überprüft werden.

  • Überprüfung der Konformität eines Simulink-Modells gegen einen Modellierungsstandard
  • Detaillierte Liste mit Findings (Stellen, an denen die Konformität nicht erfüllt ist)
  • Qualifizierung nach DO-178B bzw. ISO 26262 optional erhältlich

Der Model Checker findet überall dort Anwendung, wo aus Simulink-Modellen Code generiert wird. Einsatz findet das Tool insbesondere, wenn Entwicklungsstandards dies fordern, wie es zum Beispiel die DO-178B oder ISO 26262 vorsieht.

Dachauer Straße 655
80995 München
+49 89 189600 - 0
info@silver-atena.de

Wir bieten umfassende Lösungen als Entwicklungspartner und Lieferant für Prototypen und Kleinserien im Bereich sicherheitsrelevante Systeme und Leistungselektronik.