Survey of formal model-based development of safety-critical software for railway applications

The OpenETCS project has the goal to develop an integrated approach for development and implementation of software of European Train Control System (ETCS) on-board units. Thereby, the OpenETCS concept is based on the use of methods and tools which support the formal specification and verification of requirements in an overall...