The railway interlocking system (RIS) is one of the crucial parts of the railway transit safety. In the French railway domain, the computer-controlled relay-based interlocking systems are the dominant practice. Their complex sequences and consequent actions make it difficult to formally validate their safety properties. For such a system, detailed verification and validation of its specifications should be done at the end of the design phase. In practice, each station or yard in a railway line has its own interlocking system, which respects the same national standard but has a different facility formation. In order to effectively accomplish the validation tasks and reduce the error probability, this paper introduces a modelling pattern of the French railway interlocking system, which is a parameterized model respects the French national rules. It is a general reusable solution to this kind of problem and can be used in many different given contexts.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A model pattern of railway interlocking system by Petri nets


    Contributors:


    Publication date :

    2015-06-01


    Size :

    288442 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005


    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Vanit-Anunchai, Somsak | ArXiv | 2014

    Free access


    Modeling a distributed railway interlocking system with object-oriented Petri nets

    Hei, X. / Mochizuki, H. / Takahashi, S. et al. | British Library Conference Proceedings | 2006


    Simulation of a complex railway station with a Petri Nets based interlocking model

    Malavasi, G. / Raponi, P. / Ricci, S. et al. | Tema Archive | 2003