Verification and Validation of Automated Systems’ Safety and Security
13702 VALU3S green white crop
Web version > | Go to our homepage >
Subscribe to the VALU3S Newsletter >>
23782 AdobeStock 334601951 72dpi
With every beginning, there comes an end!
By the time you receive this newsletter, only about a month is left of the project period. The consortium spent three years conducting research on verification and validation of systems with respect to safety and security, while advancing the state-of-the-art on many fronts. The activities performed in the 3rd year of the project are planned to be evaluated in a review meeting on 28-29 of June.

The final month of the project is filled with exciting events focusing on dissemination of the project results obtained. These events are the VERDI workshop as well as the Final Demo session that are both organized in conjunction with the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. A summer school is also planned to be organized in July focusing on verification and validation of dependable cyber-physical systems. In this newsletter, you can find additional details about each of these events. We hope that you have the possibility to join us in one or many of these events so that we can tell you all about our journey and some of the key results obtained.

Thank you for subscribing to VALU3S newsletter and for following the progress of the project. With every beginning, there comes an end, however, hopefully, there will also be a new beginning to this end!

Behrooz Sangchoolie
Researcher in the Department of Electrification and Reliability at RISE Research Institutes of Sweden
Blog articles
23781 3 1x1
New Blog article: 
Using Simulator for testing autonomous drive

The remarkable progress in autonomous driving technology has revolutionized the automotive industry, bringing us closer to a future of fully autonomous vehicles. However, before these technologies can reach the road, they must undergo extensive testing and validation.

One cost-effective, safe, and efficient way to test these machine learning-based modules is through the use of simulators. Simulators can specifically be used to quickly evaluate a machine learning model before trying it in the real world. Verification involves testing the system against ODD requirements and criteria, such as the system’s ability to correctly and quickly detect and react to other vehicles, pedestrians, and obstacles in the environment, while validation involves acceptance and usability tests against real-world scenarios to ensure that it meets the needs of customers (drivers) and end-users (drivers and pedestrians).

Read full blog articel >
15814 pub2 1x1
New publications from Values
Read all publications >
Promotion and communication
23783 VALU3S Use Case Interview  Intelligent Traffic Surveillance 1x1
VALU3S Use Case Interview: Intelligent Traffic Surveillance
Watch the video-interview of the VALU3S use case about Intelligent Traffic Surveillance. In this video, Lukas Marsik from CAMEA explains the Intelligent Traffic Surveillance use case implemented within the framework of VALU3S project. This use case deals with the improvement of the testing and verification of the reliability and cybersecurity of smart and mostly wireless sensors (cameras, radars, etc.) used in intelligent traffic surveillance through new V&V methods and tools. It is enabled by traffic monitoring systems similar to the CAMEA’s Unicam platform (used e.g., for Spot Speed Enforcement, Section Speed Enforcement, Travel Time, Red Light Enforcement, or Weigh-in-Motion system).

Watch movie >
22720 verdi 1x1
VERDI Workshop
1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems 27 June 2023, Porto, Portugal.

The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on safety and security) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.

The program of the workshop is now finalized and could be found here:

Workshop program >
22723 porto2 1x1
Final Demonstration Session! 
Join us for the VALU3S Final Demonstration event, where we will showcase our project's results to streamline the verification and validation (V&V) of automated systems.

In this session, we will present the fruits of our research, demonstrating how our developed and enhanced V&V methods and tools can significantly decrease time and cost expenditure of V&V processes. This occasion presents a valuable opportunity for academic and professional discourse, advancing our collective understanding of enhancing efficiency in automated system validation. 21 demonstrators are planned to be showcased.

The demonstration session is organized as part of the program of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN203):

Read more >
23785 pitch sessions 1x1
Pitching of VALU3S Demonstrators
The VALU3S consortium has prepared 2-minute pitches of the final set of demonstrators that are planned to be showcased at the project’s Final Demonstration Session in Porto. The videos of these pitches could be found here:

Watch pitch movies >
22721 sommarskola 1x1
VALU3S is organizing a summer school!
The VALU3S project is proud to organize a summer school with the focus on the results produced during the project. 

The VALU3S project is proud to organize a summer school with the focus on the results produced during the project. The theme of the school is Verification and Validation of Dependable Cyber-Physical Systems, and the tentative schedule of the summer school is as follows:

23915 schema
The summer school is planned to take place in Genova, Italy on 18th-20th July 2023 with the support of the partners within the Italian cluster. The estimated cost for registration (per participant) is around 180€. If you are a student (bachelor, master, or Ph.D.) or an early-stage researcher/engineer with an interest in expanding your knowledge around verification and validation, we recommend you to join us!

Preliminary list of lecturers at the summer school:
  • Joseba Agirre, Mondragon University
  • Raul Barbosa, University of Coimbra
  • Thomas Bauer, Fraunhofer IESE
  • Sina Borrami, Alstom
  • Frederico Cerveira, University of Coimbra
  • Bohumil Hruška, Lieberlieber Software
  • Pierre Kleberger, RISE Research Institutes of Sweden
  • Jonas Melchert, Alstom
  • Rosemary Monahan, Maynooth University
  • David Pereira, Instituto Superior de Engenharia do Porto (ISEP)
  • José Proença, Instituto Superior de Engenharia do Porto (ISEP)
  • Behrooz Sangchoolie, RISE Research Institutes of Sweden
  • Christoph Schmittner, AIT Austrian Institute of Technology
  • Stefano Tonetta, Fondazione Bruno Kessler (FBK)
ecsel EU
6525 1x1
12301 rise logo pos
732 in 731 twitter 730 youtube