ENABLE-S3 European Initiative to Enable Validation for Highly Automated Safe and Secure Systems


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.


The consortium has 71 partners from 16 countries of the European Union. The full partners list is available here: http://www.enable-s3.eu/about-project/consortium/


  • Model based safety & security analysis (MBSSA)
  • Statistical model checking for simulation based verification
  • Coverage metrics of test-cases with respect to safety & security requirements
  • Traffic sequence charts (TSC)
  • Standardization of co-simulation inter-operability (IOS)

External Leader

Andrea Leitner (AVL LIST GMBH)
Using Traffic Sequence Charts for the Development of HAVs

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

Statistical Model Checking for Scenario-based verification of ADAS

Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017

Traffic Sequence Charts - From Visualization to Semantics

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017



Start: 30.04.2016
End: 29.04.2019

Website of project

Founding Source


Related projects


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