208documents trouvés
Characterization of the impact of faulty drivers on the robustness of the Linux kernel
A.ALBINET, J.ARLAT, J.C.FABRE
TSF
Manifestation avec acte : 2004 International Conference on Dependable Systems and Networks (DSN'2004), Florence (Italie), 28 Juin - 1er Juillet 2004, pp.867-876 , N° 03550
Diffusable
102294An investigation on mutation strategies for fault injection into RDD-100 models
M.KAANICHE, Y.LE GUEDART, J.ARLAT, T.BOYER
TSF, LIS
Revue Scientifique : Safety Science, Vol.42, N°5, pp.385-403, Juin 2004 , N° 01070
Lien : http://hal.archives-ouvertes.fr/hal-00757161
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.
Empaquetâches de tolérance aux fautes pour les systèmes temps-réel
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Revue Scientifique : Technique et Science Informatiques, Vol.23, N°4, pp.479-514, 2004 , N° 02355
Diffusable
104268Benchmarking 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
101840Impact 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
101671MAFALDA: a series of prototype tools for the assessment of real time COTS microkernel-based systems
J.ARLAT, J.C.FABRE, M.RODRIGUEZ, F.SALLES
TSF, SUN
Ouvrage (contribution) : Fault injection techniques and tools for embedded systems reliability evaluation, Kluwer Academic Publishers, N°ISBN 1-4020-7589-8, 2003, pp.141-156 , N° 02347
Diffusable
101548MEFISTO: 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
101549Comparison 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
101100Building SWIFI tools from temporal logic specifications
M.RODRIGUEZ, J.C.FABRE, J.ARLAT
TSF
Manifestation avec acte : 2003 International Conference on Dependable Systems and Networks (DSN'2003). Dependable Computing and Communications Symposium, San Francisco (USA), 22-25 Juin 2003, pp.95-104 , N° 02613
Diffusable
100860The DBench framework for dependability benchmarking
J.ARLAT, K.KANOUN, Y.CROUZET, H.MADEIRA, M.DAL CIN, P.GIL, D.J.G.COSTA
TSF, University of Coimbr, Friedrich, Valencia, Critical Software
Rapport de Contrat : DBench, Project IST-2000-25425, Janvier 2003, 21p. , N° 03025
Diffusable
100605