Скачать или смотреть Safety verification and validation for the signaling railway application

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 to verify the time-related properties of the software controller.
The Uppex tool was used to configure variations of the UPPAAL model, increasing the applicability of the model.
The MoMuT toolset was used to generate a minimal set of unit tests that cover a maximum number of changes to a simplified controller model.
Analysis of a minimal set of state-of-the-art COTS components for SIL4 applications reached a maturity that can reduce the size, cost, and power consumption.