Navigation

Dr.-Ing. Ibrahim Alagöz

Weitere Informationen

2018

2017

2014

  • Formale Verifikation und Validierung der virtuellen Absicherung komplexer Fahrzeugsicherheitsfunktionen

    (Drittmittelfinanzierte Einzelförderung)

    Laufzeit: 2014-08-01 - 2017-08-01
    Mittelgeber: Industrie
    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.