Construction and Verification of Performance and Reliability Models

H. Hermanns

    Research output: Contribution to journalArticleAcademic

    25 Downloads (Pure)

    Abstract

    Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models.
    Original languageUndefined
    Pages (from-to)135-153
    Number of pages19
    JournalBulletin of the European Association for Theoretical Computer Science
    Volume74
    Publication statusPublished - 2001

    Keywords

    • IR-66254
    • EWI-6379
    • FMT-MC: MODEL CHECKING
    • FMT-PA: PROCESS ALGEBRAS
    • FMT-PM: PROBABILISTIC METHODS
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

    Cite this