EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

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

Home Policy Brochure Browse Search User Area Contact Help

Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance. pp. 13-23. ACM Press. ISBN 1-59593-087-6

Full text available as:

PDF

- Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
232 Kb

Official URL: http://dx.doi.org/10.1145/1071021.1071023

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öbius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Uncontrolled Keywords:	UML, stochastic systems, concurrency, tool support, reliability, wireless communication, European Train Control System (ETCS)
ID Code:	1293
Status:	Published
Deposited On:	23 February 2006
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item