Model Checking Geographically Distributed Interlocking Systems Using UMC

Alessandro Fantechi, Anne Elisabeth Haxthausen, Michel Bøje Randahl Nielsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The current trend of distributing computations over a network is here, as a novelty, applied to a safety critical system, namely a railway interlocking system. We show how the challenge of guaranteeing safety of the distributed application has been attacked by formally specifying and model checking the relevant distributed protocols. By doing that we obey the safety guidelines of the railway signalling domain, that require formal methods to support the certification of such products. We also show
how formal modelling can help designing alternative distributed solutions, while maintaining adherence to safety constraints
Original languageEnglish
Title of host publication2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)
PublisherIEEE
Publication date2017
Pages278–286
DOIs
Publication statusPublished - 2017
Event2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing - St. Petersburg, Russian Federation
Duration: 6 Mar 20178 Mar 2017

Conference

Conference2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing
CountryRussian Federation
CitySt. Petersburg
Period06/03/201708/03/2017

Keywords

  • Model checking
  • Distributed systems
  • Railway interlocking systems

Fingerprint

Dive into the research topics of 'Model Checking Geographically Distributed Interlocking Systems Using UMC'. Together they form a unique fingerprint.

Cite this