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
Volume10951
PublisherSpringer
Publication date2018
Pages277-293
ISBN (Print)9783319955810
DOIs
Publication statusPublished - 2018
EventFederated Logic Conference 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018

Conference

ConferenceFederated Logic Conference 2018
CountryUnited Kingdom
CityOxford
Period15/07/201817/07/2018
CitationsWeb of Science® Times Cited: No match on DOI

    Research areas

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

ID: 151669138