Formale Verifikation und Validierung der virtuellen Absicherung komplexer Fahrzeugsicherheitsfunktionen

Graphik mit der Darstellung von Testmethoden

Projektbeschreibung

Integrale Sicherheitsfunktionen leisten schon heute durch die Vernetzung aktiver und passiver Sicherheits- und Assistenzsysteme einen signifikanten Beitrag zum Schutz von Insassen und Verkehrsteilnehmern. Während der Entwicklung dieser komplexen, vernetzten Funktionen kommt besonders der Absicherung gegenüber Systemausfällen und ungewünschten Verhalten eine große Bedeutung zu. Fehlfunktionen, z.B. ein unbegründeter Bremseingriff bei hohen Geschwindigkeiten, können dramatische Auswirkungen haben und sind deswegen entwicklungsseitig angemessen zu berücksichtigen, insbesondere bei der Auswahl der Prüfplätze, der abzusichernden System- und Funktionsanforderungen und der zeitlichen Einplanung der Testläufe im Entwicklungsprozess. Andererseits erhöhen immer kürzere Entwicklungszyklen und steigende Funktionsumfänge den Zeitdruck auf allen Prüfplätzen. Ein Entwicklungszyklus beinhaltet das Modellieren eines Systems und das Spezifizieren seines Testmodells, sowie die Codegenerierung und dessen Validierung sowohl auf dem Entwicklungscomputer als auch auf dem Zielprozessor. Die wesentliche Anforderung an die Validierung ist, dass sie so realitätsnah wie möglich erfolgen muss, so dass das Systemverhalten in Interaktion mit den anderen Steuergeräten eines Fahrzeugs überprüft werden kann. Dazu wird ein HiL-Simulator eingesetzt, welcher die Steuergeräte sowie die Sensoren als auch die Aktuatoren eines Fahrzeuges emuliert, so dass die Absicherung in einer virtuellen Umgebung durchgeführt werden kann. Es soll ein Framework erstellt werden, welches die Absicherung von Sicherheitselektronik in virtuellen Umgebungen mit formalen Methoden verifizieren und validieren soll.

Projektdauer

    2014-08-01 – 2017-08-01

Projektleitung

Projektmitglieder

Mitwirkende Institutionen

Automotive Safety Technologies GmbH

Verwandte Publikationen