Conference Paper/Proceeding/Abstract 1498 views
Safety and Line Capacity in Railways – An Approach in Timed CSP
,
Yoshinao Isobe,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach
Integrated Formal Methods, Volume: 7321, Pages: 54 - 68
Swansea University Authors:
Hoang Nguyen , Faron Moller
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-642-30729-4_5
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....
| Published in: | Integrated Formal Methods |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Berlin Heidelberg
Springer-Verlag
2012
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa13710 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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. |
|---|---|
| Keywords: |
formal methods, model checking, railway vrification |
| College: |
Faculty of Science and Engineering |
| Start Page: |
54 |
| End Page: |
68 |