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.

Subject(s):

Àrees temàtiques de la UPC::Matemàtiques i estadística::ProbabilitatMarkov processesMarkov, Processos de