Retour au site du LAAS-CNRS

Evaluation methodologies, techniques and tool (preliminary version). Deliverable n° D4.1.1

P.LOLLINI, A.BONDAVALLI, J.ARLAT, M.CLEMETSEN, L.FALAI, A.F.HANSEN, MBOGSTADT HANSEN, M.KAANICHE, K.KANOUN, Y.LIU, M.MAGYAR, I.MAJZIK, E.V.MATTHIESEN, J.G.RASMUSSEN, H.P.SCHWEFEL

UNIFI, TSF, TELENOR, AAU, BME Hungary, Budapest, AAU Danemark

Rapport de Contrat : HIDENETS, Project IST-FP6-STREP-26979, Décembre 2006, 93p. , N° 06236

Diffusable

Ajouter au panier 109903

Robustness testing

H.WAESELYNCK, J.ARLAT, I.MAJZIK, Z.MICSKEI

Budapest, TSF

Rapport LAAS N°06815, Novembre 2006, 16p.

Diffusable

Ajouter au panier 108648

Tolérance aux fautes

J.ARLAT, Y.CROUZET, Y.DESWARTE, J.C.FABRE, J.C.LAPRIE, D.POWELL

TSF

Ouvrage (contribution) : Encyclopédie de l'Informatique et des Systèmes d'Information, Les Editions Vuibert, J.Akoka, I.Comyn-Wattiau (Eds), N°ISBN 2-7117-4846-4, 2006, Partie 1, pp.241-270 , N° 05156

Diffusion restreinte

Ajouter au panier 108896

Communication integrity in networks for critical control systems

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

TSF, AIRBUS France

Manifestation avec acte : 6th European Dependable Computing Conference (EDCC-6), Coimbra (Portugal), 18-20 Octobre 2006, pp.23-32 , N° 06022

Diffusable

Ajouter au panier 108123

ASSERT. Automated proof based system and software engineering for real-time applications

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, J.FAVARO, M.KAANICHE, K.KANOUN, S.PURI, T.ROBERT, M.ROY, A.E.RUGINA, N.SALATGE, H.WAESELYNCK

TSF, INTECS

Rapport de Contrat : Projet IST ASSERT N°004033, Février 2006, 140p. , N° 06132

Non diffusable

Ajouter au panier 106103

Dependability needs and preliminary solutions concerning evaluation, testing and wrapping

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, M.KAANICHE, K.KANOUN, S.MAZZINI, M.R.NAZZARELLI, D.POWELL, M.ROY, A.E.RUGINA, H.WAESELYNCK

INTECS, TSF

Rapport de Contrat : ASSERT Project IST-004033, Septembre 2005, 80p. , N° 05424

Diffusion restreinte

Ajouter au panier 104294

Mitigating soft errors to prevent a hard threat to dependable computing

Y.CROUZET, J.H.COLLET, J.ARLAT

TSF, PH

Manifestation avec acte : 11th IEEE International On-Line Testing Symposium, Saint Raphael (France), 6-8 Juillet 2005, pp.295-298 , N° 05235

Diffusable

Ajouter au panier 103735

A middleware to support dependability, distribution and hard real-time facilities

J.ARLAT, L.PAUTET

TSF, ENST

Manifestation avec acte : International Space System Engineering Conference; DAta Systems In Aerospace (DASIA '2005), Edinburgh (GB), 30 Mai - 2 Juin 2005, 5p. , N° 05057

Diffusable

Ajouter au panier 104015

Etalonnage de la sûreté de fonctionnement de systèmes d'exploitation

Y.CROUZET, A.KALAKECH, K.KANOUN, J.ARLAT

TSF

Manifestations avec acte à diffusion limitée : Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Bourges (France), 12-14 Octobre 2004, pp.98-105 , N° 04484

Diffusable

Ajouter au panier 102693

Benchmarking the dependability of Windows NT4, 2000 and XP

A.KALAKECH, K.KANOUN, Y.CROUZET, J.ARLAT

TSF

Manifestation avec acte : 2004 International Conference on Dependable Systems and Networks (DSN'2004), Florence (Italie), 28 Juin - 1er Juillet 2004, pp.681-686 , N° 03501

Diffusable

Ajouter au panier 102293