Research And Implementation Of Fault Injection Technology Based On DWARF Debug Information

On-board computer for satellite may not work properly because of the impact of Single Event Effect(SEE). So it is necessary to increase the fault tolerance mechanisms to improve the safety and reliability. Fault injection techniques are widely used to verify the effectiveness of fault tolerance mechanisms.In this thesis, the existing fault injection techniques for computer system were classified firstly. Then the principles, features, usage scenarios, advantages and disadvantages of each technology were described. Finally some existing domestic and overseas fault injection tools were introduced according to the classification.The existing fault injection techniques inject fault into each running stage of application indiscriminately. But in practice the importance of each module of the application is different. The sensitivity to fault of each module or code segments is different, and the severity of the consequences caused by fault of each module is different. So fault tolerance requirements of each module are different too. Consequently, Fault Injection Environment based-on DWARF(FIED) has been designed and implemented in this thesis. Users can inject fault when program runs to the critical point which concern users by using FIED, and test fault tolerance ability of the application at the point.FIED is composed of Fault Injection Manager(FIM) and Fault Injection Actuator(FIA). FIM is the main tool for users to manipulate the whole fault injection experiment. By using FIM, users can select fault model, inject fault, gather injection information and so on. FIA is executor of fault injection and is responsible for interacting with user during injection. In this thesis, FIM has been designed and implemented in the Windows system. And FIA has been designed and implemented in the VxWorks system.Finally, the experiment for testing availability and superiority of fault injection based-on FIED has been performed in the thesis. The test proves that fault injection based-on FIED is available and able to inject fault into the critical point which concern users more quickly than other random fault injection tools. So it will raise coverage ratio of fault injection and efficiency of fault tolerance verification.