Train control systems must provide a high level of safety as they are a very important component and responsible for the safe operation of a train. To meet safety and reliability requirements, formal techniques must be used to specify train control systems. In this paper, we uses CSP, Object-Z and Clock to specify the Railway Control System concerning both the linear track and crossing area, especially the time delay between any two aspects of the railway system.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Specification of Railway Control Systems


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:


    Publication date :

    2013-11-13


    Size :

    11 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001


    Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specification to Distributed Hybrid Real-Time Systems

    Peleska, J. / Haxthausen, A. E. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000


    Formal Specification Method for Systems Automation

    Petin, J.-F. / Morel, G. / Panetto, H. | British Library Online Contents | 2006



    Formal Development and Verification of Railway Control Systems

    Vu Hong, Linh / Haxthausen, Anne Elisabeth / Peleska, Jan | BASE | 2013

    Free access