Probabilities of qualitative behaviors for dependability analysis of a fault-tolerance model
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
| Hi-index | 0.00 |
Dependability measures (such as reliability, mean time to failure, availability) are important criteria for the design of computer-based applications, as well as for their validation. In this paper important techniques for dependability modeling are discussed, including methods of model construction and model solution. Some of the recent software packages for dependability analysis are compared: ADVISER, ARIES, CARE III, GRAMP, HARP, METFAC, SAVE, SHARPE, and SURF. The assumptions and properties of the software packages are analyzed with respect to a variety of different criteria including user interface, supported structures and principles, reconfiguration, repair, and solution method.