research-article

Fault Injection Experiments Using FIAT

Authors:

D. P. SiewiorekAuthors Info & Claims

IEEE Transactions on Computers, Volume 39, Issue 4

Pages 575 - 582

https://doi.org/10.1109/12.54853

Published: 01 April 1990 Publication History

Abstract

The results of several experiments conducted using the fault-injection-based automated testing (FIAT) system are presented. FIAT is capable of emulating a variety of distributed system architectures, and it provides the capabilities to monitor system behavior and inject faults for the purpose of experimental characterization and validation of a system's dependability. The experiments consists of exhaustively injecting three separate fault types into various locations, encompassing both the code and data portions of memory images, of two distinct applications executed with several different data values and sizes. Fault types are variations of memory bit faults. The results show that there are a limited number of system-level fault manifestations. These manifestations follow a normal distribution for each fault type. Error detection latencies are found to be normally distributed. The methodology can be used to predict the system-level fault responses during the system design stage.

References

[1]

{1} J.-C. Laprie, "Dependable computing and fault tolerance: Concepts and terminology," in Proc. 15th Int. Symp. Fault-Tolerant Comput., 1985, pp. 2-11.

[2]

{2} K. S. Trivedi, J. W. Gault, and J. B. Clary, "A validation prototype of system reliability in life-critical applications," in Proc. Pathways Syst. Integrity Symp., National Bureau of Standards, 1980, pp. 79-86.

[3]

{3} J. Arlat, Y. Crouzet, and J.-C. Laprie, "Fault injection for dependability validation of fault-tolerant computing systems," in Proc. 19th Int. Symp. Fault-Tolerant Comput., June 1989, pp. 348-355.

[4]

{4} R. Chillarege and N. S. Bowen, "Understanding large system failure--A fault injection experiment," in Proc. 19th Int. Symp. Fault-Tolerant Comput., June 1989, pp. 355-363.

[5]

{5} M. Schuette, J. Shen, D. Siewiorek, and Y. Zhu, "Experimental evaluation of two concurrent error detection schemes," in Proc. 16th Int. Symp. Fault-Tolerant Comput., 1986, pp. 138-143.

[6]

{6} Z. Segall et al., "FIAT--Fault injection based automated testing environment," in Proc. 18th Int. Symp. Fault-Tolerant Comput., 1988, pp. 102-107.

[7]

{7} X. Yang, G. York, W. Birmingham, and D. Siewiorek, "Fault recovery of triplicated software on the Intel iAPX 432," Distributed Comput. Syst., pp. 438-443, May 1985.

[8]

{8} J. Lala, "Fault detection isolation and reconfiguration in FTMP: Methods and experimental results," in Proc. 5th AIAA/IEEE Digital Avion. Syst. Conf., 1983, pp. 21.3.1-21.3.9.

[9]

{9} E. W. Czeck, Z. Z. Segall, and D. P. Siewiorek, "Predeployment validation of fault-tolerant systems through software-implemented fault insertion," NASA CR-4244, Carnegie Mellon Univ., June 1989.

[10]

{10} W. R. Adrion, M. A. Branstad, and J. C. Cheriavsky, "Validation, verification, and testing of computer software," ACM Comput. Surveys , vol. 14, pp. 159-192, June 1982.

Digital Library

[11]

{11} M. Schmid, R. Trapp, A. Davidoff, and G. Masson, "Upset exposure by means of abstract verification," in Proc. 12th Int. Symp. Fault-Tolerant Comput., 1982, pp. 237-244.

[12]

{12} G. B. Finelli, "Characterization of fault recovery through fault injection on FTMP," IEEE Trans. Reliability, vol. R-36, pp. 164-170, June 1987.

[13]

{13} W. Mendenhall, Introduction to Probability and Statistics. North Scituate, MA: Duxbury, 1979.

[14]

{14} A. O. Allen, Probability, Statistics, and Queueing Theory. New York: Academic, 1978.

[15]

{15} J. G. McGough, F. Swern, and S. J. Bavuso, "New results in fault latency modeling," in Proc. IEEE EASCON Conf., Aug. 1983, pp. 299-306.

[16]

{16} D. Lomelino and R. Iyer, "Error propagation in a digital avionic processor: A simulation-based study," NASA CR-176501, Univ. of Illinois, 1986.

[17]

{17} Z. Segall, J. Barton, D. Vrsalovic, D. Siewiorek, R. Dancey, and A. Robinson, "Fault injection based automatic testing: Practice and examples," in Proc. 8th AIAA/IEEE Digital Avion. Syst. Conf., Oct. 1988.

Cited By

Alshmrany KAldughaim MBhayat ACordeiro L(2024)FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static AnalysisFormal Aspects of Computing10.1145/366533736:2(1-25)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3665337
Zhu LZhuang QJiang HLiang HGao XWang W(2023)Reliability-aware failure recovery for cloud computing based automatic train supervision systems in urban rail transit using deep reinforcement learningJournal of Cloud Computing: Advances, Systems and Applications10.1186/s13677-023-00502-x12:1Online publication date: 17-Oct-2023
https://dl.acm.org/doi/10.1186/s13677-023-00502-x
Viganò ECornejo OPastore FBriand L(2023)Data-Driven Mutation Analysis for Cyber-Physical SystemsIEEE Transactions on Software Engineering10.1109/TSE.2022.321304149:4(2182-2201)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3213041
Show More Cited By

Index Terms

Fault Injection Experiments Using FIAT

Recommendations

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems

The authors describe a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection ...
Fault injection experiments on real-time protocols using ORCHESTRA
HASE '96: Proceedings of the 1996 High-Assurance Systems Engineering Workshop

The paper presents a set of experiments on real time protocols using the ORCHESTRA software fault injection environment. The paper first describes a specific implementation of ORCHESTRA for testing applications that use Unix sockets for communication. A ...
Observations on the Effects of Fault Manifestation as a Function of Workload
Special issue on fault-tolerant computing

The authors describe a methodology for modeling fault effects on system behavior and evaluate the methodology through an experimental fault injection, study. The methodology characterizes a workload under faulted conditions, and then uses workload ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Computers

IEEE Transactions on Computers Volume 39, Issue 4

April 1990

188 pages

ISSN:0018-9340

Editor:
Ming T. Liu
Ohio State Univ., Columbus

Issue’s Table of Contents

Copyright © Copyright © 1990 IEEE. All Rights Reserved.

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 April 1990

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alshmrany KAldughaim MBhayat ACordeiro L(2024)FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static AnalysisFormal Aspects of Computing10.1145/366533736:2(1-25)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3665337
Zhu LZhuang QJiang HLiang HGao XWang W(2023)Reliability-aware failure recovery for cloud computing based automatic train supervision systems in urban rail transit using deep reinforcement learningJournal of Cloud Computing: Advances, Systems and Applications10.1186/s13677-023-00502-x12:1Online publication date: 17-Oct-2023
https://dl.acm.org/doi/10.1186/s13677-023-00502-x
Viganò ECornejo OPastore FBriand L(2023)Data-Driven Mutation Analysis for Cyber-Physical SystemsIEEE Transactions on Software Engineering10.1109/TSE.2022.321304149:4(2182-2201)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3213041
Han RGatla OZheng MCao JZhang DDai DChen YCook J(2022)A Study of Failure Recovery and Logging of High-Performance Parallel File SystemsACM Transactions on Storage10.1145/348344718:2(1-44)Online publication date: 28-Apr-2022
https://dl.acm.org/doi/10.1145/3483447
Al-haj Ahmad HSedaghat Y(2022)CAFIMicroprocessors & Microsystems10.1016/j.micpro.2022.10464894:COnline publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.micpro.2022.104648
Marques HLaranjeiro NBernardino J(2022)Injecting software faults in Python applicationsEmpirical Software Engineering10.1007/s10664-021-10047-927:1Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1007/s10664-021-10047-9
Sidorenko GMostowski WVinel ASjöberg JCooney M(2021)The CAR Approach: Creative Applied Research Experiences for Master’s Students in Autonomous Platooning2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN)10.1109/RO-MAN50785.2021.9515560(214-221)Online publication date: 8-Aug-2021
https://dl.acm.org/doi/10.1109/RO-MAN50785.2021.9515560
Alshmrany KAldughaim MBhayat ACordeiro L(2021)FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C ProgramsTests and Proofs10.1007/978-3-030-79379-1_6(85-105)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1007/978-3-030-79379-1_6
Dai THe JGu XLu SWang P(2018)DScopeProceedings of the ACM Symposium on Cloud Computing10.1145/3267809.3267844(313-325)Online publication date: 11-Oct-2018
https://dl.acm.org/doi/10.1145/3267809.3267844
Kestor GMutlu BManzano JSubasi OUnsal OKrishnamoorthy SKaeli DPericàs M(2018)Comparative analysis of soft-error detection strategiesProceedings of the 15th ACM International Conference on Computing Frontiers10.1145/3203217.3203240(173-182)Online publication date: 8-May-2018
https://dl.acm.org/doi/10.1145/3203217.3203240
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents