FITS - A Fault Injection Architecture for Time-Triggered Systems

Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of these make provisions to meet the timing requirements of such systems.This paper introduces a fault injection environment for time-triggered systems. We describe the architecture of FITS and how it addresses the requirements of temporal accuracy in the time-triggered paradigm.An implementation of FITS was used to conduct fault injection experiments on a prototype implementation of a time-triggered communication protocol for safety-critical hard real-time applications. We describe the fault injection strategy that was used for these experiments to assess the dependability of this protocol.Through the white box fault injection experiments that were performed using FITS, a number of small design problems were found and subsequently corrected in the protocol. The results of the experiments also enabled an important quantitative assessment of the dependability measures for the protocol, which is vital for its inclusion into dependable systems. Together with the large quantity and variety of experiments this implementation of FITS was able to perform, these are important factors of evidence that demonstrate the viability and utility of the presented fault injection architecture.

[1]  Ram Chillarege,et al.  Understanding large system failures-a fault injection experiment , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[2]  Günter Grünsteidl,et al.  TTP - A Protocol for Fault-Tolerant Real-Time Systems , 1994, Computer.

[3]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[4]  Jean Arlat,et al.  Fault injection for dependability validation of fault-tolerant computing systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[5]  Alfredo Benso,et al.  EXFI: a low-cost fault injection system for embedded microprocessor-based boards , 1998, TODE.

[6]  Ravishankar K. Iyer,et al.  FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults , 1993, IEEE Trans. Software Eng..

[7]  Jason Gait,et al.  A debugger for concurrent programs , 1985, Softw. Pract. Exp..

[8]  Douglas M. Blough,et al.  Fault-injection-based testing of fault-tolerant algorithms in message-passing parallel computers , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[9]  Rene Hexel,et al.  A Synchronization Strategy for a TTP/C Controller , 1996 .

[10]  Kang G. Shin,et al.  DOCTOR: an integrated software fault injection environment for distributed real-time systems , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[11]  J. Laprie,et al.  FAULT INJECTION FOR DEPENDABILITY VALIDATION OF FAULT-TOLERANT COMPUTING SYSTEMS , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[12]  Ravishankar K. Iyer,et al.  NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors , 2000, Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000.

[13]  Farnam Jahanian,et al.  Testing of fault-tolerant and real-time distributed systems via protocol fault injection , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[14]  Ravishankar K. Iyer,et al.  Dependability analysis of a commercial high-speed network , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[15]  Jacob A. Abraham,et al.  FERRARI: a tool for the validation of system dependability properties , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[16]  Kang G. Shin HARTS: A Distributed Real-Time Architecture , 1991, Computer.

[17]  Henrique Madeira,et al.  Xception: Software Fault Injection and Monitoring in Processor Functional Units1 , 1995 .

[18]  Daniel P. Siewiorek,et al.  FIAT-fault injection based automated testing environment , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.