VALU3S Project
VALU3S Project
  • 99
  • 14 383
VALU3S Use Case Interview: Autonomous Train Operation.
The rail industry is moving towards full automation. This means that the development of a suitable environment perception systems capable of efficiently performing safety-related functions such as object detection is going to be necessary. Ensuring that these systems are robust enough to work under the different variations of the operational design domain is not an easy task, especially if you only rely on real data and their limitations when acquiring and labelling new samples.
In this video, Daniel Ochoa de Eribe, from CAF Signalling, explains how, within the boundaries of VALU3S, they managed to generate a representative dataset of synthetic images in a semi-automatic manner and evaluate their side sign and light signal detection system with it. In order to do that, they utilised a video game called Train Simulator, the labelling tool DarkLabel and two tools developed with their partner Ikerlan: DaGe4V and VaTRA.
Переглядів: 31

Відео

VALU3S Use Case Interview: V&V of driver monitoring system to guarantee its safety and performance
Переглядів 43Рік тому
In this video, André Lourenço, the CEO of CardioID, explains how the Validation and Verification framework developed within VALU3S is contributing to a more robust, performant and secure CardioWheel. The CardioWheel is an ADAS that collects the cardiac signal (ECG) from the drivers hands and uses it to both identify the driver (yes, your heart is a key), and detect drowsiness, which involves ve...
VALU3S UC - Collaboration in a NMT Infusion Controller for regulation of NeuroMuscular Transmission.
Переглядів 14Рік тому
This interview provides a short introduction to the NMT Infusion controller use case in the EU-funded project VALU3S. The main objective has been the development of a testbench platform for evaluation of a closed loop delivery system for relaxation drugs infusion under controlled conditions. The objective is to keep NMT vital signs within a predefined target band. One of the most important achi...
VALU3S Use Case Interview - Industrial Drives for Motion Control
Переглядів 26Рік тому
This interview provides a short introduction to the industrial drives for motion control use case in the EU-funded project VALU3S. Important challenges in this domain for verification and validation are briefly addressed. In collaborative effort with use case partners, approaches to tackle these challenges (digital twins, real-time analogue signal monitoring tool with fault explanation, and mod...
VALU3S Use Case Interview: Safe Function out-of-context
Переглядів 122Рік тому
In this video, Sina Borrami from ALSTOM discusses safety function out-of-context use case in the railway domain. The objective is to achieve the highest level of safety in the signaling sector of railway by utilizing a Commercial off-the-shelf (COTS) System-on-Chip designed for functional safety. Also, to expedite the certification process, in this use case, innovative Verification and Validati...
Remote controlled radar target simulation and validation
Переглядів 36Рік тому
The lead demonstrator of UC3 focuses on demonstrating a first approach to implementing such system testing in the V&V workflow. Especially the simulation of system components and real-world driving scenarios can play a vital role. Therefore, this demonstrator covers mainly the integration of the RSES (Radar System Environment Simulator) in the V&V workflow.
RAMSES tool for Risk Management of Agriculture Robot
Переглядів 41Рік тому
Using the RAMSES tool, the Risk Management Process of Agriculture robot considered in UC6 is undertaken. The Risk management process implemented within RAMSES follows prescriptions of ISO12100. The digital tool allows to create and assess risk scores of hazardous scenarios related to the operations of the agriculture robot. Furthermore, following ISO standards, safety measures can be added to m...
MSA-FLA with CHESS-FLA
Переглядів 48Рік тому
This video is a demonstration of applying the Model-based Safety Analysis with Failure Logical Analysis (MSA-FLA) method supported by the CHESS-FLA tool. Starting from the designed functional model of the systems, we will show how to enrich this model with the failure behaviour description of each system subcomponent, how to apply the Failure Logical Analysis, and to automatically compute the F...
Handling and gripping of product/parts
Переглядів 34Рік тому
The demonstrator is based on a Human-Robot-Interaction (HRI) process on the shop floor of a manufacturing-like environment. The process itself involves the execution of assembly tasks by human workers, focusing on the assembly of transformer units which consist of multiple parts. The demonstrator consists of the following two test cases that focus on the gripper of the robot without the involve...
Testing network communication using NetLoiter
Переглядів 48Рік тому
This video is a demonstration of a systematic way of injecting faults into network traffic using a newly developed tool NetLoiter. The tool is used for experiments in test cases related to checking if a system-under-test performs correctly under different network conditions. Faults (i.e. unexpected conditions of network traffic) include network latency, lossy channel, packet reordering, jitter,...
Pre-injection analysis for model-implemented fault- and attack injection
Переглядів 29Рік тому
Improvements obtained with pre-injection analysis for model-implemented fault- and attack injection are demonstrated. Pre-injection analysis is used for reducing the error space to improve the efficiency of the injections. Inject-on-read, inject-on-write and error space pruning of signals pre-injection analyses are applied on a Simulink model of the UC5 aero engine controller using the MODIFI t...
Arm Unity
Переглядів 27Рік тому
This demonstrator vonsists of software component testing using an open-source SW framework adapted during the VALU3S project to be executed directly on the target device instead of being executed on a PC. Arm Unity tool integrates the SW component testing framework and the semi-hosting feature of the serial wired debug interface to execute the tests on the target device and collect the test res...
Model based Design and Validation of the hybrid Model
Переглядів 25Рік тому
The demonstrator aims to obtain certified proof of the stability of hybrid systems using symbolic techniques. The evaluation focuses on two aspects: synthesising a robust region (with fixed reference values) and robustness to reference value changes.
Safety verification and validation for the signaling railway application
Переглядів 127Рік тому
During the VALU3S project, Alstom created a conceptual safety concept using a minimal set of state-of-the-art Commercial Off-The-Shelf (COTS) components for the signalling system in the railway domain. In this use case, we used this concept to develop a safety-critical motor object controller to verify and validate using Model Checking and Testing techniques. The UPPAAL model checker was used t...
Early V&V in Knowledge-Centric Systems Engineering
Переглядів 24Рік тому
In this demo, two KCSE methods have been improved in VALU3S for early V&V: (1) Compliance-Aware Extended Knowledge-Centric System Artefact Quality Analysis and (2) Extended Knowledge-Centric Traceability Management. The methods and their supporting tools have been applied to UC8 data: - Risks analysis - System models - Applicable standards
Real-Time Analogue Signal Monitoring (RTAMT) for a Digital Twin for Motion Control
Переглядів 49Рік тому
Real-Time Analogue Signal Monitoring (RTAMT) for a Digital Twin for Motion Control
Hardware in-the-Loop Validation Station
Переглядів 44Рік тому
Hardware in-the-Loop Validation Station
V&V of ML based vehicle detection traffic system using simulators
Переглядів 30Рік тому
V&V of ML based vehicle detection traffic system using simulators
Instrumented Driving Simulator for drowsiness data generation
Переглядів 24Рік тому
Instrumented Driving Simulator for drowsiness data generation
Testing and Verification of Remotely Operated Vehicles (ROV) Safety by injecting Faults and Attacks
Переглядів 30Рік тому
Testing and Verification of Remotely Operated Vehicles (ROV) Safety by injecting Faults and Attacks
Mu-FRET
Переглядів 63Рік тому
Mu-FRET
NMT Simulator
Переглядів 66Рік тому
NMT Simulator
Test Generation and Validation in Simulation based Human-Robot Collaborative environments
Переглядів 26Рік тому
Test Generation and Validation in Simulation based Human-Robot Collaborative environments
Data Generation and Validation for Railway domain
Переглядів 34Рік тому
Data Generation and Validation for Railway domain
Verification and validation of an automated robot inspection cell for automotive body-in-white
Переглядів 71Рік тому
Verification and validation of an automated robot inspection cell for automotive body-in-white
VALU3S Use Case Interview: Intelligent Traffic Surveillance
Переглядів 33Рік тому
VALU3S Use Case Interview: Intelligent Traffic Surveillance
VALU3S Use Case Interview: Agriculture Robot
Переглядів 40Рік тому
VALU3S Use Case Interview: Agriculture Robot
VALU3S UC Interview: Human-Robot Collaboration in a Disassembly Process with Disabled Workers
Переглядів 56Рік тому
VALU3S UC Interview: Human-Robot Collaboration in a Disassembly Process with Disabled Workers
VALU3S Information meeting and announcement of open repository
Переглядів 47Рік тому
VALU3S Information meeting and announcement of open repository
Training Session 9 - ISO 10218-2_2011
Переглядів 582Рік тому
Training Session 9 - ISO 10218-2_2011

КОМЕНТАРІ