Conference paper · Book chapter
Comparing formal verification approaches of interlocking systems
The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare these approaches.
As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey/Swansea. The focus is on designs that are specified by so-called control tables.
The paper can serve as a starting point for further comparative studies. The DTU/Bremen research has been funded by the RobustRailS project granted by Innovation Fund Denmark. The Surrey/Swansea research has been funded by the SafeCap and the DITTO research projects granted by EPSRC and RSSB. The authors would like to thank Linh Hong Vu for providing the benchmark of scheme plans and the drawings of the track plans.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2016 |
Pages: | 160-177 |
Proceedings: | The International Conference on Reliability, Safety and Security of Railway Systems |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | First International Conference, Rssrail 2016 Paris, France, June 28–30, 2016 Proceedings |
ISBN: | 3319339508 , 3319339516 , 9783319339504 and 9783319339511 |
ISSN: | 03029743 and 16113349 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-319-33951-1_12 |
ORCIDs: | Haxthausen, Anne Elisabeth |