Search Use Cases

Use Case Domain
VALU3S V&V Methods
Use case ID Domain Evaluation Scenarios Used Methods Provider
UC11 - Automated Robot Inspection Cell for Quality Control of Automotive Body-in-White Industrial Robotics Manipulation of Sensor Data, Server and PLC Communication, Safety Trajectory Optimization, Anomaly Detection at Component and System Level, Server Ethernet Network Security Simulation-Based Verification, Penetration Testing, Model-Based Formal Specification and Verification of Robotic Systems, Vulnerability Analysis of Cryptographic Modules Against Hardware-Based Attacks Otokar Automotive and Defence Industry Inc.
UC5 - Aircraft Engine Controller Aerospace Robust and safe operation under sensor faults, Robust operation under system parameter perturbation, Robust operation under low probability hazardous events, Robust fault detection, isolation and recovery Model-Implemented Attack Injection, Model-Implemented Fault Injection, Simulation-Based Verification, Virtual Architecture Development and Simulated Evaluation of Software Concepts, Software Component Testing, Runtime Verification Based on Formal Specification, Deductive Verification, Formal Requirements Validation, Model Checking, Theorem Proving and SMT Solving, Model-Based Design Verification, Interface fault injection Collins Aerospace (former UTRC)
UC3 - Radar System for ADAS Automotive VALU3S_WP1_Automotive_8, VALU3S_WP1_Automotive_9, VALU3S_WP1_ Automotive_10, VALU3S_WP1_ Automotive_11, VALU3S_WP1_ Automotive_12, VALU3S_WP1_ Automotive_13 Knowledge-Centric Traceability Management, Tailored Model-Based Assurance and Certification, Model-Based Assurance and Certification NXP
UC6 - Agriculture robot (lawn mower) Agriculture Vehicle Switching from parallel guidance to manual mode, Vehicle switching from manual mode to parallel guidance, Transmission line disturbances, Disturbances of IMU communication Model-based fault injection for safety analysis, Software Component Testing, Human interaction safety analysis (HISA), Model-Based Safety Analysis, Risk Analysis, Wireless interface network security assessment, Code Design and Coding Standard Compliance Checking, Traceability Management for Safety Software, Assessment of cybersecurity-informed safety, Intrusion Detection for WSN based on WPM State Estimation, Kalman Filter-Based Fault Detector E.S.T.E. S.r.l.
UC9 - Autonomous train operations Railway Safety violations on signal (light) detection., Safety violations on speed restriction signs detection, Computer vision system's operating limitations identification Simulation-Based V&V of Computer Vision System CAF
UC14 - CardioWheel Multi-domain Security and integrity of transmission model, Verification of embedded real-time properties, Driver state recognition accuracy under uncertainty, Driver state recognition reliability under uncooperative environments, Verification of Biometric models’ security Vulnerability and Attack Injection, Scenario Generation and Verification of Real-Time Systems CardioID Technologies Lda.