Safety and Line Capacity in Railways – An Approach in Timed CSP

  • Yoshinao Isobe
  • Faron Moller
  • Hoang Nga Nguyen
  • Markus Roggenbach
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)

Abstract

Railways need to be safe and, at the same time, should offer high capacity. While the notion of safety is well understood in the railway domain, the meaning of capacity is understood only on an intuitive and informal level. In this study, we show how to define and analyse capacity in a rigorous way. Our modelling approach builds on an established modelling technique in the process algebra Csp for safety alone, provides an integrated view on safety as well as capacity, and offers proof support in terms of (untimed) model checking.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Yoshinao Isobe
    • 1
  • Faron Moller
    • 2
  • Hoang Nga Nguyen
    • 2
  • Markus Roggenbach
    • 2
  1. 1.AISTJapan
  2. 2.Swansea UniversityUK

Personalised recommendations