Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Modellbasierte Verifikation und Validierung

OFFIS entwickelt in ENABLE-S3 modellbasierten Analysemethoden und –werkzeuge zum Nachweis der Zuverlässigkeit und Angriffssicherheit von hochautomatisierten und autonomen Cyber-Physikalischen Systemen (ACPS) sowie eine Co-Simulationsplattform für maritime Anwendungen. Hierzu werden stochastische Abstraktionstechniken zur Modellierung komplexer Systeme entwickelt und integrierte Analyse- und Simulationskonzepte zur Abschätzung der Sicherheit von ACPS entstehen. OFFIS ist Co-Lead des Use Cases "Shore Based Bridge/Navigation Centre incl. Secure Data Exchange" und wird wesentliche Beiträge zu den Use Cases "Valet Parking", "Intersection Crossing using Autonomous Vehicles" sowie "Touch and Go Assistant" beitragen. In SP1 unterstützt OFFIS die Use Case Leiter bei der Definition und Ausgestaltung der Systems under Test, in SP2 bei der Ableitung von Anforderung an die zu entwickelnde V&V Platform und in SP4 bei Konzeption und Aufbau von Demonstratoren. Der Schwerpunkt der geplanten Arbeiten liegt im Teilprojekt SP3. Es wird ein modellbasiertes Validierungsframework entwickelt, welches Aspekte der Zuverlässigkeit- und Angriffssicherheit integriert behandelt. Für probabilistische Systeme wird des Weiteren eine simulationsbasierte Evaluationsmethode entwickelt, welche die gewonnen Sicherheitsanalysen mit Konfidenzaussagen bezüglich der erreichten Abdeckung versehen kann. Weiterhin entwickelt OFFIS die verteilte Co-Simulationsplattform (HAGGIS) für maritime Anwendungen. OFFIS leitet das Teilprojekt SP5: "Dissemination and Exploitation, Standards, Reference Tool Environment, certification" und wird dort Erweiterungen der Interoperabilitätsspezifikation aus CESAR, MBAT und CRYSTAL um Konzepte zur Unterstützung von XiL Tests vornehmen (z.B. durch Integration von FMI). Außerdem koordiniert OFFIS den Technologietransfer vom Anwendungsgebiet Automotive nach Maritime.