208documents trouvés
Measurements
K.KANOUN, Y.CROUZET, J.ARLAT, H.MADEIRA
TSF, University of Coimbr
Rapport de Contrat : DBench, Project IST-2000-25425 , Juin 2002, 21p. , N° 02619
Diffusable
101093Dependability benchmark definition: DBench prototypes
H.MADEIRA, J.ARLAT, K.BUCHACKER, D.J.G.COSTA, Y.CROUZET, M.DAL CIN, J.DURAES, P.GIL, M.T.JARBOUI, A.JOHANSSON, K.KANOUN, L.LEMUS, R.LINDSTROM, J.J.SERRANO, N.SURI, M.VIEIRA
University of Coimbr, TSF, Friedrich, Critical Software, Valencia, Chalmers
Rapport de Contrat : DBench, Project IST-2000-25425, Juin 2002, 43p. , N° 02552
Diffusable
101089Fault representativeness
P.GIL, J.ARLAT, H.MADEIRA, Y.CROUZET, M.T.JARBOUI, K.KANOUN, T.MARTEAU, J.DURAES, M.VIEIRA, D.GIL, J.C.BARAZA, J.GRACIA
TSF, University of Coimbr, Valencia
Rapport de Contrat : DBench, Project IST-2000-25425, Juin 2002, 101p. , N° 02618
Diffusable
101091FAST: a prototype tool for supporting the engineering of socio-technical systems
M.MERSIOL, J.ARLAT, D.POWELL, A.SAIDANE, H.WAESELYNCK, C.MAZET
TSF
Manifestation avec acte : 3rd European Systems Engineering Conference, Toulouse (France), 21-24 Mai 2002, pp.33-40 , N° 02197
Diffusable
52081Specifying and verifying fault-tolerant hardware
S.HAZELHURST, J.ARLAT
Johannesburg, TSF
Manifestation sans acte : Designing Correct Circuits 2002 (Satellite Workshop of ETAPS'2002), Grenoble (France), 6-7 Avril 2002, 10p. , N° 02250
Diffusable
52425From error detection to error recovery wrappers for real-time systems
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Rapport LAAS N°02190, Avril 2002, 20p.
Diffusable
51763Assessment of real-time systems by fault injection
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Manifestations avec acte à diffusion limitée : 13ème Colloque Européen de Sûreté de Fonctionnement (ESREL'2002), Lyon (France), 19-21 Mars 2002, pp.101-108 , N° 01264
Diffusable
51005Towards a framework for dependability benchmarking
H.MADEIRA, K.KANOUN, J.ARLAT, D.J.G.COSTA, Y.CROUZET, M.DAL CIN, P.GIL, N.SURI
University of Coimbr, TSF, Critical Software, Valencia, Chalmers, Friedrich
Rapport LAAS N°02106, Mars 2002, 17p.
Diffusable
50992Dependability of COTS microkernel-based systems
J.ARLAT, J.C.FABRE, M.RODRIGUEZ, F.SALLES
TSF, SUN, LIS
Revue Scientifique : IEEE Transactions on Computers, Vol.51, N°2, pp.138-163, Février 2002 , N° 00466
Diffusable
49879Architecture and design: initial results on architectures and dependable mechanisms for dependable SoSs
J.ARLAT, J.C.FABRE, V.ISSARNY, C.KLOUKINAS, V.K.NGUYEN, M.RODRIGUEZ, A.ROMANOVSKY, A.ZARRAS
TSF, INRIA Rocquencourt, Newcastle
Rapport de Contrat : DSoS, Project IST-1999-11585, Septembre 2001, 99p. , N° 01499
Diffusable
48613