Retour au site du LAAS-CNRS

Open source software in critical systems

P.DAVID, H.WAESELYNCK, Y.CROUZET

ESA/ESTEC, TSF

Manifestation avec acte : IFIP 18th World Computer Congress. Building the Information Society, Toulouse (France), 22-27 Août 2004 , N° 04387

Diffusable

Ajouter au panier 102438

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

Benchmarking operating system dependability: windows 2000 as a case study

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

TSF

Manifestation avec acte : 10th IEEE International Symposium "Pacific Rim Dependable Computing" (PRDC'2004), Papeete (Tahiti), 3-5 Mars 2004, pp.261-270 , N° 03430

Diffusable

Ajouter au panier 101840

DBench dependability Benchmarks

K.KANOUN, H.MADEIRA, Y.CROUZET, M.DAL CIN, F.MOREIRA, J.C.RUIZ-GARCIA

TSF, University of Coimbr, Friedrich, Valencia

Rapport de Contrat : DBench, Project IST-2000-25425, Mars 2004, 222p. , N° 04120

Diffusable

Ajouter au panier 101958

Impact of internal and external software faults on the Linux kernel

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

TSF

Revue Scientifique : IEICE Transactions on Information and Systems, Vol.E86-D, N°12, pp.2571-2578, Décembre 2003 , N° 03368

Diffusable

Ajouter au panier 101671

Définition et évaluation d'une nouvelle architecture de communication pour les systèmes de commande de vol

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

TSF

Manifestations avec acte à diffusion limitée : Manifestation des Jeunes Chercheurs dans le domaine des Sciences et Technologies de l'Information et de la Communication (MAJESTIC'2003), Marseille (France), 29-31 Octobre 2003, 6p. , N° 03460

Diffusable

Ajouter au panier 101361

Dependability of communications in critical real-time control systems

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

TSF

Manifestation sans acte : 8th CaberNet Radicals Workshops, Ajaccio (France), 5-8 Octobre 2003, 4p. , N° 03349

Diffusable

Ajouter au panier 101358

MEFISTO: a series of prototype tools for fault injection into VHDL models

J.ARLAT, J.BOUE, Y.CROUZET, E.JENN, J.AIDEMARK, P.FOLKESSON, J.KARLSSON, J.OHLSSON, M.RIMEN

TSF, Chalmers, Thales, SILOGIC

Ouvrage (contribution) : Fault injection techniques and tools for embedded systems reliability evaluation, Kluwer Academic Publishers, N°ISBN 1-4020-7589-8, 2003, pp.177-193 , N° 02348

Diffusable

Ajouter au panier 101549

Logiciel libre et sûreté de fonctionnement. Cas des systèmes critiques

B.BERARD, P.COUPOUX, Y.CROUZET, P.DAVID, Y.GARNIER, S.GOIFFON, G.MARIANO, V.NICOMETTE, L.PLANCHE, I.PUAUT, J.M.TANNEAU, H.WAESELYNCK

LSV, Technicatome, TSF, SNCF, AIRBUS France, INRETS Villeneuve, ASTRIUM, IRISA, Thales Research, ESA/ESTEC

Ouvrage (auteur) : Hermes Science, N°ISBN 2-7462-0727-3, Septembre 2003, 234p. , N° 03367

Non diffusable

Ajouter au panier 101148

Comparison of physical and software-implemented fault injection techniques

J.ARLAT, Y.CROUZET, J.KARLSSON, P.FOLKESSON, E.FUCHS, G.LEBER

Chalmers, Daimler, TSF, Vienne

Revue Scientifique : IEEE Transactions on Computers, Vol.52, N°9, pp.1115-1133, Septembre 2003 , N° 99513

Diffusable

Ajouter au panier 101100