In unmanned transportation systems, the certification of the control/command equipments is a technical process based on rigourous methods taking into account precise and detailed objectives. In France, for a number of new automated transport systems, INRETS has been in charge of this certification process as an authorized body, appointed by the Ministry of Transport. Such process intends to assess that the system design satisfies initially defined safety objectives. INRETS-CRESTA has developed a tool based on Petri nets and a methodology for applying this tool. The principle is to examine and eventually to complete the safety study achieved by the constructor by coupling and simulating a functional model with environment model. In this paper the authors describe how this tool is used to specify safety functions and to demonstrate their safety. This method is illustrated by an example of application to the VAL automated system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Using petri nets for safety analysis of unmanned metro system


    Weitere Titelangaben:

    Petri-Netze zur Sicherheitsanalyse von unbemannten Metrosystemen


    Beteiligte:
    Koursi, M. el (Autor:in) / Ozello, P. (Autor:in)


    Erscheinungsdatum :

    1992


    Format / Umfang :

    5 Seiten, 6 Bilder, 4 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Study on Emergency Response Process of Metro Emergency Based on Stochastic Petri Nets

    Yuan, Junhui / Xu, Jie / Qin, Yong et al. | Springer Verlag | 2017


    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archiv | 2007


    Airport Traffic Simulation Using Petri Nets

    Skorupski, J. | British Library Conference Proceedings | 2013


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013