@inproceedings{a2ffd86e165d4f8eb6c999cd2c7c8e3e,
title = "From StoCharts to MoDeST: a comparative reliability analysis of train radio communications",
abstract = "StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment to show the principal tractability of realistic cases with this approach. In this paper, we extend on this bare feasibility result in two important directions. First, we sketch the cornerstones of a mechanizable translation of StoCharts to MoDeST. The latter is a process algebra-based formalism supported by the Motor/M{\"o}bius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study.",
keywords = "EWI-1293, METIS-229282, IR-54793, European Train Control System (ETCS), Reliability, Wireless communication, Concurrency, tool support, Stochastic systems, UML",
author = "H. Hermanns and D.N. Jansen and Y.S. Usenko",
note = "HJU05 ; 5th international workshop on Software and performance ; Conference date: 01-07-2005 Through 01-07-2005",
year = "2005",
month = jul,
doi = "10.1145/1071021.1071023",
language = "Undefined",
isbn = "1-59593-087-6",
publisher = "ACM Press",
pages = "13--23",
booktitle = "Proceedings of the 5th international workshop on Software and performance",
}