Risk analysis models for level crossing operation.

The study concern different approaches for risk assessment for level crossing. For the identification of level crossing main components SHEL model is used. Two different methodologies have been developed to determine the risk related to a level crossing. The first methodology gives a global evaluation of the risk and for the evaluation of interference using the Fault Tree Analysis; the second is based on formal methods and simulations (e.g. Petri nets) and it is possible to simulate what really happens in correspondence to a level crossing during the train operation.