SURF-2

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

How to get SURF-2

Configuration:

• SUN-4, Sparcstation-4, Sparcstation-5, UltraSparc, ...
• SUN OS 4.1.x or SOLARIS 2.x
• X-Window (X11R5)

Licence

SURF-2 licence is distributed by LAAS-CNRS under the following conditions:

• 20000 FF for commercial organisations,
• 5000 FF for Universities, Schools or any non-profit organisation.

Contacts:

• For commercial information, Charles.Bourdeau@laas.fr
• For technical information, Laurent.Blain@laas.fr

Try SURF-2

A demonstration version (limited number of places/states) is available. This version has all the functionalities of the commercial version of SURF-2 but does not permit to build a model larger than 10 Petri places or Markov states.