Publication Details

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

BARBOSA Raul, BECKER Hauke, ESNAOLA Mikel L., FERRARI Enrico, FOLKESSON Peter, GIANTAMIDIS Georgios, KANAK Alper, PEREIRA David M., POMANTE Luigi, SANGCHOOLIE Behrooz, SCHLICK Rupert, SMRČKA Aleš and YAZICI Ahmed. The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In: 2020 23rd Euromicro Conference on Digital System Design (DSD 2020). Krajn: Institute of Electrical and Electronics Engineers, 2020, pp. 352-359. ISBN 978-1-7281-9535-3. Available from: https://ieeexplore.ieee.org/document/9217663
Czech title
Projekt ECSEL VALU3S: Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů
Type
conference paper
Language
english
Authors
Barbosa Raul (UC)
Becker Hauke (NXP-DE)
Esnaola Mikel L. (CAFS)
Ferrari Enrico (RULEX)
Folkesson Peter (RISE)
Giantamidis Georgios (UTRC)
Kanak Alper (ERARGE)
Pereira David M. (Instituto Superior de Engenharia)
Pomante Luigi (univaq)
Sangchoolie Behrooz, Ph.D. (RISE)
Schlick Rupert (AIT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Yazici Ahmed (ESOGU)
URL
Keywords

tools, safety, computer security, service robots, complexity theory

Abstract

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.

Published
2020
Pages
352-359
Proceedings
2020 23rd Euromicro Conference on Digital System Design (DSD 2020)
Conference
23rd Euromicro Conference on Digital System Design (DSD), Portorož, Slovenia, Grand Hotel Bernardin, SI
ISBN
978-1-7281-9535-3
Publisher
Institute of Electrical and Electronics Engineers
Place
Krajn, SI
DOI
UT WoS
000630443300053
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12308,
   author = "Raul Barbosa and Hauke Becker and L. Mikel Esnaola and Enrico Ferrari and Peter Folkesson and Georgios Giantamidis and Alper Kanak and M. David Pereira and Luigi Pomante and Behrooz Sangchoolie and Rupert Schlick and Ale\v{s} Smr\v{c}ka and Ahmed Yazici",
   title = "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security",
   pages = "352--359",
   booktitle = "2020 23rd Euromicro Conference on Digital System Design (DSD 2020)",
   year = 2020,
   location = "Krajn, SI",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-7281-9535-3",
   doi = "10.1109/DSD51259.2020.00064",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12308"
}
Back to top