Construction and Verification of Performance and Reliability Models

H. Hermanns

Construction and Verification of Performance and Reliability Models

H. Hermanns

Research output: Contribution to journal › Article › Academic

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 language	Undefined
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

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

Access to Document

eatcs01
open
eatcs01
open

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 = "IR-66254, EWI-6379, FMT-MC: MODEL CHECKING, FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS",

author = "H. Hermanns",

year = "2001",

language = "Undefined",

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

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 - IR-66254

KW - EWI-6379

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

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

SN - 0252-9742

ER -