Model Checking Geographically Distributed Interlocking Systems Using UMC

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

DOI

View graph of relations

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
StatePublished - 2017
Event2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing - St. Petersburg, Russian Federation

Conference

Conference2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing
CountryRussian Federation
CitySt. Petersburg
Period06/03/201708/03/2017
CitationsWeb of Science® Times Cited: 0

    Keywords

  • Model checking, Distributed systems, Railway interlocking systems
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 133173791