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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A Mathematical Model for Railway Control Systems


    Beteiligte:
    Hoover, D. N. (Autor:in)

    Erscheinungsdatum :

    1996-06-01


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Multifunctional Mathematical Models of Railway Electric Systems

    Zakaryukin, V.P. / Kryukov, A.V. | British Library Conference Proceedings | 2008


    A mathematical simulation model of complex railway junctions

    Cappelli, A. / Ricci, S. / Staffini, P. et al. | British Library Conference Proceedings | 1994


    RAILWAY TRACK REPRESENTATION IN MATHEMATICAL MODEL OF VEHICLES MOVEMENT

    M. B. Kurhan / D. M. Kurhan | DOAJ | 2017

    Freier Zugriff

    Railway control systems

    Leach, Maurice | TIBKAT | 1991


    MATHEMATICAL MODEL OF MOTOR AND RAILWAY TRANSPORT INTERACTION AT TERMINALS

    T. Stoliar / M. Pitchenko | DOAJ | 2010

    Freier Zugriff