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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Specification of Railway Control Systems


    Weitere Titelangaben:

    Lect. Notes Electrical Eng.


    Beteiligte:
    Huang, Yueh-Min (Herausgeber:in) / Chao, Han-Chieh (Herausgeber:in) / Deng, Der-Jiunn (Herausgeber:in) / Park, James J. (Jong Hyuk) (Herausgeber:in) / Xu, Bingqing (Autor:in) / Zhang, Lichen (Autor:in)


    Erscheinungsdatum :

    13.11.2013


    Format / Umfang :

    11 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff