In this use case, we tried to achieve the highest level of safety due to the nature of the distributed control system and higher traffic demands. One way of increasing the confidence of the system to achieve the THR is to use fault injection to evaluate the effect of faults. In this scenario, ALSTOM and AIT with the help of LLSG modelled the control finite state machine (FSM) and introduced faults that should be injected in different parts of the control loop.

In this evaluation scenario, we validated the expected safety functionality of the use case.

Safety products, and specially this demonstrator in which we tried to achieve the highest level of safety, shall show in terms of qualitative and quantitative approaches, and its mitigation against systematic and random failures. Systematic failures are deterministic and intrinsically occur through the lifecycle of the product and can be described in terms of qualitative approaches. Both EN 50128 and EN 50129 have recommended techniques and approaches in software and hardware to increase the level of safety based on our Tolerable Hazard Rate (THR) against the systematic approaches. The V&V framework effort of VALU3S aims to demonstrate adherence to the railway standards.