This paper presents work package WP4.1 of the RobustRails research project. The work package aims at suggesting a methodology for efficient development and verification of safe and robust railway control systems. 1 Project background and state of the art Over the next 10 years all Danish railway signalling systems are going to be completely replaced with modern, computer based railway control systems based on the European standard ERTMS/ETCS [3, 4] by the Danish Signaling Programme [1]. The purpose of these systems is to control the railway traffic such that unsafe situations, like train collisions, are avoided. Central parts of these new systems consist of safety-critical software the functional correctness of which is one of the key requisites for a reliable operation of the traffics and in particular for the safety of passengers. Until now the development of railway control software has typically been done applying conventional methods where requirements and designs are described using natural language, diagrams and pseudo code, and the verification of requirements has been done by code inspection and non-exhaustive testing. These techniques are not sufficient, leading to errors and an in-effective and costly development process. The railway sector and in particular Rail Net Denmark (Banedanmark) therefore call for improved software development methods. 2 Original contribution and expected results In order to avoid the problems mentioned in previous section, it is strongly recommended by the CENELEC standards [2] for railways to use formal (i.e. mathematical) logic and models for the unambiguous description of requirements and designs as well as for exhaustive verification as they give a higher assurance of safety compared to conventional methods. The use of domain-specific methods is another trend in software development, suggested to make the construction of software more efficient by generating the software automatically from domain-specific descriptions. Hence, to combine these two approaches is expected ...
Formal Development and Verification of Railway Control Systems
01.01.2013
Vu Hong , L , Haxthausen , A E & Peleska , J 2013 , ' Formal Development and Verification of Railway Control Systems ' , Strategisk forskning i transport og infrastruktur , Kongens Lyngby , Denmark , 11/06/2013 - 12/06/2013 .
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
DDC: | 000 |
Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|Formal verification of protocol specified in LTS for railway signalling systems
British Library Conference Proceedings | 2004
|Formal methods for railway operation and control systems
TIBKAT | 2003
|Springer Verlag | 2022
|