Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Itria M. L., Itria M. L., Chiaradonna S., Spagnolo G. O. Model-based evaluation of the availability of a CBTC system. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 165 - 179. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.
A metro control system is a software/hardware platform that provides automated mechanisms to enforce the safety of a metropolitan transportation system. In this field, the current technical trend is the Communications-based Train Control (CBTC) solution. CBTC platforms are characterized by a continuous wireless interaction between trains and ground controls. Several degrees of automation are provided, from basic traffic monitoring to unattended train operation. Besides safety issues, a CBTC system is also required to guarantee a high level of availability. These platforms are normally composed of several subsystems and devices, and estimating the overall availability of the system is not a trivial task. Stochastic Activity Networks (SAN) are a powerful formalism that allows modelling and evaluating complex distributed systems. In this paper, a study is presented that shows how SAN models can be employed to evaluate the availability attributes of a CBTC system. The current results show that the SAN technology and the analysis tool adopted, named Möbius, are mature for a profitable employment in industrial practice.
URL: http://link.springer.com/chapter/10.1007/978-3-642-33176-3_12
DOI: 10.1007/978-3-642-33176-3_12
Subject CBTC, Stochastic Activity Networks, Availability
B.1.2 Control Structure Performance Analysis and Design Aids

Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional