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 >>
22633 AdobeStock 194313331 small
It is dissemination time!
The VALU3S consortium is happy to announce the organization of several public events disseminating the project results. Scroll down to the event section of this newsletter and get yourselves familiar with these events. We hope to see you at the events!”
Blog articles
22634 Bild1 1x1
New Blog article: 
Knowledge-centric systems engineering with the Systems Engineering Suite

Among the existing general systems engineering approaches, there exists a growing interest in industry towards the so-called Knowledge Centric Systems Engineering (KCSE). It can be regarded as a specialisation of model-based systems engineering based on the idea that all systems engineering processes are affected by the existence of a knowledge base about a system and its lifecycle. The base relates to all the systems engineering processes and enables improvements in the quality of their outputs, traceability of the artefacts, and system reuse. In essence, the activities of any systems engineering process can take advantage of a knowledge base, including V&V activities.

Read full blog articel >
22635 Bild1 1x1
New Blog article: 
Virtual Stress-Testing a Digital Twin of a Motor Control Platform using Dynamic Fault-injection

The use-case presented here is a system redesign of a Motor Control Platform where an existing microcontroller (MCU) is to be replaced by a new RISC-V core. Replacing a core component of an industrial embedded systems usually requires huge efforts regarding verification and validation of the new setup. Especially replacing the MCU normally entails significant changes to the hardware/software interface design and the verification process, possibly including the purchase of expensive design IP and verification IP for the specific component. To achieve a shift-left of the system verification, a Virtual Prototype of the system is created to detect possible issues as early as possible during this redesign process long before the real hardware is available. In this way, an early feasibility study can be started independent from the hardware redesign process. Moreover, it helps to analyze and elaborate details of the system requirements, supports the creation of the firmware, and helps to build test scenarios for the final hardware/software components. In this article we will show how to build a Digital Twin of the new system and how to apply dynamic fault-injection for stress-testing the new platform. The effect of various safety-features and redundancy configurations can thus be evaluated and taken into consideration for the full system design.

Read full blog articel >
15815 pub3 1x1
New publications from VALU3S
Read all publications >
Promotion and communication
22636 klipp presentation 1x1
Video recording: VALU3S Information meeting and announcement of open repository
On November 30 2022 the VALU3S project hosted an online information meeting. First a project introduction was given by Behrooz Sangolie from RISE, the coordinator of VALU3S. After this Joseba A. Agirre Bastegieta, professor/researcher at the Department of Electronics and Computer Science at Mondragon University, guided us through the new repository hosting the elements of V&V processes.
Watch recording>
22637 UC video 1x1
VALU3S Use Case interview - Automated Robot Inspection Cell for Quality Control in Automotive
In this video, Bernd Bredehorst (PUMACY) explains us the Human-Robot-Interaction in semi-automatic assembly process use-case within VALU3S project. This use-case is  based  on  a  Human-Robot-Interaction (HRI) process  taking  place  on  the  shop  floor  of  a manufacturing-like environment. The process itself involves the execution of assembly tasks by human workers focusing on  the assembly of transformer units which  consist  of  multiple  parts.  HRI systems have to manage the coordination between  humans  and  robots  according  to  the  safety requirements  for collaborative  industrial robot  systems defined by several standards (e.g. ISO  10218-2:2011). VALU3S tool ensures that verification and validation of safety requirements is performed through the simulation of the use-case.

Watch movie >
22638 Inigo 1x1
VALU3S Use Case interview
 - Human-Robot Collaboration in a Disassembly Process with Disabled Workers
End-of-life (EOL) products are continually being discarded, causing several environmental issues. Responsible treatment of EOL products can include reusing, recycling or remanufacturing products or parts. These processes can be both environmentally and economically beneficial. Waste is minimised, while valuable components and materials are recovered. Product disassembly is one of the main steps in EOL treatment processes and involves the extraction and segregation of the desired components, parts or materials from the product, and is usually carried out on disassembly lines in specialised plants.

Watch movie >
22787 UC video 1x1
VALU3S Use Case interview
 - Agriculture Robot
In this video, Emanuele Mingozzi from ESTE is explaining needs and challenges of the Agriculture Robot use case. In details, the Agriculture Robot use case aims to verify by testing, safety analysis and simulation both the manual and the autonomous guidance phases of work of the multi-tool robot. Then, the other target for this use case are to finalize the development, verify and validate the parallel autonomous guidance. In fact, this agriculture vehicle was traditionally drive through remote control unit, while now it has been endowed with position and radar sensors to enable operators to switch from tele-operated to autonomous guidance. In this regard, VALU3S project has supported the improvement of this system through risk analysis, model-based safety analysis, machine learning for data validation, fault detection and penetration testing tools and methodologies.

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.

Read more >
22723 porto2 1x1
Final Demonstration Session! 
The VALU3S consortium is happy to showcase part of the results produced during the project in a demonstration session that is planned to be held on June 29 in Porto, Portugal.

The demonstration session is organized as part of the program of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN203). More information about this event will be announced on the project website as well as on the website of DSN2023.

Read more >
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 theme of the school is Verification and Validation of Dependable Cyber-Physical Systems, and the following topics are planned to be covered, each in 1-to-3-hour modules:
  • Testing (e.g., injection-based verification and validation)
  • Simulation
  • Formal Verification (e.g., requirements formalization, Model checking, semi-formal analysis, including Risk assessment and hazard analysis)
  • Verification and validation modelling language (VVML)
  • VALU3S web-based repository (
  • Standards and standardisation initiatives
  • VALU3S demonstrations
In addition to the above topics, the participants will have the opportunity to present and disseminate their research in poster sessions.

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!

Register here >
ecsel EU
6525 1x1
12301 rise logo pos
732 in 731 twitter 730 youtube