A Model-Driven Methodology to Evaluate Performability of Metro Systems

View Sample PDF

Author(s): Roberto Nardone (Università di Napoli “Federico II”, Italy)and Stefano Marrone (Seconda Università di Napoli, Italy)
Copyright: 2014
Pages: 12
Source title: Theory and Application of Multi-Formalism Modeling
Source Author(s)/Editor(s): Marco Gribaudo (Politecnico di Milano, Italy)and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy)
DOI: 10.4018/978-1-4666-4659-9.ch012

Keywords: Computer Science & IT / Information Science Reference / Systems & Software Design / Systems and Software Engineering

Purchase

View A Model-Driven Methodology to Evaluate Performability of Metro Systems on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

A Model-Driven Methodology to Evaluate Performability of Metro Systems

Purchase

Abstract

Related Content

IRMA Sponsors