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.
Using petri nets for safety analysis of unmanned metro system
Petri-Netze zur Sicherheitsanalyse von unbemannten Metrosystemen
1992
5 Seiten, 6 Bilder, 4 Quellen
Aufsatz (Konferenz)
Englisch
Study on Emergency Response Process of Metro Emergency Based on Stochastic Petri Nets
Springer Verlag | 2017
|Operating rules description using Petri nets
Tema Archiv | 2007
|Airport Traffic Simulation Using Petri Nets
British Library Conference Proceedings | 2013
|Airport Traffic Simulation Using Petri Nets
Springer Verlag | 2013
|