An investigation on mutation strategies for fault injection into RDD-100 models - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Safety Science Année : 2004

An investigation on mutation strategies for fault injection into RDD-100 models

Résumé

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.
Fichier principal
Vignette du fichier
Safetyscience_fin.pdf (284.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00757161 , version 1 (26-11-2012)

Identifiants

  • HAL Id : hal-00757161 , version 1

Citer

Mohamed Kaâniche, Yannick Le Guédard, Jean Arlat, Thierry Boyer. An investigation on mutation strategies for fault injection into RDD-100 models. Safety Science, 2004, 42 (5), pp.385-403. ⟨hal-00757161⟩
141 Consultations
327 Téléchargements

Partager

Gmail Facebook X LinkedIn More