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.
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Modellbasierte Verifikation und Validierung
Laufzeit:
01.06.2016
- 31.05.2019
Förderkennzeichen: 16ESE0129K
Koordinator: OFFIS e.V.
Verbund:
Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen
Quelle:
Bundesministerium für Bildung und Forschung (BMBF)
Redaktion:
DLR Projektträger
Länder / Organisationen:
Österreich
Belgien
Tschechische Republik
Dänemark
Spanien
Finnland
Frankreich
Vereinigtes Königreich (Großbritannien)
Irland
Italien
Niederlande
Norwegen
Polen
Portugal
Themen:
Förderung
Information u. Kommunikation
Weitere Informationen
Weitere Teilprojekte des Verbundes
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Automatisiertes Linksabbiegen an Kreuzungen - Validierung durch Experimente
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Testplattform für automatisierte cyber-physische Systeme und Fahrerassistenzsysteme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Semi-Virtuelles Testen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Validierung verteilter Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Methoden für Verifikation und Validierung hardwarebasierter Sicherheitsmechanismen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: GPS Hardware in the Loop Simulation, Radar Stimulation
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Interoperabilität von Entwicklungswerkzeugen und Standardisierung
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Valet Parking Parkmanagement-System
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Sicherheitsarchitektur und Sensormodellierung für automatisiertes Valet-Parken
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Simulation und Absicherung automatisierter Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Systemsimulationsmodelle für das automatisierte Fahren
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Modelle und Werkzeuge zur Simulation automatisierter cyber-physischer Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Sichere Flugzeugkommunikation durch flexible Architektur der Kabinenkommunikation
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Validierungsmethodik auf Fahrzeugprüfständen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Verifikation von automatisierten Systemen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Formale Spezifikation und formales Testen - Vollständigkeit, Konsistenz und Korrektheit
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Architektur und Sicherheitsnachweis für automatisiertes Valet-Parken