Performability Modelling Tools and Techniques

Boudewijn R.H.M. Haverkort, I.G.M.M. Niemegeers

Research output: Contribution to journalArticleScientificpeer-review

Abstract

Over the last decade considerable effort has been put in the development of techniques to assess the performance and the dependability of computer and communication systems in an integrated way. This so-called performability modelling becomes especially useful when the system under study can operate partially, which is for instance the case for fault-tolerant computer systems and distributed systems. Modelling techniques are a fundamental prerequisite for actually doing performability analysis. A prerequisite of a more practical but not less important nature is the availability of software tools to support the modelling techniques and to allow system designers to incorporate the new techniques in the design process of systems. Since performability modelling requires many aspects of a system to be specified, high requirements should be posed on performability modelling tools. Moreover, these tools should be structured such that the models can be specified at a level that is easy to understand for a system designer, and that the mathematical aspects are hidden as much as possible. The output of the tool should also be such that it can be understood with only limited knowledge of the underlying mathematical model. We have developed a new, fairly general modelling tool framework that can be used as a guide to assess the usability and structure of performability modelling tools. After briefly reviewing the mathematical aspects of performability modelling we discuss this framework. We then discuss 12 recently developed tools (Metaphor, Numas, Metasan, Metfac, Save, Sharpe, SPNP, Tangram, Penpet, UltraSAN, Surf-2, DyQNtool+) that can all be used for some aspects of performability modelling and analysis. We assess among other things their structure, their capabilities in terms of measures that can be obtained, and the used modelling formalism. We also discuss directions for future work in the field of performability modelling tools.
Original languageEnglish
Pages (from-to)17-40
Number of pages24
JournalPerformance Evaluation
Volume25
Issue number1
DOIs
Publication statusPublished - 1996
Externally publishedYes

Fingerprint

Performability
Modeling
Fault tolerant computer systems
Tangram
Communication systems
Computer systems
Availability
Dependability
Mathematical models
Software Tools
Fault-tolerant
Thing
Usability
Design Process
Communication Systems
Distributed Systems

Keywords

  • IR-17933
  • METIS-118452
  • EWI-7881

Cite this

Haverkort, Boudewijn R.H.M. ; Niemegeers, I.G.M.M. / Performability Modelling Tools and Techniques. In: Performance Evaluation. 1996 ; Vol. 25, No. 1. pp. 17-40.
@article{112622aedada449fa94fa4dd666ee7c6,
title = "Performability Modelling Tools and Techniques",
abstract = "Over the last decade considerable effort has been put in the development of techniques to assess the performance and the dependability of computer and communication systems in an integrated way. This so-called performability modelling becomes especially useful when the system under study can operate partially, which is for instance the case for fault-tolerant computer systems and distributed systems. Modelling techniques are a fundamental prerequisite for actually doing performability analysis. A prerequisite of a more practical but not less important nature is the availability of software tools to support the modelling techniques and to allow system designers to incorporate the new techniques in the design process of systems. Since performability modelling requires many aspects of a system to be specified, high requirements should be posed on performability modelling tools. Moreover, these tools should be structured such that the models can be specified at a level that is easy to understand for a system designer, and that the mathematical aspects are hidden as much as possible. The output of the tool should also be such that it can be understood with only limited knowledge of the underlying mathematical model. We have developed a new, fairly general modelling tool framework that can be used as a guide to assess the usability and structure of performability modelling tools. After briefly reviewing the mathematical aspects of performability modelling we discuss this framework. We then discuss 12 recently developed tools (Metaphor, Numas, Metasan, Metfac, Save, Sharpe, SPNP, Tangram, Penpet, UltraSAN, Surf-2, DyQNtool+) that can all be used for some aspects of performability modelling and analysis. We assess among other things their structure, their capabilities in terms of measures that can be obtained, and the used modelling formalism. We also discuss directions for future work in the field of performability modelling tools.",
keywords = "IR-17933, METIS-118452, EWI-7881",
author = "Haverkort, {Boudewijn R.H.M.} and I.G.M.M. Niemegeers",
note = "Imported from research group DACS (ID number 443)",
year = "1996",
doi = "10.1016/0166-5316(94)00038-7",
language = "English",
volume = "25",
pages = "17--40",
journal = "Performance Evaluation",
issn = "0166-5316",
publisher = "Elsevier",
number = "1",

}

Performability Modelling Tools and Techniques. / Haverkort, Boudewijn R.H.M.; Niemegeers, I.G.M.M.

In: Performance Evaluation, Vol. 25, No. 1, 1996, p. 17-40.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Performability Modelling Tools and Techniques

AU - Haverkort, Boudewijn R.H.M.

AU - Niemegeers, I.G.M.M.

N1 - Imported from research group DACS (ID number 443)

PY - 1996

Y1 - 1996

N2 - Over the last decade considerable effort has been put in the development of techniques to assess the performance and the dependability of computer and communication systems in an integrated way. This so-called performability modelling becomes especially useful when the system under study can operate partially, which is for instance the case for fault-tolerant computer systems and distributed systems. Modelling techniques are a fundamental prerequisite for actually doing performability analysis. A prerequisite of a more practical but not less important nature is the availability of software tools to support the modelling techniques and to allow system designers to incorporate the new techniques in the design process of systems. Since performability modelling requires many aspects of a system to be specified, high requirements should be posed on performability modelling tools. Moreover, these tools should be structured such that the models can be specified at a level that is easy to understand for a system designer, and that the mathematical aspects are hidden as much as possible. The output of the tool should also be such that it can be understood with only limited knowledge of the underlying mathematical model. We have developed a new, fairly general modelling tool framework that can be used as a guide to assess the usability and structure of performability modelling tools. After briefly reviewing the mathematical aspects of performability modelling we discuss this framework. We then discuss 12 recently developed tools (Metaphor, Numas, Metasan, Metfac, Save, Sharpe, SPNP, Tangram, Penpet, UltraSAN, Surf-2, DyQNtool+) that can all be used for some aspects of performability modelling and analysis. We assess among other things their structure, their capabilities in terms of measures that can be obtained, and the used modelling formalism. We also discuss directions for future work in the field of performability modelling tools.

AB - Over the last decade considerable effort has been put in the development of techniques to assess the performance and the dependability of computer and communication systems in an integrated way. This so-called performability modelling becomes especially useful when the system under study can operate partially, which is for instance the case for fault-tolerant computer systems and distributed systems. Modelling techniques are a fundamental prerequisite for actually doing performability analysis. A prerequisite of a more practical but not less important nature is the availability of software tools to support the modelling techniques and to allow system designers to incorporate the new techniques in the design process of systems. Since performability modelling requires many aspects of a system to be specified, high requirements should be posed on performability modelling tools. Moreover, these tools should be structured such that the models can be specified at a level that is easy to understand for a system designer, and that the mathematical aspects are hidden as much as possible. The output of the tool should also be such that it can be understood with only limited knowledge of the underlying mathematical model. We have developed a new, fairly general modelling tool framework that can be used as a guide to assess the usability and structure of performability modelling tools. After briefly reviewing the mathematical aspects of performability modelling we discuss this framework. We then discuss 12 recently developed tools (Metaphor, Numas, Metasan, Metfac, Save, Sharpe, SPNP, Tangram, Penpet, UltraSAN, Surf-2, DyQNtool+) that can all be used for some aspects of performability modelling and analysis. We assess among other things their structure, their capabilities in terms of measures that can be obtained, and the used modelling formalism. We also discuss directions for future work in the field of performability modelling tools.

KW - IR-17933

KW - METIS-118452

KW - EWI-7881

U2 - 10.1016/0166-5316(94)00038-7

DO - 10.1016/0166-5316(94)00038-7

M3 - Article

VL - 25

SP - 17

EP - 40

JO - Performance Evaluation

JF - Performance Evaluation

SN - 0166-5316

IS - 1

ER -