Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

View graph of relations

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.
Original languageEnglish
Title of host publicationFormal Methods
Publication date2018
ISBN (Print)9783319955810
Publication statusPublished - 2018
EventFederated Logic Conference 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018


ConferenceFederated Logic Conference 2018
CountryUnited Kingdom
CitationsWeb of Science® Times Cited: No match on DOI

    Research areas

  • Stepwise development, Model checking, RAISE, Railway interlocking systems, Distributed systems

ID: 151669138