Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines

System safety assessments are an integral part of system development, as indicated by EN 5012x railway standards. These activities are usually performed manually and rely on reviews and engineering judgments, with limited use of models to support the system assessment phase. In this paper, we present an application of Model-Based Safety Assessment to the Global Operating System (GOS) validation for automatic and semi-automatic metro lines. Safety assessment is a fundamental part of the development of railway systems and the use of model-based techniques provides an effective method for the formalization and analysis of such complex systems. A MB SA deployment methodology using AltaRica Wizard platform and its stochastic simulator is presented and results of the application of the automatic metro lines use-case are shown.