A comparative reliability analysis of ETCS train radio communications

H. Hermanns, B. Becker (Editor), D.N. Jansen, W. Damm (Editor), Y.S. Usenko, M. Fränzle (Editor), E.-R. Olderog (Editor), A. Podelski (Editor), R. Wilhelm (Editor)

    Research output: Book/ReportReportProfessional

    29 Downloads (Pure)


    StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and were 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.
    Original languageUndefined
    Place of PublicationGermany
    PublisherTransregional Collaborative Research Center 14 AVACS
    Number of pages18
    Publication statusPublished - Feb 2005

    Publication series

    NameAVACS Technical Report
    ISSN (Print)1860-9821


    • Concurrency
    • Reliability
    • tool support
    • European Train Control System (ETCS)
    • Stochastic systems
    • Wireless communication
    • UML
    • METIS-248079
    • IR-65544
    • EWI-1726

    Cite this