SURF-2

OUTIL D'EVALUATION DE LA SURETE DE FONCTIONNEMENT
PAR CHAINES DE MARKOV
ET RESEAUX DE PETRI STOCHASTIQUES

English version


SURF-2 est un outil d'évaluation de la sûreté de fonctionnement des systèmes matériels et logiciels basée sur la construction rigoureuse, la validation et la résolution numérique de modèles markoviens.

Le comportement d'un système est modélisé soit par une chaîne de Markov, soit au moyen d'un réseau de Petri Stochastique Généralisé (RdPsG)

SURF-2 facilite l'études comparative de la sureté de fonctionnement pour diverses architectures d'un système.

La superposition d'une structure dite de récompense au modèle comportemental permet d'évaluer des mesures combinées de sureté de fonctionnement de performance ou de coût.



Si vous êtes intéressé par la Fiabilité du Logiciel, jetez un oeil à:

SoRel

un autre outil sur Macintosh développé au LAAS.


Si vous possédez déjà SURF-2 (une version de démonstration ou officielle) :


Retour à la page primcipale du LAAS


Dernière modification 21/06/96 (Laurent.Blain@laas.fr)