Retour au site du LAAS-CNRS

Formal specification for building robust real-time microkernels

M.RODRIGUEZ, J.C.FABRE, J.ARLAT

LIS, TSF

Manifestation avec acte : 21st IEEE Real-Time Systems Symposium (RTSS2000), Orlando (USA), 27-30 Novembre 2000, pp.119-128 , N° 00208

Diffusable

Ajouter au panier 42612

Modélisation fonctionnelle et comportementale en présence de fautes

M.KAANICHE, Y.LE GUEDART, J.ARLAT

TSF

Rapport de Contrat : Conventions du Conseil Régional Midi-Pyrénées N°DAEI-Recherche/96009573, N°DAEI-Recherche/97001915, Octobre 2000, 51p. , N° 00560

Non diffusable

Ajouter au panier 42514

Dependable systems of systems: state of the art survey

J.ARLAT, J.C.FABRE, V.ISSARNY, M.KAANICHE, K.KANOUN, C.KLOUKINAS, B.MARRE, E.MARSDEN, D.POWELL, A.ROMANOVSKY, P.THEVENOD-FOSSE, H.WAESELYNCK, I.WELCH, I.ZAKKIUDIN, A.ZARRAS

TSF, INRIA Rocquencourt, LRI, Newcastle, DERA, Malvern

Rapport de Contrat : DSoS, Project IST-1999-11585, Septembre 2000, 97p. , N° 00353

Diffusable

Ajouter au panier 41270

Analyse des modes de défaillances du micro-noyau LYNXOS par injection de faute

J.M.SIZUN, M.RODRIGUEZ, J.C.FABRE, J.ARLAT

TSF, LIS

Rapport LAAS N°00325, Juillet 2000, 72p.

Non diffusable

Ajouter au panier 40113

Composants logiciels et sûreté de fonctionnement. Intégration de COTS

J.ARLAT, J.P.BLANQUART, T.BOYER, Y.CROUZET, M.H.DURAND, J.C.FABRE, M.FOUNAU, M.KAANICHE, K.KANOUN, P.LE MEUR, C.MAZET, D.POWELL, F.SCHEERENS, P.THEVENOD-FOSSE, H.WAESELYNCK

LIS

Ouvrage (auteur) : Hermès, 2000, 158p. , N° 00112

Non diffusable

Ajouter au panier 39747

Dependability assessment of GUARDS instances

J.ARLAT, M.T.JARBOUI, K.KANOUN, D.POWELL

TSF

Manifestation avec acte : 4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Chicago (USA), 27-30 Mars 2000, pp.147-158 , N° 99414

Diffusable

Ajouter au panier 38349

Tolérance aux fautes dans les systèmes critiques

D.ESSAME, J.ARLAT, D.POWELL

TSF

Rapport LAAS N°00151, Mars 2000, 32p.

Diffusable

Ajouter au panier 38578

Dependability of COTS microkernel-based systems: the MAFALDA assessment and design environment

M.RODRIGUEZ, J.ARLAT, J.C.FABRE, F.SALLES

LIS, SUN

Rapport LAAS N°99491, Décembre 1999, 11p.

Diffusable

Ajouter au panier 36276

Specifing and verifying fault-tolerant hardware

S.HAZELHURST, J.ARLAT

Johannesburg, TSF

Rapport de Contrat : Coopération Franco-Sud Africaine, Décembre 1999, 16p. , N° 99514

Diffusable

Ajouter au panier 36422

Fault tolerant computing

J.ARLAT, Y.CROUZET, Y.DESWARTE, J.C.LAPRIE, D.POWELL, P.DAVID, J.L.DEGA, C.RABEJAC, H.SCHINDLER, J.F.SOUCAILLE

TSF, MATRA

Ouvrage (contribution) : Encyclopedia of Electrical and Electronic Engineering, Vol.7, Ed. JG.Webster, Wiley Interscience, N°ISBN 0471139467, 1999, pp.285-313 , N° 98005

Diffusable

Ajouter au panier 36214