Mehr Testtiefe bei sicherheitskritischen Anwendungen

Mehr Testtiefe bei sicherheitskritischen Anwendungen

Dspace und BTC Embedded Systems bieten ab sofort eine Lösung zur Echtzeitvalidierung von sicherheitskritischen Anwendungen, mit der sich die Testtiefe erhöhen lässt.

Bild: dSPACE GmbH

Bild: Dspace GmbH

Bestehende Model-in-the-Loop (MIL)-, Software-in-the-Loop (SIL)- oder Hardware-in-the-Loop (HIL)-Umgebungen werden durch die neue Lösung um sogenannte ‚Requirement Observer‘ ergänzt. Diese sind permanent aktiv und überwachen die Einhaltung jeder einzelnen Sicherheitsanforderung in Echtzeit. Werden Anforderungen nicht eingehalten, wird dies sofort erkannt und eine entsprechende Meldung für den Benutzer generiert. Durch die permanente Überwachung der Anforderungen nimmt die erzielbare Testtiefe deutlich zu, sodass in der gleichen Zeit mehr Testfälle pro Funktion abgedeckt werden können. Das Risiko unentdeckter Fehler durch Seiteneffekte lässt sich dadurch reduzieren. Mithilfe des BTC EmbeddedSpecifier können informelle Anforderungen, die typischerweise in Textform erstellt werden, komfortabel in eine formale, maschinenlesbare Repräsentation überführt werden. Die werkzeuggestützte Anforderungsformulierung sorgt zudem für eine erhöhte Qualität der Anforderungen und erleichtert damit das Einhalten von Sicherheitsnormen wie der ISO26262. In einem zweiten Schritt werden daraus mit einem Mausklick vollautomatisch die ausführbaren Observer für die Dspace-Echtzeitplattformen generiert. Dabei lassen sich die ursprünglichen Anforderungen jederzeit nachvollziehen.

Dspace GmbH

www.dspace.com/de

|
Ausgabe:
dSPACE GmbH
www.dspace.de

Das könnte Sie auch Interessieren