Verbundprojekt: Verifizierung und Validierung von Elektroniksystemen mit hohen Sicherheitsanforderungen - VALU3S -; Teilvorhaben: Entwicklung automatisierter Methoden zur Verifikation und Validierung von Automobilsensorsystemen und ICs

Das wesentliche Projektziel des F+E Vorhabens VALU3S besteht darin Verifizierung und Validierung von automatisierten Systemen in unterschiedlichen Bereichen anhand gemeinsamer Anforderungen wie Sicherheit, Schutz und Privatsphäre zu untersuchen. Dabei werden bisherige Methoden und Konzepte untersucht, weiterentwickelt und/oder neu definiert. Es wird eine experimentelle Verifikation und Validierung von automatisierten Systemen unter Verwendung eines mehrschichtigen Test-Frameworks definiert, entwickelt und durchgeführt. Das Framework hat einen deutlichen Fokus auf Fehler- und Angriffsinjektion, aber es gibt auch ein Interesse an anderen Methoden wie u.A. die formale Verifikation, Laufzeitsimulation und Überwachung. Am Ende werden die gewonnenen Ergebnisse in Tools und Demonstratoren überführt um Zeit- und Kostenersparnisse im Verifikations- und Validierungsprozess für automatisierte Systeme zu erreichen. NXP beschäftigt sich in seinem Teilvorhaben mit der Untersuchung von Verifikation und Validierung von Radar Automobilsensorsystemen und ICs . Dafür werden Anwendungsfälle, Musterprozesse und Anforderungen für Radar-Systeme im Automobil definiert und darauf aufbauend neue Herangehensweisen für die Verifikation und Validierung dieser automatisierten Systeme entwickelt. Die erzielten Ergebnisse werden schlussendlich im Rahmen des VALU3S Projektes analysiert und in die Entwicklung künftiger Generationen von Radar Systemen und ICs bei NXP einfließen.