Abstract | ||
---|---|---|
The safety analysis of interlocking railway systems involves verifying freedom from collision, derailment and run-through (that is, trains rolling over wrongly-set points). Typically, various unrealistic assumptions are made when modelling trains within networks in order to facilitate their analyses. In particular, trains are invariably assumed to be shorter than track segments; and generally only a very few trains are allowed to be introduced into the network under consideration. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.scico.2014.04.005 | Science of Computer Programming |
Keywords | DocType | Volume |
Railway verification,CSP∥B,Modelling and analysis | Journal | 96 |
Issue | ISSN | Citations |
P3 | 0167-6423 | 5 |
PageRank | References | Authors |
0.47 | 16 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Phillip James | 1 | 73 | 7.24 |
Faron Moller | 2 | 1336 | 110.75 |
Hoang Nga Nguyen | 3 | 80 | 12.80 |
Markus Roggenbach | 4 | 294 | 32.63 |
Steve Schneider | 5 | 1425 | 116.55 |
Helen Treharne | 6 | 390 | 36.94 |