METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models
Juan Antonio Carrasco, José Luis Domingo Fuster · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 1997
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.