Article

Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method

Author:

J. GuthoffAuthors Info & Claims

FTCS '95: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing

Page 196

Published: 27 June 1995 Publication History

Abstract

Abstract: Fault/error injection has emerged as a valuable means for evaluating the dependability of a system. In particular, software-based techniques (which can be described as software-implemented and simulation-based techniques) have become very popular because of the relative simplicity of injecting faults. After discussing the advantages and drawbacks of these techniques, two approaches are introduced which try to overcome crucial problems when using software-based fault injection techniques. The first one improves the accuracy of software-implemented fault injection experiments. The second one offers detailed insights into the system dynamics in the presence of faults. With this knowledge, the number of fault injections (a major concern in simulation-based fault injection) can be significantly reduced. These approaches can be joined together, offering accuracy of fault injection results as well as transparency of the system dynamics in the presence of faults. A case study is shown in which the de facto dependability properties of a standard component, a Motorola MC88100 RISC processor, are evaluated.

References

[1]

P.J. Ashenden: The VHDL Cookbook. University of Adelaide, South Australia, Technical Report, 1990.

[2]

B. Benyó, J. Hönig, W. Hohl, A. Pataricza, B. Sally, and V. Sieh: Fault Injection Based Validation of Fault-Tolerant Multiprocessors. 8th Symposium on Microcomputer and Microprocessor Applications, pp. 85-94, Oct. 1994.

[3]

D. Brahme, J. Abraham: Functional Testing of Microprocessors. IEEE Trans. Computers, vol. C- 33, no.6, Jun. 1984.

Digital Library

[4]

G. Choi, R. Iyer, and V. Carreno: FOCUS: An experimental environment for validation of fault sensitivity analysis. IEEE Trans. Computers, vol. 41, no. 12, pp. 1515-1526, Dec. 1992.

Digital Library

[5]

E.W. Czeck and D.P. Siewiorek: Observations on the Effects of Fault Manifestation as a Function of Workload. IEEE Trans. Computers, vol. 41, no. 5, pp. 559-566, May 1992.

Digital Library

[6]

M. Dal Cin, W. Hohl, A. Grygier, H. Hessenauer, U. Hildebrand, J. Hönig, F. Hofmann, C.U. Linster, E. Michel, A. Pataricza, T. Thiel, and S. Turowski: Architecture and Realization of the Modular Expandable Multiprocessor System MEMSY. MPCS '94, Conference on Massively Parallel Computing Systems, Ischia, 1994.

[7]

K.K. Goswami and R.K. Iyer: DEPEND: A Simulation-Based Environment for System Level Dependability Analysis. Technical Report, CHRC 92-11, Univ. of Illinois at Urbana-Champaign, Jun. 1992.

[8]

K.K. Goswami and R.K. Iyer: Simulation of Software Behavior Under Hardware Faults. Int. Symp. Fault-Tolerant Computing, FTCS-23, IEEE Computer Society, pp. 218-227, Jun. 1993.

[9]

D.J. Hatley and I.A. Pirbbai: Strategies for real-time system specification. New York Dorset House Publ., 1987.

Digital Library

[10]

R.K. Iyer and D. Tang: Experimental Analysis of Computer System Dependability. Tecbnical Report, CHRC, Univ. of Illinois at Urbana-Champaign, May 1994.

[11]

E. Tenn, J. Arlat, M. Rimén, J. Ohlsson, and J. Karlsson: Fault Injection into VHDL Models: The MEFISTO Tool. Int. Symp. Fault-Tolerant Computing, FTCS-24, IEEE Computer Society, pp. 66-75, Jun. 1994.

[12]

G.A Kanawati, N.A. Kanawati, and J.A. Abraham: FERRARI: A Flexible Software-Based Fault and Error Injecltion System. IEEE Trans. Computers, vol.44, no.2, pp. 248-260, Feb. 1995.

Digital Library

[13]

H. Kopetz: The Failure Fault (FF) Model. Int. Symp. Fault-Tolerant Computing, FTCS-12, IEEE Computer Society, pp. 14-17, Jun. 1982.

[14]

J. C. Laprie: Dependability: basic concepts and terminology. Springer-Verlag, 1992.

Digital Library

[15]

R. Lipsett: VHDL. Kluwer Academic Publisher, 1989.

[16]

H. Madeira and J.G. Silva: Experimental Evaluation of the Fail-Silent Behavior in Computers Without Error Masking. Int. Symp. Fault-Tolerant Computing, FTCS-24, IEEE Computer Society, pp. 350- 359, Jun. 1994.

[17]

B. Mohr: Standardization of Event Traces Considered Harmful or Is an Implementation of Object Independent Event Trace Monitoring anil Analysis System Possible? In J.J. Dongara, B. Tourancbeau (ed.): Advances in Parallel Computing, vol. 6, pp. 103-124, Elsevier, 1993.

Digital Library

[18]

Motorola, Inc: MC88100 RISC Microprocessor User's Manual. Prentice Hall, Englewood Cliffs, 1990.

Digital Library

[19]

D. Powell, E. Martins, J. Arlat, and Y. Crouzet: Estimators for Fault Coverage Evaluation. IEEE Trans. Computers, vol. 44, no. 2, pp. 261-273, Feb. 1995.

Digital Library

[20]

M. Rimén, J. Ohlsson, and J. Torin: On Microprocessor Error Behavior Modeling. Int. Symp. Fault-Tolerant Computing, FTCS-24, IEEE Computer Society, pp. 76-85, Jun. 1994.

[21]

H.A. Rosenberg and K.G. Shin: Software Fault Injection and its Application in Distributed Systems. Int. Symp. Fault-Tolerant Computing, FTCS-23, IEEE Computer Society, pp. 208-217, Jun. 1993.

[22]

Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kowknacki, J. Barton, R. Dancey, A. Robinson, and T. Lin: FIAT -- Fault Injection Based Automated Testing Environment. Int. Symp. Fault-Tolerant Computing, FTCS-18, IEEE Computer Society, pp. 102-107, Jun. 1988.

[23]

W. Wang and K.S. Trivedi: The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage. Int. Symp. Fault-Tolerant Computing, FTCS-24, IEEE Computer Society, pp. 330-337, Jun. 1994.

Cited By

Barbosa RVinter JFolkesson PKarlsson J(2005)Assembly-Level pre-injection analysis for improving fault injection efficiencyProceedings of the 5th European conference on Dependable Computing10.1007/11408901_19(246-262)Online publication date: 20-Apr-2005
https://dl.acm.org/doi/10.1007/11408901_19
Hiller MJhumka ASuri N(2004)EPICIEEE Transactions on Computers10.1109/TC.2004.127529453:5(512-530)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1109/TC.2004.1275294
Arlat JCrouzet YKarlsson JFolkesson PFuchs ELeber G(2003)Comparison of Physical and Software-Implemented Fault Injection TechniquesIEEE Transactions on Computers10.1109/TC.2003.122850952:9(1115-1133)Online publication date: 1-Sep-2003
https://dl.acm.org/doi/10.1109/TC.2003.1228509
Show More Cited By

Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method
1. Computer systems organization

Recommendations

A Fault Injection Technique for VHDL Behavioral-Level Models

Fault injection is an important technique for the evaluation of design metrics such as reliability, safety, and fault coverage. Fault injection involves inserting faults into a system and monitoring the system to determine its behavior in response to ...
On Fault Representativeness of Software Fault Injection

The injection of software faults in software components to assess the impact of these faults on other components or on the system as a whole, allowing the evaluation of fault tolerance, is relatively new compared to decades of research on hardware fault ...
Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System
EDCC-3: Proceedings of the Third European Dependable Computing Conference on Dependable Computing

This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdog timer. The faults have been injected on a chip-...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

FTCS '95: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing

June 1995

Copyright © Copyright (c) 1995 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Publisher

IEEE Computer Society

United States

Publication History

Published: 27 June 1995

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Barbosa RVinter JFolkesson PKarlsson J(2005)Assembly-Level pre-injection analysis for improving fault injection efficiencyProceedings of the 5th European conference on Dependable Computing10.1007/11408901_19(246-262)Online publication date: 20-Apr-2005
https://dl.acm.org/doi/10.1007/11408901_19
Hiller MJhumka ASuri N(2004)EPICIEEE Transactions on Computers10.1109/TC.2004.127529453:5(512-530)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1109/TC.2004.1275294
Arlat JCrouzet YKarlsson JFolkesson PFuchs ELeber G(2003)Comparison of Physical and Software-Implemented Fault Injection TechniquesIEEE Transactions on Computers10.1109/TC.2003.122850952:9(1115-1133)Online publication date: 1-Sep-2003
https://dl.acm.org/doi/10.1109/TC.2003.1228509
Kaufman LJohnson BDugan J(2002)Coverage estimation using statistic of the extremes for when testing reveals no failuresIEEE Transactions on Computers10.5555/507447.50744851:1(12)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.5555/507447.507448
Kaufman LJohnson BDugan J(2002)Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No FailuresIEEE Transactions on Computers10.1109/12.98001351:1(3-12)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.1109/12.980013
Aidemark JFolkesson PKarlsson J(2002)Path-Based Error Coverage PredictionJournal of Electronic Testing: Theory and Applications10.1023/A:101509540814618:3(343-349)Online publication date: 1-Jun-2002
https://dl.acm.org/doi/10.1023/A%3A1015095408146
Tsai THsueh MZhao HKalbarczyk ZIyer R(1999)Stress-Based and Path-Based Fault InjectionIEEE Transactions on Computers10.1109/12.81110848:11(1183-1201)Online publication date: 1-Nov-1999
https://dl.acm.org/doi/10.1109/12.811108
Carreira JMadeira HSilva J(1998)XceptionIEEE Transactions on Software Engineering10.1109/32.66682624:2(125-136)Online publication date: 1-Feb-1998
https://dl.acm.org/doi/10.1109/32.666826

View Options

View options

Media

Figures

Other

Tables

View Table of Contents