SURF-2

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

English version

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) :

• Si vous avez trouvé un bug, indiquez le nous:

  
  
  

• Si vous voulez mettre à jour votre version, regardez ci-dessous pour les dernières informations:
  
  

  Dernières nouvelles à propos de SURF-2
  	Correction d'un bug dans l'Evaluateur de Predicats Récupérez Traduct  pour Solaris1 Récupérez Traduct  pour Solaris2
  1/5/97	La version 3.0 of SURF-2 is disponible (Gratuit pour les utilisateurs de la V2) ! Les principales améliorations sont: Interface partiellement redéssinée, L'Export/import des modèles/études refaits, Exportation des resultats, Nouveau menu de configuration, Amélioration des claculs pour de gros modèles, Utilisation des predicats dans les transitions, Quelques bugs gênants éliminés. Contactez Charles.Bourdeau@laas.fr pour obtenir la dernière version de SURF-2 Un Addendum de la documentation de SURF-2 V2 est disponible. Attention! Les modèles écrits par la version 3 ne peuvent plus être lus par la version 2.
  5/7/96	Correction d'un bug dans l'Editeur de Modèles (impossible de lire des modèles si la variable DISPLAY est :0.0) Récupérez Markov_Editor  et Petri_Editor pour Solaris1 Récupérez Markov_Editor  et Petri_Editor pour Solaris2
  2/7/96	Correction du bug dans l'Editeur de Model Folder (si une variable globale est transformée en une variable locale les résultats corrects sont affichés) Récupérez Model Folder Editor pour Solaris 1 Récupérez Model Folder Editor pour Solaris 2 Correction du bug dans l'Afficheur de Résultats (si il existe une seule combinaison de variables globales les résultats corrects sont affichés) Récupérez Results Viewer pour Solaris 1 Récupérez Results Viewer pourSolaris 2
  17/6/96	Nouvelle version de SURF-2 disponble (V2.1): Amélioration des algorithmes de calcul Fonctionne sous Solaris-2. Quelques bugs ennuyeux corrigés. Quelques problèmes X-Windows corrigés. Nouveau menu (MISC) permettant de supprimer les anciens résultats, de vérifier la base, et de modifier son environnement. Contacter Charles Bourdeau pour plus d'informations. Version de démonstration disponible.

Retour à la page primcipale du LAAS