Signaling system acts very important safety role in both national railway and urban rail transportation. This paper provides a formal verification framework on functional safety desired by railway industry application. The presented work chooses Colored Petri Nets for functional modeling and verification. The modelling approaches of internal faults and undesired external influences are proposed by introducing a countering place, and the verification criteria is established based on credible hazard set. An application of this framework on Communication Based Train Control system is also presented.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Functional safety verification on railway signaling system with Colored Petri Nets


    Contributors:
    Xiaoli She (author) / Jiyuan Zhao (author) / Jian Yang (author)


    Publication date :

    2014-10-01


    Size :

    566806 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A study of railway ERTMS safety with Colored Petri Nets

    Barger, P. / Schon, W. / Bouali, M. | British Library Conference Proceedings | 2010


    Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

    Kadri, Hela / Collart-Dutilleul, Simon / Bon, Philippe | Springer Verlag | 2021


    Safety Assessment of Railway Crossing Junction Via Petri Nets

    Das, Madhusmita / Mohan, Biju R. / Guddeti, Ram Mohana Reddy et al. | IEEE | 2024



    Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

    Kadri, Hela / Collart-Dutilleul, Simon / Bon, Philippe | Springer Verlag | 2021