Temporal requirements checking in a safety analysis of railway systems
DEFOSSEZ ; COLLART-DUTILLEUL ; BON
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
DEFOSSEZ ; COLLART-DUTILLEUL ; BON
Résumé / Abstract
This paper introduces a methodology to analyse the safety of timed discrete event systems. Our case-study is the level crossing, a critical component for the safety of railway systems. First, our goal is to take out the forbidden state highlighted by a p-time Petri net modelling. This model deals with the requirements of the considered system and has to contain all the constraints that have to be respected. Then we aim at describing a process identified as a solution of the system functionning. This method consists in exploring all the possible behaviours of the system by means of the construction of state classes. Finally, we check if the proposed process corresponds to the requirements model previously built.
