Formal Distributed Protocol Development for Reservation of Railway Sections

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Digital Printed Abstract View Cite
Type
Conference paper
Publication
7th International Conference on Rigorous State Based Methods (ABZ'20)

Abstract

The decentralisation of railway signalling systems has the potential to increase railway network capacity, availability and reduce maintenance costs. Given the safety-critical nature of railway signalling and the complexity of novel distributed signalling solutions, their safety should be guaranteed by using thorough system validation methods. In this paper, we present a rigorous formal development and verification of a distributed protocol for reservation of railway sections, which we believe could deliver benefits of a decentralised signalling while ensuring safety and liveness properties. For the formal distributed protocol development and verification, we devised a multifaceted framework, which aims to reduce modelling and verification effort, while still providing complementary techniques to study protocol from all relevant perspectives.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{StankaitisIKAIR20,
  author       = {Paulius Stankaitis and
                  Alexei Iliasov and
                  Tsutomu Kobayashi and
                  Yamine A{\"{\i}}t Ameur and
                  Fuyuki Ishikawa and
                  Alexander B. Romanovsky},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry and
                  Frank Houdek},
  title        = {Formal Distributed Protocol Development for Reservation of Railway
                  Sections},
  booktitle    = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
                  2020, Ulm, Germany, May 27-29, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12071},
  pages        = {203--219},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-48077-6\_14},
  doi          = {10.1007/978-3-030-48077-6\_14},
  timestamp    = {Mon, 05 Feb 2024 20:35:41 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/StankaitisIKAIR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'20

Related