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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Using petri nets for safety analysis of unmanned metro system


    Additional title:

    Petri-Netze zur Sicherheitsanalyse von unbemannten Metrosystemen


    Contributors:
    Koursi, M. el (author) / Ozello, P. (author)


    Publication date :

    1992


    Size :

    5 Seiten, 6 Bilder, 4 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Reliability Analysis of Petri Nets For Unmanned Aerial Vehicles

    Kumari, Lucy / A C, Nandini / Bhavitha, Naramamidi et al. | IEEE | 2024


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

    Yuan, Junhui / Xu, Jie / Qin, Yong et al. | British Library Conference Proceedings | 2018


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

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


    Safety Assessment of Railway Crossing Junction Via Petri Nets

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