The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and SecurityShow others and affiliations
2020 (English)In: 23rd Euromicro Conference on Digital System Design (DSD), 2020Conference paper, Published paper (Refereed)
Abstract [en]
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 timeconsuming 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.
Place, publisher, year, edition, pages
2020.
Keywords [en]
Automated systems, Safety, Security, Verification and Validation
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-47667OAI: oai:DiVA.org:ri-47667DiVA, id: diva2:1462532
Conference
23rd Euromicro Conference on Digital System Design (DSD)
Projects
VALU3S - Verification and Validation of Automated Systems' Safety and Security2020-08-312020-08-312023-06-05Bibliographically approved