News
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...
Watch the VALU3S training session series, part two: Runtime Verification Based on Formal Specifications.
Introductory video on “Runtime Verification Based on Formal Specifications” by Giann Nandi from Instituto Superior de Engenharia do Porto, in the...
Watch the VALU3S training session series, part one: Wireless Interface Network Security Assessment.
Introductory video on “Wireless Interface Network Security Assessment” by Fabio Patrone and colleagues from University of Genova, in the scope of...
Blog article: How Security of Automated systems is exploiting risk assessment as countermeasure against cyber-threats
Automation is the key factor that will be increasingly present in the factories of the future. This type of systems is used in a wide range of...