Article

An Approach for Analysing the Propagation of Data Errors in Software

Authors:

Neeraj SuriAuthors Info & Claims

DSN '01: Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

Pages 161 - 172

Published: 01 July 2001 Publication History

Abstract

Abstract: We present a novel approach for analysing the propagation of data errors in software. The concept of error permeability is introduced as a basic measure upon which we define a set of related measures. These measures guide us in the process of analysing the vulnerability of software to find the modules that are most likely exposed to propagating errors. Based on the analysis performed with error permeability and its related measures, we describe how to select suitable locations for error detection mechanisms (EDM's) and error recovery mechanisms (ERM's). A method for experimental estimation of error permeability, based on fault injection, is described and the software of a real embedded control system analysed to show the type of results obtainable by the analysis framework. The results show that the developed framework is very useful for analysing error propagation and software vulnerability, and for deciding where to place EDM's and ERM's.

References

[1]

Arlat, J., et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications", IEEE Trans. on SE, Vol. 16, No. 2, pp. 166-182, 1990.

Digital Library

[2]

Chillarege R., Bowen N. S., "Understanding Large System Failures - A Fault Injection Experiment", Proc. FTCS-19, pp. 356-363, 1989.

[3]

Cukier M., et al., "Coverage Estimation Methods for Stratified Fault-Injection", IEEE Trans. on Comp., pp. 707-723, 1999.

Digital Library

[4]

Fabre J.-C. et al., "Assessment of Microkernels by Fault Injection", Proc. DCCA-7, pp. 25-44, 1999.

Digital Library

[5]

Fujiwara H., Shimono T. "On the Acceleration of Test Ceneration Algorithms", Proc. FTCS-13, pp. 98-105, 1983.

[6]

Goel P., "An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits", IEEE Trans. on Comp., Vol. 30, No. 3. pp. 215-222, 1981.

Digital Library

[7]

Hiller M., "Executable Assertions for Detecting Data Errors in Embedded Control Systems", Proc. DSN 2000, pp. 24-33, 2000.

Digital Library

[8]

Hiller M., "A Tool for Examining the Behavior of Faults and Errors in Software", TR 00-19, Dept. of CE, Chalmers Univ., (alailable at http://www.ce.chalmers.se/staff/hiller/), 2000.

[9]

Iyer R. K., Tang D., "Experimental Analysis of Computer System Dependability", Chapter 5 in Fault-Tolerant Computer system Design (ed. D.K. Pradhan), Prentice Hall, 1996.

Digital Library

[10]

Laprie J.-C., "Dependable Computing: Concepts, Limits, Challenges", Proc. FTCS-25, pp. 42-54, 1995.

Digital Library

[11]

Mahmood A., et al., "Executable Assertions and Flight Software", Proc. DASC-6, pp. 346-351, 1984.

[12]

Michael C. C., Jones R. C., "On the Uniformity of Error Propagation in Software", Proc. COMPASS'97, pp. 68-76, 1997.

[13]

Morell L., Murrill B., Rand R., "Perturbation Analysis of Computer Programs", Proc. COMPASS'97, pp. 77-87, 1997.

[14]

Powell D., et al., "Estimators for Fault Tolerance Coverage Evaluation", IEEE Trans. on Comp., Vol. 44, No. 2, pp. 261-274, 1995.

Digital Library

[15]

Roth J.P., Computer Logic, Testing and Verification, Computer Press, 1980.

Digital Library

[16]

Saib S.H., "Executable Assertions - An Aid To Reliable Software", 11th Asilomar Conference on Circuits, Systems and Computers, pp. 277-281, 1978.

[17]

Salles F., et al., "MetaKernels and Fault Containment Wrappers", Proc FTCS-29, pp. 22-29, 1999.

Digital Library

[18]

Steininger A., Scherrer C., "On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments", Proc. FTCS-27, pp. 238-247, 1997.

Digital Library

[19]

US Air Force - 99. "MIL-SPEC: Aircraft Arresting System BAK- 12A/E32A; Portable, Rotary Friction", MIL-A-38202C, Notice 1, US Dept. of Defense, Sept. 2, 1986.

[20]

Voas J., Morell L. J., "Propagation and Infection Analysis (PIA) Applied to Debugging", Proc. of Southeastcon'90, pp. 379-383, 1990.

[21]

Voas J., "PIE: A Dynamic Failure-Based Technique", IEEE Trans. on SE, Vol. 18, No. 8, pp. 717-727, 1992.

Digital Library

[22]

Voas J., et al., "Error Propagation Analysis Studies in a Nuclear Research Code", Aerospace Conf., Vol. 4, pp. 115-121, 1998.

Cited By

Zhang HLuna JSuri NTrapero R(2018)FlashlightProceedings of the 13th International Conference on Availability, Reliability and Security10.1145/3230833.3230860(1-10)Online publication date: 27-Aug-2018
https://dl.acm.org/doi/10.1145/3230833.3230860
Arasteh BNajafi J(2018)Programming guidelines for improving software resiliency against soft-errors without performance overheadComputing10.1007/s00607-018-0592-y100:9(971-1003)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1007/s00607-018-0592-y
Natella RCotroneo DMadeira H(2016)Assessing Dependability with Software Fault InjectionACM Computing Surveys10.1145/284142548:3(1-55)Online publication date: 8-Feb-2016
https://dl.acm.org/doi/10.1145/2841425
Show More Cited By

Recommendations

Analyzing errors in elementary mathematics
Modeling the Propagation of Soft Errors in Programs
CSSE '19: Proceedings of the 2nd International Conference on Computer Science and Software Engineering

Due to the continuous growth of transistors in processors, the cloud computing paradigm and increasingly complex environment, soft errors, which are a category of typical transient errors, have become an urgent challenge in ground-level systems. To ...
An unsupervised approach to detecting and correcting errors in text

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DSN '01: Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

July 2001

500 pages

ISBN:0769511015

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

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 July 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhang HLuna JSuri NTrapero R(2018)FlashlightProceedings of the 13th International Conference on Availability, Reliability and Security10.1145/3230833.3230860(1-10)Online publication date: 27-Aug-2018
https://dl.acm.org/doi/10.1145/3230833.3230860
Arasteh BNajafi J(2018)Programming guidelines for improving software resiliency against soft-errors without performance overheadComputing10.1007/s00607-018-0592-y100:9(971-1003)Online publication date: 1-Sep-2018
https://dl.acm.org/doi/10.1007/s00607-018-0592-y
Natella RCotroneo DMadeira H(2016)Assessing Dependability with Software Fault InjectionACM Computing Surveys10.1145/284142548:3(1-55)Online publication date: 8-Feb-2016
https://dl.acm.org/doi/10.1145/2841425
Weiss CRubio-González CLiblit BBertolino ACanfora GElbaum S(2015)Database-backed program analysis for scalable error propagationProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818827(586-597)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818827
Arasteh BMiremadi SRahmani A(2014)Developing Inherently Resilient Software Against Soft-Errors Based on Algorithm Level Inherent FeaturesJournal of Electronic Testing: Theory and Applications10.1007/s10836-014-5438-830:2(193-212)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.1007/s10836-014-5438-8
Mohamed AZulkernine M(2010)Architectural design decisions for achieving reliable software systemsProceedings of the First international conference on Architecting Critical Systems10.1007/978-3-642-13556-9_2(19-32)Online publication date: 23-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13556-9_2
Rubio-González CGunawi HLiblit BArpaci-Dusseau RArpaci-Dusseau A(2009)Error propagation analysis for file systemsACM SIGPLAN Notices10.1145/1543135.154250644:6(270-280)Online publication date: 15-Jun-2009
https://dl.acm.org/doi/10.1145/1543135.1542506
Rubio-González CGunawi HLiblit BArpaci-Dusseau RArpaci-Dusseau AHind MDiwan A(2009)Error propagation analysis for file systemsProceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/1542476.1542506(270-280)Online publication date: 15-Jun-2009
https://dl.acm.org/doi/10.1145/1542476.1542506
Jhumka AHiller M(2005)Putting Detectors in Their PlaceProceedings of the Third IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2005.38(33-43)Online publication date: 7-Sep-2005
https://dl.acm.org/doi/10.1109/SEFM.2005.38
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
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents