Probabilistic Modeling

J. F. Meyer




Abstract

Evaluation of computer system dependability and performability is reviewed with respect to techniques based on probabilistic models. Emphasis is placed on the general nature of models for this purpose, along with issues concerning their specification, construction, and solution. Although specific applications are not covered, the focus is on techniques which can accommodate the evaluation of complex fault-tolerant systems.

Keywords: model-based evaluation, dependability, performability.



Compressed PostScript File: ftcs25.ps.zip