SURF-2: A program for dependability evaluation of complex hardware and software systems

SURF-2, a software tool for evaluating system dependability, is described. It is especially designed for an evaluation-based system design approach in which multiple design solutions need to be compared from the dependability viewpoint. System behavior may be modeled either by Markov chains or by generalized stochastic Petri nets. The tool supports the evaluation of different measures of dependability, including pointwise measures, asymptotic measures, mean sojourn times and, by superposing a reward structure on the behavior model, reward measures such as expected performance or cost.

[1]  Christian Landrault,et al.  SURF A PROGRAM FOR DEPENDABILITY EVALUATlON OF COMPLEX FAULT-TOLERANT COMPUTING SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[2]  Ajmone MarsanMarco,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984 .

[3]  David R. Cox,et al.  The Theory of Stochastic Processes , 1967, The Mathematical Gazette.

[4]  Daniel P. Siewiorek,et al.  Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures , 1982, IEEE Transactions on Computers.

[5]  William H. Sanders,et al.  Performability modeling with UltraSAN , 1991, IEEE Software.

[6]  Francis P. Mathu.  Automation of reliability evaluation procedures through CARE: the computer-aided reliability estimation program , 1972, AFIPS '72 (Fall, part I).

[7]  David R. Cox,et al.  The Theory of Stochastic Processes , 1967, The Mathematical Gazette.

[8]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

[9]  John G. Kemeny,et al.  Finite Markov Chains. , 1960 .

[10]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[11]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[12]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[13]  William H. Sanders,et al.  METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks , 1986, FJCC.

[14]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[15]  S. Natkin,et al.  RDPS: A Software Package for the Validation and Evaluation of Dependable Computer Systems , 1986 .

[16]  Miroslaw Malek,et al.  Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.

[17]  Kishor S. Trivedi,et al.  The hybrid automated reliability predictor , 1986 .

[18]  Ricky W. Butler,et al.  The SURE approach to reliability analysis , 1992 .