FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Stepwise Development and Model Checking of a Distributed Interlocking System - using RAISE

Authors: Signe Geisler and Anne E. Haxthausen

Paper Information

Title:Stepwise Development and Model Checking of a Distributed Interlocking System - using RAISE
Authors:Signe Geisler and Anne E. Haxthausen
Proceedings:FM FMComplete
Editors: Jan Peleska, Klaus Havelund and Bill Roscoe
Keywords:stepwise development, model checking, RAISE, railway interlocking systems, distributed systems
Abstract:

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.

Pages:17
Talk:Jul 16 11:00 (Session 111C)
Paper: