Projekt Beschreibung
Im europäischen Forschungsprojekt VALU3S wurden Methoden, Werkzeuge und ein domänenübergreifendes Framework für die Verifikation und Validierung automatisierter Systeme entwickelt und bewertet. Berücksichtigt wurden funktionale Sicherheit, Cybersicherheit und Datenschutz. Ziel war es, den Zeit- und Kostenaufwand entsprechender Prüf- und Validierungsprozesse zu reduzieren.
Das Fraunhofer IESE arbeitete insbesondere an Lösungen zur frühzeitigen virtuellen Validierung von Systemeigenschaften. Dafür wurde das institutseigene Simulations- und Validierungswerkzeug FERAL erweitert und in einer industriellen Fallstudie aus der Automatisierungstechnik erprobt.