Validierung und Verifikation automatisierter Systeme durch modellbasierten Hybrid-Ansatz auf Basis von Physics-of-Failure-Simulationen und statistischen Methoden; Verbundprojekt: Verifizierung und Validierung von Elektroniksystemen mit hohen Sicherheitsanforderungen

Ziel von VALU3S war es, hochmoderne V&V-Methoden und -Tools zu entwerfen, zu implementieren und zu evaluieren, die den Zeit- und Kostenaufwand für die Verifizierung und Validierung automatisierter Systeme in Bezug auf die Kriterien Sicherheits-, Cybersicherheits- und Datenschutzanforderungen (SCP) verringern. Eine Teilaufgabenstellungen im Projekt VALU3S war es, eine Gap-Analyse der Validierungs- und Verifikationsmethoden (V&V) für automatisierte Systeme durchzuführen um daran anknüpfend Möglichkeiten zu evaluieren, Lücken zwischen bestehenden Insellösungen zu schließen. Zusätzlich sollte die Machbarkeit zur Einbeziehung von Umweltbedingungen in funktionale Simulationen gezeigt und sog. Hybridmodelle entwickelt werden. Schließlich sollte die Integration der Universal Verification Methodology (UVM) und SystemC automatisiert werden, um eine einfache Kompatibilität über diverse V&V Methoden herzustellen.