News
New Deliverables available!
Today we want to give a little extra attention to our section “Deliverables” as we today has uploaded six new ones. We are constantly updating with...
New Publications available
Today we want to give a little extra attention to our section "Publications". We are constantly updating with new interesting documentation. Stay...
Verification and validation methods for industrial robots
The use of industrial robots in the industry reached to 2.7 million in 2020 according to the world robotics industrial robots report [1]. This...
Cyber-Physical Systems – Addressing Safety and Security Aspects in the Presence of Runtime Monitors
Cyber-Physical Systems (CPS) are systems with tight integration of computation, communication, and physical processes. These systems are the basis...
Watch the VALU3S training session series, part eight: Model Based Failure Logic Analysis
Presentation entitled “Model Based Failure Logic Analysis” by Silvia Mazzini from INTECS, in the scope of the second part of VALU3S 1st training...
Watch the VALU3S training session series, part seven: Model-implemented fault and attack injection
Presentation entitled “Model-implemented fault and attack injection” by Peter Folkesson from RISE, in the scope of the second part of VALU3S 1st...
Watch the VALU3S training session series, part six: Virtual Architecture Development and Simulated Evaluation of Software Concepts with FERAL
Presentation entitled “Virtual Architecture Development and Simulated Evaluation of Software Concepts with FERAL” by Thomas Bauer from FRAUNHOFER,...
Watch the VALU3S training session series, part five: Simulation-based fault and attack injection at system level
Introductory video on “Simulation-based fault and attack injection at system level” by Mateen Malik from RISE, in the scope of the first part of...
VALU3S video teaser is OUT!
VALU3S is a 3-years collaborative project funded by ECSEL JU under Horizon 2020 Work Programme. The project, started on May 2020, will last until...
Watch the VALU3S training session series, part four: Introduction to Model Checking
Video on “Introduction to Model Checking” by José Proença from Instituto Superior de Engenharia do Porto, in the scope of the first part of VALU3S...
VALU3S Consortium Meeting on 18th-19th May
The first year of VALU3S project has just finished. Progress status and intermediate results, as well as future challenges to be faced, will be...
Watch the VALU3S training session series, part three: Risk Analysis for Secure Automated Systems.
Introductory video on “Risk Analysis for Secure Automated Systems” by Davide Ottonello from STAM, in the scope of the first part of VALU3S 1st...