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 number is expected to rise due to fact that robots become indispensable elements of smart production with the fourth...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 of many contemporary application domains, including transportation, military, health care, and robotics [1]. A...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 session that took place online on the 22nd of March 2021. Watch it here.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 training session that took place online on the 22nd of March 2021. Watch it here.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, in the scope of the second part of VALU3S 1st training session that took place online on the 22nd of March 2021. Watch it...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 1st training session that took place online on the 25th of March 2021. Watch it here.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 April 2023 with a consortium composed by more than 40 partners coming from 10 different European countries. Nowadays,...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 1st training session that took place online on the 25th of March 2021. Watch it here....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 discussed during the next remote Consortium Meeting on 18th-19th May. There will also be occasion, for sure, to further...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 training session that took place online on the 25th of March 2021. Watch it here.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 scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021.. Watch it here:...Recent News
New Publications available
Verification and validation methods for industrial robots
Cyber-Physical Systems – Addressing Safety and Security Aspects in the Presence of Runtime Monitors
Watch the VALU3S training session series, part eight: Model Based Failure Logic Analysis
Watch the VALU3S training session series, part seven: Model-implemented fault and attack injection
Recent blog posts
- Verification and validation methods for industrial robots
- Cyber-Physical Systems – Addressing Safety and Security Aspects in the Presence of Runtime Monitors
Security of Automated systems – exploiting risk assessment as countermeasure against cyber-threats
Collaborative robotics – A way to ease recycling and enhance labour market inclusion
Lower costs for verification and validation of automated systems and a safer everyday life for the end user