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 News
VALU3S Use Case Interview: Autonomous Train Operation.
VALU3S Use Case Interview: V&V of driver monitoring system to guarantee its safety and performance
VALU3S Use Case Interview: Collaboration in a NMT Infusion Controller for regulation of NeuroMuscular Transmission Vital Sign in Operating Room.
VALU3S Use Case Interview: Industrial Drives for Motion Control
VALU3S Use Case Interview: Intelligent Traffic Surveillance
Recent blog posts
Using Simulator for testing autonomous drive
Virtual Stress-Testing a Digital Twin of a Motor Control Platform using Dynamic Fault-injection
Knowledge-centric systems engineering with the Systems Engineering Suite
Applying a “Machine Learning Pipeline” to detect unknown faults and failures in a Human Robot Interaction assembly process
ISO12100 Standard: how Risk Analysis contributes to design of safe machinery