A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral model

The railway systems are being more and more forced by decision authorities. As they are placed at a high level of abstraction, it becomes problematic to impose another criterion or scale. In fact, since we come down lower, we are confronted with specificities of the national systems which make lose the majority of the work of the European decision-makers. The issue is that, at every level of abstraction, risk assessment methods exist, but without being compatible. Besides, the combination of layers and the functional vision of the railway system do not take into account the impact of some functions on the others, nor the link between the global level of risk and the components to assign the safety.Thus, we propose a harmonized approach for risk assessment. This approach allows us to distribute the constraints defined at the abstract functional level on the entities which implement both the systems and their specificities.Our contribution is methodological. It leaves a functional model of the layered railway system. The purpose is to represent this system without any dependencies between the functions. For instance, it was necessary to translate them independently by creating entrances/exits as places/transitions of a Petri net. A Petri net class corresponds to each layer. To the structural layer, we associate the time Petri net; to the functional layer, the stochastic Petri nets and to the logical layer, the predicate transitions nets

Data and Resources

Additional Info

Field Value
Source https://theses.hal.science/tel-00802209
Author Rafrafi, Meriem
Maintainer CCSD
Last Updated May 12, 2026, 07:12 (UTC)
Created May 12, 2026, 07:12 (UTC)
Identifier tel-00802209
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'Automatique, Génie Informatique et Signal (LAGIS) ; Université de Lille, Sciences et Technologies-Centrale Lille-Centre National de la Recherche Scientifique (CNRS)
creator Rafrafi, Meriem
date 2010-11-26T00:00:00
harvest_object_id e4b25b34-e23e-488c-85f9-55174b8d8015
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-20T00:00:00
set_spec type:THESE