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

Mohamed Kaâniche, Yannick Le Guégard, Jean Arlat, Thierry Boyer

Abstract

This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool   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 sys¬tem designers, two techniques are discussed for the mutation of this model to ana¬lyze 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 corre¬sponding fault models are proposed for each mutation technique. An approach combining the advantages of both techniques is proposed and a prototype im¬plementing this approach is briefly described. 

Keywords: RDD-100, system engineering, mutation, fauylt injection, software errors, simulation dependability