Publication

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present an ECSEL JU project (VALU3S) that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.

Author(s)
R. Barbosa; S. Basagiannis; G. Giantamidis; H. Becker; E. Ferrari; J. Jahic; A. Kanak; M. Labayen Esnaola; V. Orani; D. Pereira; L. Pomante; R. Schlick; A. Smrčka; A. Yazici; P. Folkesson; B. Sangchoolie
Research area
Systems for accident prevention and AD
Publication type
Conference paper
Published in
2020 23rd Euromicro Conference on Digital System Design (DSD)
Project
Year of publication
2020