SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES

S Metge (1) , Martine Aguéra (2, 3) , Jean Arlat (1) , Serge Bachmann (2, 3) , C. Bourdeau (2) , J.-E Doucet (2) , Karama Kanoun (1) , J.-C Laprie (1) , J Moreira (2) , David Powell (1) , Philippe Spiesser (2)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
2 LAAS - Laboratoire d'analyse et d'architecture des systèmes
3 LAAS-2I

SURF-2 est un outil d'évaluation de la sûreté de fonctionnement des systèmes matériels et logiciels grâce à la construction rigoureuse, la validation et la résolution numérique de modèles markoviens. Il a été spécialement conçu pour une approche conceptuelle des systèmes basée sur l'évaluation comparative de plusieurs solutions d'architectures vis-à-vis de leur sûreté de fonctionnement. Dans SURF-2, le comportement d'un système peut être modélisé soit par une chaîne de Markov, soit au moyen d'un réseau de Petri Stochastique Généralisé (RdPsG). La superposition d'une structure dite de récompense au modèle de comportement étudié donne la possibilité d'évaluer des mesures combinées de sûreté de fonctionnement performance ou coût.

Domaines: Informatique [cs]; Modélisation et simulation

S Metge, Martine Aguéra, Jean Arlat, Serge Bachmann, C. Bourdeau, et al.. SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES. 9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France. ⟨hal-01985267⟩