|
Título:
|
METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models
|
|
Autor/a:
|
Carrasco, Juan A.; Domingo Fuster, José Luis
|
|
Otros autores:
|
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. |
|
Materia(s):
|
-Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat
-Markov processes
-Markov, Processos de |
|
Derechos:
|
|
|
Tipo de documento:
|
Artículo - Versión publicada
Objeto de conferencia |
|
Compartir:
|
|
