Safety and Line Capacity in Railways - An Approach in Timed CSP
Safety and Line Capacity in Railways - An Approach in Timed CSP
复制标题
铁路安全和线路容量 - 定时 CSP 的一种方法
DOI：
10.1007/978-3-642-30729-4_5
复制
发表时间：
2012
影响因子：
6.8
通讯作者：
M. Roggenbach
中科院分区：
文献类型：
--
作者：
Yoshinao Isobe;F. Moller;N. H. Nga;M. Roggenbach
铁路需要安全，同时应该提供高容量。虽然安全的概念在铁路领域得到了很好的理解，但容量的含义只能在直观和非正式的层面上理解。在这项研究中，我们展示了如何以严格的方式定义和分析能力。我们的建模方法建立在一个既定的建模技术的过程代数CSP的安全性，提供了一个综合的安全性和能力，并提供证明支持（不定时）模型检查。
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.