Applications of petri nets to safety analysis
EL KOURSI ; OZELLO
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
anglais
Auteur
EL KOURSI ; OZELLO
Résumé / Abstract
IN UNMANNED TRANSPORTATION SYSTEMS, THE CERTIFICATION OF THE CONTROL/COMMAND EQUIPMENT IS A TECHNICAL PROCESS BASED ON RIGOROUS METHODS WHICH INVOLVE PRECISE AND DETAILED OBJECTIVES. IN FRANCE THE MINISTRY OF TRANSPORT HAS PLACED INRETS IN CHARGE OF THIS CERTIFICATION PROCESS FOR A NUMBER OF NEW AUTOMATED TRANSPORT SYSTEMS. THIS PROCESS AIMS TO ASSESS WHETHER THE DESIGN OF THE SYSTEM COMPLIES WITH INITIALLY DEFINED SAFETY OBJECTIVES. INRETS-CRESTA HAS DEVELOPPED A TOOL BASED ON PETRI NETS AND AN IMPLEMENTATION METHODOLOGY. THIS TOOL ALLOWS THE MANUFACTURERS' OWN SAFETY STUDY TO BE EXAMINED AND IF NECESSARY SUPPLEMENTED. THIS PAPER DESCRIBES HOW THIS TOOL IS USED TO SPECIFY SAFETY FUNCTIONS AND DEMONTRATES THEIR EFFECTIVENESS. THE METHOD IS ILLUSTRATED BY USING APPLICATION TO THE VAL AUTOMATED LIGHT RAIL SYSTEM AS AN EXAMPLE.
Source
RTS : Recherche transports sécurité, P67-77 p.
Editeur
Institut National de Recherche sur les Transports et Leur Sécurité - INRETS