Inject and detectIn 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.https://repo.valu3s.eu/use-cases/uc10-safe-function-out-of-context/evaluation-scenarios/inject-detect-and-recoverhttps://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png
Inject and detect
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.
VALU3S_WP1_Railway_1
Fault injection using test cases which were automatically generated with mutation model based testing
The model should encompass a reasonable amount of the behavior of the system. Having a manually generated model that reflects the whole use case is a cumbersome task.