Formalised procedures and formal methods for the railway safety planning and control activities

The present paper designes a schematic overview in the variegated field of the railway safety analysis and assessment of: i) general and specific tasks to be faced; ii) methodologies to be applied and related tools, mostly based on formal methods. The systematisation effort is oriented to the identification of limits and better application field of each methodology and tool. A specific attention is dedicated to the quantitative approaches to evaluate the global safety level of the railway system in the common framework represented by the interaction among Technological Devices, Rules and Regulation and Human Behaviours.