Markov models are often used for the evaluation of performance, dependability and performability of systems and a number of tools supporting their use have been developed in the past. In this paper we overview METFAC-2, a tool for the specification and solution of Markov rewarded models, which is an evolution of a former tool of that type. Main features of the tool are a flexible model specification language based on production rules, a wide range of measures, and efficient numerical solution methods. The tool can deal with models with up to hundreds of thousands of states. A performability model is used to illustrate some aspects of the tool.
CitationCarrasco, J.; Domingo, J. METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models. A: Design of Circuits and Integrated Systems Conference. "Proc. XII Design of Circuits and Integrated Systems Conf.". Sevilla: 1997, p. 195-200.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com