Sciweavers

WOSP
2005
ACM

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications

13 years 9 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
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¨obius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study. Keywords UML, stochastic systems, concurrency, tool support, reliability, wireless communication, European Train Control System (ETCS)
Holger Hermanns, David N. Jansen, Yaroslav S. Usen
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where WOSP
Authors Holger Hermanns, David N. Jansen, Yaroslav S. Usenko
Comments (0)