ECSEL 2019 RIA VALUE3S
| Reference number | |
| Coordinator | RISE Research Institutes of Sweden AB - Division Säkerhet och transport, Borås |
| Funding from Vinnova | SEK 26 841 925 |
| Project duration | May 2020 - July 2023 |
| Status | Completed |
| Venture | ECSEL |
Important results from the project
Project goals: Develop a framework for verification and validation (V&V). Overcome the safety, cybersecurity and privacy (SCP) limitations of cyber-physical systems. Present a generic V&V workflow. Demonstrate the usefulness of the proposed framework by realistic pilots. Suggest and validate state-of-the-art evaluation scenarios for SCP evaluation. Develop and improve V&V tools and evaluation criteria. Identify the weaknesses of relevant safety and security standards. Disseminate the project results aiming to advocating for the importance of conducting V&V.
Expected long term effects
Project results: - Delivery of 80 deliverables. - Detailing of all 13 project use cases. - Creation of a framework for V&V of automated systems as well as implementing and populating a web-based repository for storing the elements of the framework. - Design of a dedicated description language for V&V workflows (VVML). - Designing, implementing, and improving of 44 V&V tools and 48 V&V methods. - Qualitative and quantitative evaluation and demonstration of 21 demonstrators in a public event. - Publication of over 90 scientific articles (journal, conference, workshop articles).
Approach and implementation
In VALU3S, 41 project partners from 10 different European countries collaborated under the coordination of RISE. The collaboration resulted in design, implementation and evaluation of state-of-the-art methods and tools that reduce the time and cost needed to verify and validate automated systems with respect to Safety and Security requirements. Swedish partners contributed to six out of the 13 project use cases through fault injection, simulation, safety-element out-of-context design, V&V of machine learning based systems, threat modelling and penetration testing, etc.