Construction and Verification of Performance and Reliability Models

Holger Hermanns

Construction and Verification of Performance and Reliability Models

Holger Hermanns

Research output: Contribution to journal › Article › Academic

53 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 language	English
Pages (from-to)	135-153
Number of pages	19
Journal	Bulletin of the European Association for Theoretical Computer Science
Volume	74
Publication status	Published - 2001

Keywords

FMT-MC: MODEL CHECKING
FMT-PA: PROCESS ALGEBRAS
FMT-PM: PROBABILISTIC METHODS
FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

Access to Document

ArticleFinal published version, 270 KB

Cite this

@article{480435ffa12d4722bb47f82e4ed58cc1,

title = "Construction and Verification of Performance and Reliability Models",

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.",

keywords = "FMT-MC: MODEL CHECKING, FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS",

author = "Holger Hermanns",

year = "2001",

language = "English",

volume = "74",

pages = "135--153",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}

TY - JOUR

T1 - Construction and Verification of Performance and Reliability Models

AU - Hermanns, Holger

PY - 2001

Y1 - 2001

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

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

KW - FMT-MC: MODEL CHECKING

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-PM: PROBABILISTIC METHODS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

M3 - Article

SN - 0252-9742

VL - 74

SP - 135

EP - 153

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

ER -

Construction and Verification of Performance and Reliability Models

Abstract

Keywords

Access to Document

Fingerprint

Cite this