Title:
|
METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models
|
Author:
|
Carrasco, Juan A.; Domingo Fuster, José Luis
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica; Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat |
Abstract:
|
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::Probabilitat -Markov processes -Markov, Processos de |
Rights:
|
|
Document type:
|
Article - Published version Conference Object |
Share:
|
|