Project Details

Verification and Validation of Automated Systems' Safety and Security

Project Period: 1. 5. 2020 – 30. 4. 2023

Project Type: grant

Code: 8A20009

Agency: Evropská unie

Program: Horizon 2020

Czech title
Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Type
grant
Keywords

Security; Automotive; Simulation tools and technologies; Industrial Automation and Robotics, mechatronics; Systems engineering, sensorics, actorics, automation; System of systems; Safety; Verification and validation; Testing; Automated systems

Abstract

Manufacturers of automated systems (such as automated driving systems) and the manufacturers of the components used in these automated systems have been allocating an enormous amount of time and effort in the past years developing and conducting research on automated systems. The main effort put on the development of these systems is placed on a key factor, "getting them to work". As the new functionality of these automated systems were shown in development prototypes, they now need to be introduced to the market. However, between a development prototype demonstrating new capabilities and a production version are significant differences with respect to safety and reliability. To be introduced to market it must be clear, that these new automated systems are safe and secure. To show this, these systems need to be verified and validated taking into account requirements such as safety, cybersecurity, and privacy. The focus of the VALU3S is on verification and validation of cyber-physical automated systems. For this, VALU3S will investigate methods, tools and concepts that suit the evaluation of automated systems. The project aims to create and evaluate a multi-domain verification and validation framework which facilitates evaluation of automated systems from component level to system level with the aim of reducing the time and effort needed to evaluate these systems. The framework is multi-dimensional and the initial dimensions of the framework include (i) the evaluation environment, (ii) type of evaluation, (iii) type of component under evaluation, and (iv) the logic of the component under evaluation. The framework is also layered as each dimension of the framework consists of multiple layers. For example, when it comes to the evaluation environment, the verification and validation process could be conducted in a (a) simulation environment, (b) a closed evaluation environment or (c) in an open environment which is also referred to as in-the-field.

Team members
Publications

2023

2022

2021

2020

Back to top