New VALU3S project tackles Verification & Validation on automated systems

Verification & Validation (V&V) remains as a major challenge in the development of safety-critical systems. Current V&V technology is known to be time consuming, costly, and mostly focused on the functionality aspects of systems. However, with the raising complexity associated with systems becoming more automated, open, and connected, other key properties such as security and privacy must be taken into account in the V&V methods.
The goal of VALU3S project is to design, implement, and evaluate state-of-the-art methods and tools that reduce the time and cost needed to perform V&V on automated systems with respect to Safety and Security requirements. For that, the project will design and implement a multi-dimensional, multi-layered framework where test cases and scenarios arising from 13 use cases, from 6 different application domains, are evaluated by state-of-the-art methods and tools developed/improved in the project, while adhering to relevant standards.

CISTER/ISEP is a key partner in VALU3S, bringing know-how and experience in formal verification and artificial intelligence into several technical tasks and use cases, and is also the responsible for the leadership of the Dissemination, Communication and Exploitation work package, and leader of the General Dissemination task, both of which are key components of the project for ensuring that the results of the project reach the more relevant stakeholders (including industry working in automated systems, policy makers, and the general public).
More information in the VALU3S website, its Twitter, LinkedIn, and YouTube social accounts. If you want to be updated about progress in the project, please subscribe to the project’s newsletter.
This project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852.