Retour au site du LAAS-CNRS

Projet commande de vol du futur (CVF)

A.YOUSSEF, A.DE BONNEVAL, Y.CROUZET, J.J.AUBERT, P.BROT

TSF, AIRBUS France

Rapport de Contrat : Contrat AIRBUS N° 380999, Février 2003, 72p. , N° 03540

Diffusable

Ajouter au panier 101530

The DBench framework for dependability benchmarking

J.ARLAT, K.KANOUN, Y.CROUZET, H.MADEIRA, M.DAL CIN, P.GIL, D.J.G.COSTA

TSF, University of Coimbr, Friedrich, Valencia, Critical Software

Rapport de Contrat : DBench, Project IST-2000-25425, Janvier 2003, 21p. , N° 03025

Diffusable

Ajouter au panier 100605

Analysis of the effects of real and injected software faults: Linux as a case study?

M.T.JARBOUI, J.ARLAT, Y.CROUZET, K.KANOUN, T.MARTEAU

TSF

Manifestation avec acte : 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Tsukuba (Japon), 16-18 Décembre 2002, pp.51-58 , N° 02236

Diffusable

Ajouter au panier 100320

Experimental analysis of the errors induced into Linux by three fault injection techniques

M.T.JARBOUI, J.ARLAT, Y.CROUZET, K.KANOUN

TSF

Manifestation avec acte : 2002 International Conference on Dependable Systems & Networks (DSN'2002), Washington (USA), 23-26 Juin 2002, pp.331-336 , N° 01579

Diffusable

Ajouter au panier 52507

Faultload representativeness for dependability benchmarking

J.ARLAT, Y.CROUZET

TSF

Manifestations avec acte à diffusion limitée : Workshop on Dependability Benchmarking, Washington (USA), 23-26 Juin 2002, pp.F.29-F.30 , N° 02272

Diffusable

Ajouter au panier 52586

Fault representativeness

P.GIL, J.ARLAT, H.MADEIRA, Y.CROUZET, M.T.JARBOUI, K.KANOUN, T.MARTEAU, J.DURAES, M.VIEIRA, D.GIL, J.C.BARAZA, J.GRACIA

TSF, University of Coimbr, Valencia

Rapport de Contrat : DBench, Project IST-2000-25425, Juin 2002, 101p. , N° 02618

Diffusable

Ajouter au panier 101091

Measurements

K.KANOUN, Y.CROUZET, J.ARLAT, H.MADEIRA

TSF, University of Coimbr

Rapport de Contrat : DBench, Project IST-2000-25425 , Juin 2002, 21p. , N° 02619

Diffusable

Ajouter au panier 101093

Dependability benchmark definition: DBench prototypes

H.MADEIRA, J.ARLAT, K.BUCHACKER, D.J.G.COSTA, Y.CROUZET, M.DAL CIN, J.DURAES, P.GIL, M.T.JARBOUI, A.JOHANSSON, K.KANOUN, L.LEMUS, R.LINDSTROM, J.J.SERRANO, N.SURI, M.VIEIRA

University of Coimbr, TSF, Friedrich, Critical Software, Valencia, Chalmers

Rapport de Contrat : DBench, Project IST-2000-25425, Juin 2002, 43p. , N° 02552

Diffusable

Ajouter au panier 101089

Towards a framework for dependability benchmarking

H.MADEIRA, K.KANOUN, J.ARLAT, D.J.G.COSTA, Y.CROUZET, M.DAL CIN, P.GIL, N.SURI

University of Coimbr, TSF, Critical Software, Valencia, Chalmers, Friedrich

Rapport LAAS N°02106, Mars 2002, 17p.

Diffusable

Ajouter au panier 50992

Preliminary dependability benchmark framework

H.MADEIRA, K.KANOUN, J.ARLAT, Y.CROUZET, A.JOHANSSON, R.LINDSTROM

University of Coimbr, TSF, Chalmers

Rapport de Contrat : DBench, Project IST-2000-25425, Septembre 2001, 44p. , N° 01604

Diffusable

Ajouter au panier 49662