A comparative realiability analysis of ETCS train radio communications

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    102 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¨obius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study.
    Originele taal-2Engels
    Plaats van productieSaarbrücken
    UitgeverijUniversität des Saarlandes
    StatusGepubliceerd - 2005

    Publicatie series

    NaamAVACS Technical Report


    Duik in de onderzoeksthema's van 'A comparative realiability analysis of ETCS train radio communications'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit