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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Functional safety verification on railway signaling system with Colored Petri Nets


    Beteiligte:
    Xiaoli She (Autor:in) / Jiyuan Zhao (Autor:in) / Jian Yang (Autor:in)


    Erscheinungsdatum :

    01.10.2014


    Format / Umfang :

    566806 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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