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

fYear

1993

fDate

22-24 June 1993

Firstpage

668

Lastpage

673

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on

Conference_Location

Toulouse, France

ISSN

0731-3071

Print_ISBN

0-8186-3680-7

Type

conf

DOI

10.1109/FTCS.1993.627372

Filename

627372