Document - Model-based evaluation of the availability of a CBTC system.

2012

Conference article Restricted

Model-based evaluation of the availability of a CBTC system.

Ferrari A., Itria M. L., Chiaradonna S., Spagnolo G. O.

Availability CBTC Stochastic Activity Networks

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.

Source: Software Engineering for Resilient Systems. 4th International Workshop, pp. 165–179, Pisa, Italy, 27-28 September 2012

Publisher: Springer, London, GBR

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:219864,
	title = {Model-based evaluation of the availability of a CBTC system.},
	author = {Ferrari A. and Itria M.  L. and Chiaradonna S. and Spagnolo G.  O.},
	publisher = {Springer, London, GBR},
	doi = {10.1007/978-3-642-33176-3_12},
	booktitle = {Software Engineering for Resilient Systems. 4th International Workshop, pp. 165–179, Pisa, Italy, 27-28 September 2012},
	year = {2012}
}