Skip to main content

Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3463))

Abstract

This paper describes a fully automated pre-injection analysis technique aimed at reducing the cost of fault injection campaigns. The technique optimizes the fault-space by utilizing assembly-level knowledge of the target system in order to place single bit-flips in registers and memory locations only immediately before these are read by the executed instructions. This way, faults (time-location pairs) that are overwritten or have identical impact on program execution are removed. Experimental results obtained by random sampling of the optimized fault-space and the complete (non-optimized) fault-space are compared for two different workloads running on a MPC565 microcontroller. The pre-injection analysis yields an increase of one order of magnitude in the effectiveness of faults, a reduction of the fault-space of two orders of magnitude in the case of CPU-registers and four to five orders of magnitude in the case of memory locations, while preserving a similar estimation of the error detection coverage.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Madeira, H., Silva, J.: Experimental Evaluation of the Fail-Silent Behavior in Computers Without Error Masking. In: Proc. FTCS-24, pp. 350–359 (June 1994)

    Google Scholar 

  2. Yuste, P., Ruiz, J., Lemus, L., Gil, P.: Non-Intrusive Software-Implemented Fault Injection in Embedded Systems. In: de Lemos, R., Weber, T.S., Camargo Jr., J.B. (eds.) LADC 2003. LNCS, vol. 2847, pp. 23–38. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  3. Aidemark, J., Folkesson, P., Karlsson, J.: Path-Based Error Coverage Prediction. JETTA 16 (June 2002)

    Google Scholar 

  4. Aidemark, J., Vinter, J., Folkesson, P., Karlsson, J.: GOOFI: Generic Object-Oriented Fault Injection Tool. In: Proc. DSN 2001, pp. 83–88 (July 2001)

    Google Scholar 

  5. IEEE-ISTO, The Nexus 5001 ForumTM Standard for a Global Embedded Processor Debug Interface (1999)

    Google Scholar 

  6. Skarin, D., Vinter, J., Folkesson, P., Karlsson, J.: Implementation and Usage of the GOOFI MPC565 Nexus Fault Injection Plug-in, Tech. Report No. 04-08, Dept. of Comp. Eng., Chalmers University of Technology, Göteborg, Sweden (2004)

    Google Scholar 

  7. Motorola Inc., MPC565/MPC566 User’s Manual, 2nd edition (2003)

    Google Scholar 

  8. Castillo, X., Siewiorek, D.: Workload, Performance and Reliability of Digital Computer Systems. In: Proc. FTCS-11, pp. 84–89 (June 1981)

    Google Scholar 

  9. Czeck, E., Siewiorek, D.: Observations on the Effects of Fault Manifestation as a Function of Workload. IEEE Transactions on Computers 41(5), 559–566 (1992)

    Article  Google Scholar 

  10. Chillarege, R., Iyer, R.: The Effect of System Workload on Error Latency: An Experimental Study. In: Proc. ACM SIGMETRICS 1985, pp. 69–77 (August 1985)

    Google Scholar 

  11. Chillarege, R., Bowen, N.: Understanding Large System Failures – A Fault Injection Experiment. In: Proc. FTCS-19, pp. 356–363 (June 1989)

    Google Scholar 

  12. Güthoff, J., Sieh, V.: Combining Software-Implemented and Simulation-Based Fault Injection Into a Single Fault Injection Method. In: Proc. FTCS-25, pp. 196–206 (June 1995)

    Google Scholar 

  13. Benso, A., Rebaudengo, M., Impagliazzo, L., Marmo, P.: Fault-List Collapsing for Fault Injection Experiments. In: RAMS 1998, pp. 383–388 (January 1998)

    Google Scholar 

  14. Tsai, T., Hsueh, M.-C., Zhao, H., Kalbarczyk, Z., Iyer, R.: Stress-Based and Path-Based Fault Injection. IEEE Transactions on Computers 48(11), 1183–1201 (1999)

    Article  Google Scholar 

  15. Berrojo, L., González, I., Corno, F., Reorda, M., Squillero, G., Entrena, L., Lopez, C.: New Techniques for Speeding-up Fault-injection Campaigns. In: Proc. DATE 2002, pp. 847–852 (March 2002)

    Google Scholar 

  16. Arlat, J., Fabre, J.-C., Rodríguez, M., Salles, F.: Dependability of COTS Microkernel-Based Systems. IEEE Transactions on Computers 51(2), 138–163 (2002)

    Article  Google Scholar 

  17. Motorola Inc., RISC Central Processing Unit Reference Manual, revision 1 (1999)

    Google Scholar 

  18. Barbosa, R., Vinter, J., Folkesson, P., Karlsson, J.: Fault Injection Optimization through Assembly-Level Pre-Injection Analysis, Tech. Report No. 04-07, Dept. of Comp. Eng., Chalmers University of Technology, Göteborg, Sweden (2004)

    Google Scholar 

  19. winIDEA – iSystem’s Integrated Development Environment, January 24th (2005), http://www.isystem.se/products/ide.htm

  20. PHYTEC Technology Holding Company, January 24th (2005), http://www.phytec.com/sbc/32bit/pc565.htm

  21. iSYSTEM AB, January 24th (2005), http://www.isystem.se

  22. iC3000 Active Emulator, January 24th (2005), http://www.isystem.se/products/emulators.htm#three

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barbosa, R., Vinter, J., Folkesson, P., Karlsson, J. (2005). Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds) Dependable Computing - EDCC 5. EDCC 2005. Lecture Notes in Computer Science, vol 3463. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11408901_19

Download citation

  • DOI: https://doi.org/10.1007/11408901_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25723-3

  • Online ISBN: 978-3-540-32019-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics