Retour au site du LAAS-CNRS

GUARDS: dependability evaluation

J.ARLAT, A.BONDAVALLI, F.DI GIANDOMENICO, M.T.JARBOUI, E.JENN, K.KANOUN, I.MURA, D.POWELL

TSF, CNUCE, IEI, Technicatome, Pise

Ouvrage (contribution) : A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, Ed. D.Powell, N°ISBN 0-7923-7295-6, 2001, Chapter 9, pp.157-192 , N° 99280

Diffusion restreinte

Ajouter au panier 43504

Fault-tolerant systems dependability. Explicit modeling of hardware and software component-interactions

K.KANOUN, M.BORREL

TSF

Revue Scientifique : IEEE Transactions on Reliability, Vol.49, N°4, pp.363-376, Décembre 2000 , N° 96046

Diffusable

Ajouter au panier 51419

Dependability of computer control systems in power plants. Analytical and experimental evaluation

C.ALMEIDA, A.ARAZO, Y.CROUZET, K.KANOUN

LIS

Manifestation avec acte : 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2000), Rotterdam (Pays-Bas), 24-27 Octobre 2000 , N° 00154

Diffusable

Ajouter au panier 41198

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

Evaluation de la sûreté de fonctionnement de systèmes multiprocesseurs en grappe

M.RABAH, K.KANOUN

TSF

Rapport LAAS N°00352, Septembre 2000, 15p.

Non diffusable

Ajouter au panier 40532

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

Méthode de modélisation de la sûreté de fonctionnement des systèmes de contrôle-commande

C.ALMEIDA, K.KANOUN

LIS

Rapport de Contrat : Contrat EDF-LAAS N°P32/6A3652/EP852, Décembre 1999, 15p. , N° 99515

Diffusion restreinte

Ajouter au panier 36468

Real-world design diversity: a case study on cost

K.KANOUN

TSF

Manifestation avec acte : 10th International Symposium on Software Reliability Engineering (ISSRE'99), Boca Raton (USA), 1-4 Novembre 1999, pp.242-247 , N° 99163

Diffusable

Ajouter au panier 35848

Computer safety, reliability and security

M.FELICI, K.KANOUN, A.PASQUINI

ENEA, TSF

Ouvrage (éditeur) : 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Lecture Notes in Computer Science 1698, Springer, N°ISBN 3-540-66488-2, 1999, 482p. , N° 99395

Diffusable

Ajouter au panier 35478