Railway interlocking is designed to prevent trains from colliding. Generally speaking current systems are safe due to the processes that signalling systems have to follow as well as implementation procedures that interlockings are compliant with. Even the processes and procedures are very advanced; there are still train crashes that are triggered by interlocking faults. However, the interlocking faults are mainly related to poor maintenance of the systems or/and changes to the original designs without correct authorisation. While those areas are worth exploring to search some improvements it is also important that interlocking will progress its development toward intelligent transport system reinforcing maintenance functions.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Railway interlocking process - Building a base for formal methods


    Contributors:


    Publication date :

    2013-08-01


    Size :

    262180 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archive | 2004



    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014