Compositional Performance Modelling with the TIPPtool

H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, M. Siegle

    Research output: Contribution to journalArticleAcademicpeer-review

    46 Citations (Scopus)
    100 Downloads (Pure)

    Abstract

    Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations.
    Original languageEnglish
    Pages (from-to)5-35
    Number of pages31
    JournalPerformance evaluation
    Volume39
    Issue number1-4
    DOIs
    Publication statusPublished - 2000
    Event10th International Conference on Modelling Techniques and Tools, TOOLS 1998 - Palma de Mallorca, Spain
    Duration: 14 Sep 199818 Sep 1998
    Conference number: 10

    Keywords

    • FMT-TOOLS
    • FMT-PA: PROCESS ALGEBRAS
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

    Fingerprint Dive into the research topics of 'Compositional Performance Modelling with the TIPPtool'. Together they form a unique fingerprint.

    Cite this