We present a general method for modeling safety aspects of railway control systems. Using our modeling method, one can progressively refine an abstract railway safety model, sucessively adding layers of detail about how a real system actually operates, while maintaining a safety property that refines the original abstract safety property. This method supports a top-down approach to specification of railway control systems and to proof of a variety of safety-related properties. We demonstrate our method by proving safety of the classical block control system.
A Mathematical Model for Railway Control Systems
1996-06-01
Report
Keine Angabe
Englisch
Multifunctional Mathematical Models of Railway Electric Systems
British Library Conference Proceedings | 2008
|A mathematical simulation model of complex railway junctions
British Library Conference Proceedings | 1994
|RAILWAY TRACK REPRESENTATION IN MATHEMATICAL MODEL OF VEHICLES MOVEMENT
DOAJ | 2017
|TIBKAT | 1991
|MATHEMATICAL MODEL OF MOTOR AND RAILWAY TRANSPORT INTERACTION AT TERMINALS
DOAJ | 2010
|