Mostra el registre d'ítem simple
METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models
| dc.contributor.author | Carrasco, Juan A. |
| dc.contributor.author | Domingo Fuster, José Luis |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica |
| dc.date.accessioned | 2014-07-18T09:20:34Z |
| dc.date.available | 2014-07-18T09:20:34Z |
| dc.date.created | 1997 |
| dc.date.issued | 1997 |
| dc.identifier.citation | Carrasco, 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. |
| dc.identifier.uri | http://hdl.handle.net/2117/23555 |
| dc.description.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. |
| dc.format.extent | 6 p. |
| dc.language.iso | eng |
| dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat |
| dc.subject.lcsh | Markov processes |
| dc.title | METFAC-2: A tool for specification and solution of Markov performance, dependability and performability models |
| dc.type | Conference report |
| dc.subject.lemac | Markov, Processos de |
| dc.contributor.group | Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat |
| dc.rights.access | Open Access |
| local.identifier.drac | 2460543 |
| dc.description.version | Postprint (published version) |
| local.citation.author | Carrasco, J.; Domingo, J. |
| local.citation.contributor | Design of Circuits and Integrated Systems Conference |
| local.citation.pubplace | Sevilla |
| local.citation.publicationName | Proc. XII Design of Circuits and Integrated Systems Conf. |
| local.citation.startingPage | 195 |
| local.citation.endingPage | 200 |
