ATENA

SILVER ATENA
Sales-Team
+49 89 189600 - 3322
product@silver-atena.de


Lösung


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
& Nutzen

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


Eigenschaften

Qualifizierung nach DO-178B bzw. ISO 26262 optional erhältlich.


Model Checker

Zusammen-
fassung

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.


Anwendungs-
bereiche

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.


SILVER ATENA