In this article we are discussing Formal Methods for the integrated development and verification of distributed railway control systems, as, for example, applicable in the German FFB approach for radio-based train control, train protection and interlocking. As description techniques both untimed algebraic specifications and hybrid real-time languages are used. Verification is based on refinement proofs. We advocate an approach starting with untimed algebraic specification defining an abstract centralised controller model. Distribution of control components and hybrid real-time properties are gradually introduced on lower refinement levels. A complete specification, refinemt and verification suite has been performed by the authors for a class of so-called simple networks, based on a control concept originally designed by INSY GmbH. To increase the re-usability of design and verification, frameworks and generic theories specialised on the application domain 'railway control systems' are used.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods for the specification and verification of distributed railway control systems: from algebraic specifications to distributed hybrid real-time systems


    Contributors:


    Publication date :

    2000


    Size :

    9 Seiten, 2 Bilder, 6 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archive | 2007


    Formal Development and Verification of Railway Control Systems

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

    Free access

    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

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