VALU3S partner INFOTIV Qualified for final phase in AI test challenge
We are happy to report a brilliant goal achieved by INFOTIV, one of the partners of VALU3S consortium. In fact, in the article “INFOTIV QUALIFIED FOR FINAL PHASE IN AI TEST CHALLENGE” we can read that INFOTIV research group was recently part of a Swedish team for the...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 interesting documentation. Stay tuned and follow the project progress. Read them all here.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 tuned and follow the project progress. Read them all here.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....
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