Affordable Access

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

Centre for Telematics and Information Technology, University of Twente
Publication Date
  • Communication
  • Computer Science
  • Design
  • Mathematics


PII: 0166-5316(94)00038-7 ELSEVIER Performance Evaluation 25 ( 1996) 174 Performability modelling tools and techniques Boudewijn R. Haverkort *, Ignas G. Niemegeers Tele-infomuztics and Open Systems, University of Twente, P.0. Box 217, 7500 AE Enschede, The Netherlands Received 1 June 1992; revised 8 April 1994 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 per-formability 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 perfotmability 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 per-formability mcxlelling 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 f

There are no comments yet on this publication. Be the first to share your thoughts.