Reliability verification of fault-tolerant systems design based on mutation analysis

We propose in this work an innovative approach for system reliability verification based on an adaptation of the weak mutation analysis technique. This technique was originally proposed for software testing by means of verifying the adequacy of a test vectors set for a given program. We also present a case study to illustrate the proposed approach. This methodology is being automated through the development of CAD tools that perform fault injection and simulation data analysis