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.
Description
Model-Based Evaluation of the Availability of a CBTC System - Springer
%0 Book Section
%1 ferrari2012modelbased
%A Ferrari, Alessio
%A Itria, MassimilianoL.
%A Chiaradonna, Silvano
%A Spagnolo, GiorgioO.
%B Software Engineering for Resilient Systems
%D 2012
%E Avgeriou, Paris
%I Springer Berlin Heidelberg
%K availability based cbtc model
%P 165-179
%R 10.1007/978-3-642-33176-3_12
%T Model-Based Evaluation of the Availability of a CBTC System
%U http://dx.doi.org/10.1007/978-3-642-33176-3_12
%V 7527
%X 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.
%@ 978-3-642-33175-6
@incollection{ferrari2012modelbased,
abstract = {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.},
added-at = {2014-08-28T10:15:08.000+0200},
author = {Ferrari, Alessio and Itria, MassimilianoL. and Chiaradonna, Silvano and Spagnolo, GiorgioO.},
biburl = {https://www.bibsonomy.org/bibtex/2d1a72a23fa0e8bd96ad49029a17f3afd/avail_map_stud},
booktitle = {Software Engineering for Resilient Systems},
description = {Model-Based Evaluation of the Availability of a CBTC System - Springer},
doi = {10.1007/978-3-642-33176-3_12},
editor = {Avgeriou, Paris},
interhash = {29d256c0840a6de79422ceba3eb8821e},
intrahash = {d1a72a23fa0e8bd96ad49029a17f3afd},
isbn = {978-3-642-33175-6},
keywords = {availability based cbtc model},
language = {English},
pages = {165-179},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
timestamp = {2014-08-28T10:15:08.000+0200},
title = {Model-Based Evaluation of the Availability of a CBTC System},
url = {http://dx.doi.org/10.1007/978-3-642-33176-3_12},
volume = 7527,
year = 2012
}