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.

[1]  Diego Latella,et al.  Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

[2]  Anders Moen Hagalisletto,et al.  Constructing and Refining Large-Scale Railway Models Represented by Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[3]  Guido Gentile,et al.  Section 7.5 - Dynamic traffic assignment with non separable link cost functions and queue spillovers , 2009 .

[4]  Karama Kanoun,et al.  A System Dependability Modeling Framework Using AADL and GSPNs , 2006, WADS.

[5]  Roberto Nardone,et al.  An Integrated Approach for Availability and QoS Evaluation in Railway Systems , 2011, SAFECOMP.

[6]  Roberto Nardone,et al.  A simulation framework for supporting design and real-time decisional phases in railway systems , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[7]  Simona Bernardi,et al.  A dependability profile within MARTE , 2011, Software & Systems Modeling.

[8]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[9]  Ennio Cascetta,et al.  Transportation Systems Analysis , 2009 .

[10]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).