Conference paper ยท Book chapter
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations
In the railway domain safety is guaranteed by an interlocking system which translates operational decisions into commands leading to field operations. Such a system is safety critical and demands thorough formal verification during its development process. Within this context, our work has focused on the extension of a compositional model checking approach to formally verify interlocking system models for lines with multiple stations.
The idea of the approach is to decompose a model of the interlocking system by applying cuts at the network modelling level. The paper introduces an alternative cut (the linear cut) to a previously proposed cut (border cut). Powered with the linear cut, the model checking approach is then applied to the verification of an interlocking system controlling a real-world multiple station line.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2017 |
Pages: | 146-162 |
Proceedings: | NASA Formal Methods Symposium 2017 |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 9th International Symposium, Nfm 2017, Moffett Field, Ca, Usa, May 16-18, 2017, Proceedings |
ISBN: | 3319572873 , 3319572881 , 9783319572871 and 9783319572888 |
ISSN: | 03029743 and 16113349 |
Types: | Conference paper and Book chapter |
DOI: | 10.1007/978-3-319-57288-8_11 |
ORCIDs: | 0000-0002-9522-3084 and Haxthausen, Anne Elisabeth |