Book chapter · Conference paper
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
In
Formal Methods
—
2018, Volume 10951, pp. 277-293
Abstract
This paper considers the challenge of designing and verifying control protocols for geographically distributed railway interlocking systems. It describes for a real-world case study how this can be tackled by stepwise development and model checking of state transition models in an extension of the RAISE Specification Language (RSL).
This method also allows different variants of the control protocols to be explored.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2018 |
| Pages: | 277-293 |
| Proceedings: | Federated Logic Conference 2018 |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | 22nd International Symposium, Fm 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, Proceedings |
| ISBN: | 3319955810 , 3319955829 , 9783319955810 and 9783319955827 |
| ISSN: | 16113349 and 03029743 |
| Types: | Book chapter and Conference paper |
| DOI: | 10.1007/978-3-319-95582-7_16 |
| ORCIDs: | 0000-0003-3667-9775 , 0000-0001-7079-0472 , Geisler Pedersen, Signe and Haxthausen, Anne Elisabeth |
