Welcome to the InfoSci Platform
A Model-Driven Methodology to Evaluate Performability of Metro Systems

A Model-Driven Methodology to Evaluate Performability of Metro Systems

Roberto Nardone, Stefano Marrone
Copyright: © 2014 |Pages: 12
ISBN13: 9781466646599|ISBN10: 1466646594|EISBN13: 9781466646605
DOI: 10.4018/978-1-4666-4659-9.ch012
Cite Chapter Cite Chapter

MLA

Nardone, Roberto, and Stefano Marrone. "A Model-Driven Methodology to Evaluate Performability of Metro Systems." Theory and Application of Multi-Formalism Modeling, edited by Marco Gribaudo and Mauro Iacono, IGI Global, 2014, pp. 259-270. https://doi.org/10.4018/978-1-4666-4659-9.ch012

APA

Nardone, R. & Marrone, S. (2014). A Model-Driven Methodology to Evaluate Performability of Metro Systems. In M. Gribaudo & M. Iacono (Eds.), Theory and Application of Multi-Formalism Modeling (pp. 259-270). IGI Global. https://doi.org/10.4018/978-1-4666-4659-9.ch012

Chicago

Nardone, Roberto, and Stefano Marrone. "A Model-Driven Methodology to Evaluate Performability of Metro Systems." In Theory and Application of Multi-Formalism Modeling, edited by Marco Gribaudo and Mauro Iacono, 259-270. Hershey, PA: IGI Global, 2014. https://doi.org/10.4018/978-1-4666-4659-9.ch012

Export Reference

Mendeley
Favorite

Abstract

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 model-driven 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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.