UC10 is a BLDC motor controller in the railway domain targeted for the highest level of Tolerable Hazard Rate (THR) according to the railway safety standard EN 50129.  We investigate and validate the VALU3S V&V framework in this use case and assess compliance with the railway standards. With this approach, we explore the possibility to reduce the time and cost of functional safety product development in the railway system.

In UC10, two V&V methods are used:

1.  For functional testing, Model-Based Mutation Testing is applied.

2.  Model checking 

This diagram depicts how the methods interact and how the workflow for Scenario Generation and Validation of Real-Time Systems is adapted to use Model-Based Mutation Testing.

Tools that  were used: 

-  MoMuT’s integration into Enterprise Architect for Behaviour-driven model development and test-driven model review MoMuT::UML: for Model-Based Mutation Testing

-  UPPAAL and Uppex for Model Checking Families of Real-Time System.