Sciweavers

SAFECOMP
2001
Springer

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models

13 years 8 months ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
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. 1 Thierry Boyer is now at Technicatome – Centre d’Études de Saclay, BP 17, 91192 GIF-Sur Yvette Cedex — France 2 RDD-1...
Mohamed Kaâniche, Yannick Le Guédart,
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SAFECOMP
Authors Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
Comments (0)