A model-driven methodology to evaluate performability of metro systems

Metro systems are required to continuously achieve acceptable levels of reliability, availability, maintainability, and performance (performability) in order to comply with the target values reported in operation and maintenance contracts. These requirements are regulated by several international standards that control the lifecycle defining both processes, documentation flows, and enabling techniques, aiming at controlling disturbances on service performed by the system. This chapter focuses on a complete modeldriven methodology with the aim to support the performability evaluation of a metro system during design and In-Service phases, as well as requirements assessment. In detail, the methodology allows the automatic generation of those formal models required for performability analysis, specialized according to the specific track layout and the defined operational strategies. The proposed methodology is perfectly coherent with the European Standard CENELEC EN 50126 and it allows the generation of all the technical reports needed in the related documentation.