PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
The use of discrete-state, continuous- time Markov processes (MP, for short) has been shown useful for the modeling and evaluation of Fault -Tolerant Computing Systems. The efficient application of Fault-Tolerant Computing Systems. The efficient application of this approach to complex systems depends largely on the availability of powerful software tools that provide “friendly” utilities to specify and run the models, and that can deal with large size MPs. Both aspects have been considered in the design and implementation of a software tool called METFAC. This paper discusses the framework solutions on which the tool is based and presents some performance metrics. In relation to the framework solutions, the following aspects are considered: generative specification of the models by production rules, and sparse analytical evaluation of the measures.
CitationCarrasco, J.; Figueras, J. METFAC: design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems. A: Annual International Symposium on Fault-Tolerant Computing Systems. "The 16th Annual International Symposium on Fault-Tolerant Computing Systems: FTCS-16 digest of papers: Vienna, Austria, 1-4 July 1986". Viena: Institute of Electrical and Electronics Engineers (IEEE), 1986, p. 424-429.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org