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

    32 Citations (Scopus)
    26 Downloads (Pure)

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

    Publication series

    Name
    PublisherACM Press

    Keywords

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

    Cite this

    Hermanns, H., Jansen, D. N., & 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). New York, NY, USA: ACM Press. https://doi.org/10.1145/1071021.1071023
    Hermanns, H. ; Jansen, D.N. ; Usenko, Y.S. / From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. Proceedings of the 5th international workshop on Software and performance. New York, NY, USA : ACM Press, 2005. pp. 13-23
    @inproceedings{a2ffd86e165d4f8eb6c999cd2c7c8e3e,
    title = "From StoCharts to MoDeST: a comparative reliability analysis of train radio communications",
    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{\"o}bius tool tandem. Second, we exploit this translation for a detailed analysis of the train radio case study.",
    keywords = "EWI-1293, METIS-229282, IR-54793, European Train Control System (ETCS), Reliability, Wireless communication, Concurrency, tool support, Stochastic systems, UML",
    author = "H. Hermanns and D.N. Jansen and Y.S. Usenko",
    note = "HJU05",
    year = "2005",
    month = "7",
    doi = "10.1145/1071021.1071023",
    language = "Undefined",
    isbn = "1-59593-087-6",
    publisher = "ACM Press",
    pages = "13--23",
    booktitle = "Proceedings of the 5th international workshop on Software and performance",

    }

    Hermanns, H, Jansen, DN & Usenko, YS 2005, From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. in Proceedings of the 5th international workshop on Software and performance. ACM Press, New York, NY, USA, pp. 13-23. https://doi.org/10.1145/1071021.1071023

    From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. / Hermanns, H.; Jansen, D.N.; Usenko, Y.S.

    Proceedings of the 5th international workshop on Software and performance. New York, NY, USA : ACM Press, 2005. p. 13-23.

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

    TY - GEN

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

    AU - Hermanns, H.

    AU - Jansen, D.N.

    AU - Usenko, Y.S.

    N1 - HJU05

    PY - 2005/7

    Y1 - 2005/7

    N2 - 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.

    AB - 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.

    KW - EWI-1293

    KW - METIS-229282

    KW - IR-54793

    KW - European Train Control System (ETCS)

    KW - Reliability

    KW - Wireless communication

    KW - Concurrency

    KW - tool support

    KW - Stochastic systems

    KW - UML

    U2 - 10.1145/1071021.1071023

    DO - 10.1145/1071021.1071023

    M3 - Conference contribution

    SN - 1-59593-087-6

    SP - 13

    EP - 23

    BT - Proceedings of the 5th international workshop on Software and performance

    PB - ACM Press

    CY - New York, NY, USA

    ER -

    Hermanns H, Jansen DN, Usenko YS. From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In Proceedings of the 5th international workshop on Software and performance. New York, NY, USA: ACM Press. 2005. p. 13-23 https://doi.org/10.1145/1071021.1071023