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

H. Hermanns, D.N. Jansen, Y.S. Usenko

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    36 Citations (Scopus)
    142 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationProceedings of the 5th international workshop on Software and performance
    Place of PublicationNew York, NY, USA
    PublisherACM Press
    Number of pages261
    ISBN (Print)1-59593-087-6
    Publication statusPublished - Jul 2005
    Event5th international workshop on Software and performance -
    Duration: 1 Jul 20051 Jul 2005

    Publication series

    PublisherACM Press


    Workshop5th international workshop on Software and performance


    • EWI-1293
    • METIS-229282
    • IR-54793
    • European Train Control System (ETCS)
    • Reliability
    • Wireless communication
    • Concurrency
    • tool support
    • Stochastic systems
    • UML

    Cite this