The main objective of ENABLE-S3 is to establish cost-efficient cross-domain virtual and semi-virtual V&V platforms and methods for highly automated and autonomous cyber-physical systems (ACPS). Advanced functional, safety and security test methods will be developed in order to significantly reduce the verification and validation time but preserve the validity of the tests for the requested high operation range. ENABLE-S3 aspires to substitute today’s physical validation and verification efforts by virtual testing and verification, coverage-oriented test-selection-methods and standardization. ENABLE-S3 follows a use-case driven approach with several industrially relevant applications and scenarios for ACPS from 6 different industrial domains (Automotive, Aerospace, Rail, Maritime, Health, Farming). Each of the models, methods and tools integrated into the validation platform will be applied to at least one use case (under the guidance of the V&V methodology), where they will be validated (TRL 5) and their usability demonstrated (TRL6). Representative use cases and according applications provide the base for the requirements of methods and tools, as well as for the evaluation of automated systems and respective safety.
The research questions OFFIS is investigating within ENABLE-S3 are in the field of V&V methods, distributed co-simulation, and model-based analysis of dependability, safety and security for ACPS in the automotive as well as maritime domain. We expect progress in the area of integrated modelling and simulation to estimate whether the system under test (SUT) fulfils safety and security goals. Another goal is the development of stochastic abstraction techniques for modelling complex ACPS. Using such stochastic models will allow us to automatically generate test-cases and estimate the coverage of these test-cases compared to the real world. Together with partners from the aerospace domain, OFFIS will develop security concepts for ACPS with focus on locality based architectures. Furthermore OFFIS will continue to enhance methods developed in MBAT (analysis and test patterns), CRYSTAL and CESAR. The primary task in that context is the adaptation to testing of ACPS.
Werner Damm, Eike Möhlmann, and Astrid Rakow ; Validation and Verification of Automated Systems; 12 / 2019
Werner Damm, Eike Möhlmann, and Astrid Rakow; Validation and Verification of Automated Systems; 12 / 2019
Hasan Esen, Maximilian Kneissl, Adam Molin, Sebastian vom Dorff, Bert Böddeker, Eike Möhlmann, Udo Brockmeyer, Tino Teige, Gustavo Garcia Padilla, and Sytze Kalisvaart; 12 / 2019
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; 0Janurary / 2018
Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017
Combined Model-based Analysis and Testing of Embedded Systems
Model-based Cooperative and Adaptive Ship-based Context Aware Design
Cooperative dynamic formation of platoons for safe and energy-optimized goods transportation
Interdisciplinary Research Center on Critical Systems Engineering for Socio-Technical Systems
Maritime Traffic Alert and Collision Avoidance System
Cypher Physical Systems Engineering Labs