Functional and faulty behavior analysis: some experiments and lessons learnt

The design of dependable systems requires that the assessment of fault tolerance solutions be carried out as early as possible. This paper addresses this issue by studying a framework aimed at analyzing the behavior of these systems in the presence of faults. The proposed approach combines functional and behavioral modeling, fault injection and simulation. The paper reports on the investigation of such an approach on four practical architectures derived from real-world industrial systems. In the experiments we used two design tools, namely: Statemate(TM) and RDD-100(TM). Finally, main results and lessons learnt are discussed, and subsequent directions to further exploit these results are proposed.