208documents trouvés
An investigation on mutation strategies for fault injection into RDD-100 models
M.KAANICHE, Y.LE GUEDART, J.ARLAT, T.BOYER
TSF, LIS
Manifestation avec acte : 20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001), Budapest (Hongrie), 26-28 Septembre 2001 , N° 01070
Diffusable
Plus d'informations
Abstract
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer systems early in the design process. The proposed framework combines functional and behavioral modeling, fault injection and simulation. Starting from the RDD-100 model built by the system designers, two techniques are discussed for the mutation of this model to analyze its behavior under faulty conditions: (a) insertion of saboteurs into the model, and (b) modification of existing component descriptions. Four types of fault models are distinguished and specific mechanisms to simulate the corresponding fault models are proposed for each mutation technique. An approach combining the advantages of both techniques is proposed and a prototype implementing this approach is briefly described.
Preliminary dependability benchmark framework
H.MADEIRA, K.KANOUN, J.ARLAT, Y.CROUZET, A.JOHANSSON, R.LINDSTROM
University of Coimbr, TSF, Chalmers
Rapport de Contrat : DBench, Project IST-2000-25425, Septembre 2001, 44p. , N° 01604
Diffusable
49662State of the art
J.ARLAT, K.KANOUN, H.MADEIRA, J.V.BUSQUETS, M.T.JARBOUI, A.JOHANSSON, R.LINDSTROM
TSF, University of Coimbr, Valencia, Chalmers
Rapport de Contrat : DBench, Project IST-2000-25425, Septembre 2001, 61p. , N° 01605
Diffusable
49669DBench (Dependability Bechmarking)
K.KANOUN, J.ARLAT, D.J.G.COSTA, M.DAL CIN, P.GIL, J.C.LAPRIE, H.MADEIRA, N.SURI
TSF, Critical Software, Friedrich, University of Coimbr, Chalmers, Valencia
Manifestations avec acte à diffusion limitée : 2001 International Conference on Dependable Systems and Networks (DSN'2001). Special Track on the European Dependability Initiative (DEPPY), Göteborg (Suède), 1-4 Juillet 2001, pp.D12-D15 , N° 01188
Diffusable
46419Dependability assessment of real-time systems
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Rapport LAAS N°01189, Mai 2001, 19p.
Diffusable
45226From temporal logic specifications to error confinement wrappers
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Rapport LAAS N°01171, Mai 2001, 19p.
Diffusable
45100GUARDS: 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
43504GUARDS: introduction and overview
D.POWELL, A.AMENDOLA, J.ARLAT, B.ATTERMEYER, L.BEUS-DUKIC, A.BONDAVALLI, P.COPPOLA, C.DAMBRA, A.FANTECHI, E.JENN, C.RABEJAC, V.THEVENOT, A.WELLINGS
TSF, York, CNUCE, INTECS, Technicatome, MATRA, IEI, SOE, Ansaldo, IEI
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 1, pp.1-26 , N° 99276
Diffusion restreinte
43472Building dependable COTS microkernel-based systems using MAFALDA
J.C.FABRE, M.RODRIGUEZ, F.SALLES, J.ARLAT, J.M.SIZUN
TSF, LIS, SUN
Manifestation avec acte : 2000 Pacific Rim International Symposium on Dependable Computing (PRDC'2000), Los Angeles (USA), 18-20 Décembre 2000, pp.85-92 , N° 00240
Diffusable
42531Formal wrappers for COTS microkernel-based dependable systems
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Rapport LAAS N°00530, Décembre 2000, 18p.
Diffusable
42582