Title :
SURF-2: A program for dependability evaluation of complex hardware and software systems
Author :
Béounes, C. ; Aguéra, M. ; Arlat, J. ; Bachmann, S. ; Bourdeau, C. ; Doucet, J.E. ; Kanoun, K. ; Laprie, J.C. ; Metge, S. ; De Souza, J. Moreira ; Powell, D. ; Spiesser, P.
Author_Institution :
CEP SYSTEMES, Paris, France
Abstract :
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.
Keywords :
software reliability; Markov chains; SURF-2; asymptotic measures; complex hardware and software systems; dependability evaluation; evaluation-based system design approach; generalized stochastic Petri nets; mean sojourn times; measures of dependability; multiple design solutions; performance; pointwise measures; reward measures; reward structure; software tool; system behaviour; system dependability; Costs; Hardware; Humans; Performance evaluation; Petri nets; Process design; Software systems; Software tools; Stochastic processes; Stochastic systems;
Conference_Titel :
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on
Conference_Location :
Toulouse, France
Print_ISBN :
0-8186-3680-7
DOI :
10.1109/FTCS.1993.627372
