SURF-2 a Tool for Dependability Modeling and Evaluation
SURF-2 is a software tool for evaluating system dependability. 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.
KeywordsMarkov Chain Global Variable Reward Structure Reachability Graph Model Folder
Unable to display preview. Download preview PDF.
- A. Marsan, G. Balbo and G. Conte, “A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems”, ACM Trans. Computer Systems, 2 (2), pp. 93–122, May 1984.Google Scholar
- R. A. Howard, Dynamic Probabilistic Systems, vol. II, Wiley, New York, 1971.Google Scholar
- S. Bachman et al., SURF-2 User’s Guide, LAAS-CNRS, Research Report, June 1996.Google Scholar
- K. Kanoun and M. Borrel, “Dependability of Fault-tolerant Systems Explicit Modeling of the Interactions Between Hardware and Software Components”, IEEE International Computer Performance and Dependability Symposium, ( Urbana-Champaign, IL, USA ), September 1996.Google Scholar
- K. Kanoun, M. Borrel, T. Moreteveille and A. Peytavin, “Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System”, in 26th Int. Symp. Fault- Tolerant Computing (FTCS-26), (Sendai, Japan), LAAS-Report 95–515.Google Scholar
- C. Ziegler, “Sûreté de fonctionnement des systèmes électroniques embarqués sur automobile”, Thèse de Doctorat de l’INPT, July 1996 (in French).Google Scholar