Philippe Pétillon

Learn More
This paper describes and illustrates the application of a strategy for testing fault tolerance by means of fault injection. The proposed approach encompasses a method for modelling fault tolerance together with a strategy for testing several classes of fault tolerance mechanisms. The modelling approach distinguishes two main abstraction levels: (i) a data(More)
Abstract: Early verification of the adequacy of fault tolerance mechanisms, and the subsequent removal of fault tolerance deficiency faults (ftd-faults), are essential tasks in the design process of dependable computer systems. The paper is centred on the description and application of the new features of MEFISTO-L, the fault injection tool for VHDL models,(More)
  • 1