SURF-2 a Tool for Dependability Modeling and Evaluation

  • L. Blain
  • J.-E. Doucet


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.


Markov Chain Global Variable Reward Structure Reachability Graph Model Folder 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [3]
    R. A. Howard, Dynamic Probabilistic Systems, vol. II, Wiley, New York, 1971.Google Scholar
  3. [2]
    S. Bachman et al., SURF-2 User’s Guide, LAAS-CNRS, Research Report, June 1996.Google Scholar
  4. [4]
    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
  5. [5]
    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
  6. [6]
    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

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • L. Blain
    • 1
  • J.-E. Doucet
    • 1
  1. 1.LAAS-CNRS 7Toulouse CedexFrance

Personalised recommendations