Retour au site du LAAS-CNRS

SURF-2 : outil d'évaluation de la sûreté de fonctionnement par chaînes de Markov et réseaux de Petri stochastiques

S.METGE, M.AGUERA, J.ARLAT, S.BACHMANN, C.BOURDEAU, J.E.DOUCET, K.KANOUN, J.C.LAPRIE, J.MOREIRA DE SOUZA, D.POWELL, P.SPIESSER

TSF, 2I, EXT

Manifestation avec acte : 9ème Colloque International de Fiabilité et de Maintenabilité (ESREL'94) (Short Paper), La Baule (France), 30 Mai - 3 Juin 1994, pp.19-22 , N° 94088

Diffusable

Ajouter au panier 9578

Principes d'implémentation d'un protocole haut débit à l'aide des streams

M.AGUERA, M.FOURNIER

2I, OLC

Rapport de Contrat : Contrat CNET FT N°92.1B.178. Projet CESAME. Lot 1, Mars 1994, 33p. , N° 94179

Diffusable

Ajouter au panier 9908

Principes de conception d'un protocole de transport haute vitesse

M.AGUERA, C.BOURDEAU, A.MAURAND

2I, OLC

Rapport de Contrat : Contrat CNET FT N°92.1B.178. Lot 1, Décembre 1993, 71p. , N° 93490

Diffusable

Ajouter au panier 9074

SURF-2: a program for dependability evaluation of complex hardware and software systems

C.BEOUNES, M.AGUERA, J.ARLAT, S.BACHMANN, C.BOURDEAU, J.E.DOUCET, K.KANOUN, J.C.LAPRIE, S.METGE, J.MOREIRA DE SOUZA, D.POWELL, P.SPIESSER

TSF, 2I, EXT

Manifestation avec acte : 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS'23), Toulouse (France), 22-24 Juin 1993, pp.668-673 , N° 92490

Diffusable

Ajouter au panier 7175

Sockets UNIX. Exemples d'utilisation

V.THOMAS-BAUDIN, M.AGUERA, C.BOURDEAU, J.M.PONS

2I, OLC

Rapport LAAS N°92200, Juin 1992, 52p.

Diffusable

Ajouter au panier 6332

Spécification SURF2. Les outils. Version : analyse mono-étude

M.AGUERA, S.BACHMANN, J.E.DOUCET, P.SPIESSER

2I, TSF

Rapport LAAS N°91364, Septembre 1991, 52p.

Non diffusable

Ajouter au panier 4911

Experimental evaluation of the fault tolerance of an atomic multicast system

J.ARLAT, M.AGUERA, Y.CROUZET, J.C.FABRE, E.MARTINS, D.POWELL

TSF, 2I

Revue Scientifique : IEEE Transactions on Reliability. Special Issue "Experimental Evaluation of Computer Systems Reliability", Vol.39, N°4, pp.455-467, Octobre 1990 , N° 90011

Diffusable

Ajouter au panier 1141

Fault injection for dependability validation: a methodology and some applications

J.ARLAT, M.AGUERA, L.AMAT, Y.CROUZET, J.C.FABRE, J.C.LAPRIE, E.MARTINS, D.POWELL

TSF, 2I

Revue Scientifique : IEEE Transactions on Software Engineering. Special Issue on Experimental Computer Science, Vol.16, N°2, pp.166-182, Février 1990 , N° 89124

Diffusable

Ajouter au panier 1459