Die formale Verifikation wird beispielsweise in der ISO-Norm 26262 für die funktionale Sicherheit von Straßenfahrzeugen empfohlen. Bestehende Model-in-the-Loop (MIL)-, Software-in-the-Loop (SIL)- oder Hardware-in-the-Loop (HIL)-Umgebungen werden durch die 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 das sofort erkannt und eine entsprechende Meldung für den Benutzer generiert. Durch die permanente Überwachung der Anforderungen nimmt die erzielbare Testtiefe 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 minimieren.



Einhaltung von Sicherheitsnormen

Mithilfe des BTC EmbeddedSpecifier können informelle Anforderungen, die typischerweise in Textform erstellt werden, in eine formale, maschinenlesbare Repräsentation überführt werden. Die werkzeuggestützte Anforderungsformulierung sorgt für eine erhöhte Qualität der Anforderungen und erleichtert das Einhalten von Sicherheitsnormen wie der ISO 26262.






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. So können sicherheitskritische Anwendungen mit nur begrenztem Mehraufwand zuverlässig abgesichert werden.



Integration und plattformübergreifender Einsatz

Durch eine Integration in die dSPACE Werkzeugkette für HIL-Tests und die virtuelle Absicherung ist das Arbeiten in der gewohnten Umgebung sichergestellt. Es stehen vorbereitete Templates für die Testautomatisierungssoftware AutomationDesk und Layouts für die Experimentiersoftware ControlDesk zur Verfügung.


Die erzeugten Observer können frühzeitig zur Absicherung im Rahmen der virtuellen Validierung auf der PC-basierten Simulationsplattform VEOS eingesetzt werden. Zudem können sie ohne Änderungen in dSPACE HIL-Systemen wiederverwendet werden, die auf SCALEXIO-Technologie oder dem DS1006 Processor Board basieren.