SURF-2

A TOOL FOR DEPENDABILITY EVALUATION
BASED ON MARKOV CHAINS
AND STOCHASTIC PETRI NETS

Version Française


SURF-2 is a dependability evaluation tool for hardware and software systems, based on strict construction, validation and numerical resolution of Markov models.
System behaviour is modelized by either a Markov Chain or a Generalized Stochastic Petri Net (GSPN).
SURF-2 makes the comparison of dependability of various system architectures easy.
Reward structures can be added to the behavioural model and permit to get combined measures of dependability, performance or cost.



If you are interested in Software Reliability give a look at:

SoRel

an other tool for Macintosh developped at LAAS.


If you already have SURF-2 (a demo or an official licensed version) :


Back to LAAS main page


Last modification 28/05/97 (Laurent.Blain@laas.fr)