Retour au site du LAAS-CNRS

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

Contribution of communications to dependability in massively-defective general-purpose nanoarchitectures

J.H.COLLET, P.ZAJAC, Y.CROUZET, A.NAPIERALSKI

TSF, Lodz

Manifestation avec acte : 12th IEEE International On-Line Testing Symposium (IOLTS'2006°, Como (Italie), 10-12 Juillet 2006, pp.219-226 , N° 06059

Diffusable

Ajouter au panier 108241

Dependability benchmarks for operating systems

K.KANOUN, Y.CROUZET

TSF

Revue Scientifique : International Journal of Performability Engineering, Vol.2, N°3, pp.275-287, Juillet 2006 , N° 06379

Diffusable

Ajouter au panier 106907

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

Benchmarking the dependability of Windows and Linux using PostMark Workloads

K.KANOUN, Y.CROUZET, A.KALAKECH, A.E.RUGINA, P.RUMEAU

TSF

Manifestation avec acte : 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'2005), Chicago (USA), 8-11 Novembre 2005, pp.11-20 , N° 05484

Diffusable

Ajouter au panier 105515

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

Définition et évaluation d'un système de communication pour des systèmes de commande intégrant des nappes de MEMS

A.YOUSSEF, A.DE BONNEVAL, Y.CROUZET

TSF

Manifestation avec acte : 3ème Conférence Internationale "Sciences Electroniques Technologies de l'Information et des Télécommunications", Sousse (Tunisie), 27-31 Mars 2005, 12p. , N° 04624

Diffusable

Ajouter au panier 103478

Deuxième rapport d'avancement du projet Commande de Vol du Futur (CVF)

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

AIRBUS France, TSF

Rapport de Contrat : Contrat AIRBUS N° 380999, Janvier 2005, 72p. , N° 05050

Non diffusable

Ajouter au panier 103317

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