![Journal cover image](https://secure.syndetics.com/index.aspx?isbn=/lc.gif&issn=1573-7594&client=dukeuniv)
Specification techniques for Markov reward models
Markov reward models (MRMs) are commonly used for the performance, dependability, and performability analysis of computer and communication systems. Many papers have addressed solution techniques for MRMs. Far less attention has been paid to the specification of MRMs and the subsequent derivation of the underlying MRM. In this paper we only briefly address the mathematical aspects of MRMs. Instead, emphasis is put on specification techniques. In an application independent way, we distinguish seven classes of specification techniques: stochastic Petri nets, queuing networks, fault trees, production rule systems, communicating processes, specialized languages, and hybrid techniques. For these seven classes, we discuss the main principles, give examples and discuss software tools that support the use of these techniques. An overview like this has not been presented in the literature before. Finally, the paper addresses the generation of the underlying MRM from the high-level specification, and indicates important future research areas. © 1993 Kluwer Academic Publishers.
Duke Scholars
Published In
DOI
EISSN
ISSN
Publication Date
Volume
Issue
Start / End Page
Related Subject Headings
- Industrial Engineering & Automation
- 4901 Applied mathematics
- 0802 Computation Theory and Mathematics
- 0102 Applied Mathematics
Citation
![Journal cover image](https://secure.syndetics.com/index.aspx?isbn=/lc.gif&issn=1573-7594&client=dukeuniv)
Published In
DOI
EISSN
ISSN
Publication Date
Volume
Issue
Start / End Page
Related Subject Headings
- Industrial Engineering & Automation
- 4901 Applied mathematics
- 0802 Computation Theory and Mathematics
- 0102 Applied Mathematics