Systematic and random failures verificationSafety 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.https://repo.valu3s.eu/use-cases/uc10-safe-function-out-of-context/evaluation-scenarios/systematic-and-random-failures-verificationhttps://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png
Systematic and random failures verification
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.
VALU3S_WP1_Railway_3
Compliance of VALU3S V&V framework in this use case to the railway standards
Evaluate if verification efforts for standardization (EN 50129) can be reduced when using some of the techniques proposed by the VALU3S V&V framework (e.g., fault injection or tools)