Publication Details
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
Sangchoolie Behrooz
Smrčka Aleš, Ing., Ph.D. (DITS)
BARBOSA, R.
ESNAOLA, M.
GIANTAMIDIS, G.
SCHLICK, R.
YAZICI, A.
verification, validation, automated systems, security, privacy
Manufacturers of automated systems and their components have been allocating an
enormous amount of time and effort in R&D activities, which led to the
availability of prototypes demonstrating new capabilities as well as the
introduction of such systems to the market within different domains.
Manufacturers need to make sure that the systems function in the intended way and
according to specifications. This is not a trivial task as system complexity
rises dramatically the more integrated and interconnected these systems become
with the addition of automated functionality and features to them. 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 VALU3S, an ECSEL
JU (joint undertaking) project 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. VALU3S will provide guidelines to the
V&V community including engineers and researchers on how the V&V of automated
systems could be improved considering the cost, time and effort of conducting V&V
processes. 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.
@article{BUT173264,
author="PEREIRA, D. and SANGCHOOLIE, B. and SMRČKA, A. and BARBOSA, R. and ESNAOLA, M. and GIANTAMIDIS, G. and SCHLICK, R. and YAZICI, A.",
title="The VALU3S ECSEL project: Verification and validation of automated systems safety and security",
journal="Microprocessors and Microsystems",
year="2021",
volume="87",
number="104349",
pages="1--18",
doi="10.1016/j.micpro.2021.104349",
issn="0141-9331",
url="https://doi.org/10.1016/j.micpro.2021.104349"
}