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).
|
|
|
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).
|
|
|
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:
|
|
|
|
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):
|
|
|
|
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:
|
|
|
|
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:
|
|
|
|
|