Skip to main content

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

Periodic Reporting for period 3 - ENABLE-S3 (European Initiative to Enable Validation for Highly Automated Safe and Secure Systems)

Période du rapport: 2018-06-01 au 2019-05-31

Automated cyber-physical systems (ACPS) are disruptive technologies that have the potential to change society with all benefits and risks. By handing over a part of our responsibilities to a machine, ACPS promise to improve safety, provide accessibility to all sectors of society (e.g. the elderly, rural areas) and improve productivity by freeing humans from routine tasks. At the same time, these technologies represent a major market potential for European companies. Their impact on our daily life and on the industry will be inevitable. ENABLE-S3 adds important missing verification and validation technology bricks, which are required to ensure the dependability (safety and security) of ACPS at affordable costs and will set the basis for future standards in this field. As a result, the outcomes of ENABLE-S3 facilitate the market introduction of automated systems in Europe.

ENABLE-S3 aimed at substituting today’s cost-intensive validation and verification efforts by virtual and semi-virtual testing and verification, coverage-oriented test selection methods and standardization. It was the goal of this project to pave the way for efficient development of highly automated systems. ENABLE-S3 established cost-efficient cross-domain virtual and semi-virtual V&V platforms and methods for Automated Cyber-physical Systems (ACPS). In the course of three project years, advanced functional, safety and security test methods were developed in order to significantly reduce the verification and validation time and to preserve the validity of the tests for the requested high operation range.

This project’s objectives were to keep the effort and costs for testing at a reasonable level. This has been achieved by providing a comprehensive modular verification and validation framework. This framework covers the validation methodology (i.e. methods to reduce the required test effort) and the validation platform to conduct these tests efficiently. The framework consists of validation and verification bricks, which were developed and demonstrated across six industrial domains (Automotive, Aerospace, Rail, Maritime, Health, Farming), fostering cross-domain reuse and knowledge exchange.
In the first year, the overall objectives of ENABLE-S3 were the specification of the use cases as well as the derivation of requirements for a more efficient testing of ACPS (WP1) and the specification of the planned demonstrators (WP4). Based on that, the requirements and specifications of the required technology bricks have been defined (WP3).
As a first step, core requirements relevant across all domains were specified and consolidated. In a second step, these core requirements were refined in technical requirements, which were assigned to a dedicated work package.
In order to facilitate the coordination of a project of this size, a technical management process was established based on the experiences and lessons learned from previous projects. A central part of this process was the generic test architecture, which was developed within the project and describes the core building blocks of a test system together with the respective interfaces. The architecture was presented at relevant conferences and has gained interest by various external companies.

In second year, the focus was put on the development of technology bricks. Based on the feedback of the first iteration, new requirements and technology bricks were refined and then integrated in the demonstrators and evaluated. Additionally, input to standardization and interface specification working groups was provided. Moreover, the experience exchange among use cases and domains was well established, discussing topics such as scenario descriptions, sensor model architectures, etc.

In the third and final year, the demonstrators’ development was completed by additional and extended technology bricks based on phase 2 results. Improvements of tools, technology bricks and methods were done according to the feedback of the second demonstrator iteration phase. This updated bricks were integrated into the final set of demonstrators in the project’s use cases. Every use case defined one or more application steps, describing the combined use of the technology bricks in the demonstrators to achieve the use case’s goal. The application steps are described in the booklet “Demonstrator Overview – Final Results”, available for download on the project homepage:

Also available on the project’s homepage is the document “The Summary of Results”, summarizing the project work and key findings, defining and demonstrating a practical, cost-efficient way to verify and validate highly automated systems.
In the course of the ENABLE-S3 project, a reference validation architecture was developed to validate highly automated cyber-physical systems. More than 40 demonstrators of the six use cases used the reference architecture as well as the technology bricks for scenario-based validation, validating highly automated systems in six different domains in a cost and effort efficient manner.

Specific focus was on creating public interface specifications, most of them were taken over by standardization organisations (ASAM, MODELLICA). Coverage oriented validation was introduced in the automotive technology bricks from TNO and AVL and successfully demonstrated.

The automotive, health, maritime, rail, farming and aerospace use cases demonstrated the virtual and semi-virtual test approaches designed to decrease the validation time significantly. The metrics used through the project comparing the status prior project start and at the end provide an overview of the achievements of the project goals.
ENABLE-S3 Final Event - Domain Presentations
ENABLE-S3 Final Event - Panel Discussion
ENABLE-S3 Final Event - Exhibition
ENABLE-S3 Final Event - Review