On the placement of software mechanisms for detection of data errors

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 135-144

  Hiller, Martin ^a   Jhumka, Arshad ^a   Suri, Neeraj ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BLACK BOX MODULAR SOFTWARE; DATA ERRORS; ERROR MODEL EFFECTS; ERROR PROPAGATION ANALYSIS;

COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; ERROR ANALYSIS; ERROR DETECTION; HEURISTIC METHODS;

SOFTWARE ENGINEERING;

EID: 0036930706     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028894     Document Type: Conference Paper

References (22)

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
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.
4. Fabre, J.-C., et al., "Assessment of Microkernels by Fault Injection", Proc. DCCA-7, pp. 25-44, 1999.
5. Fujiwara H., Shimoto T. "On the Acceleration of Test Generation 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.
7. Hiller M., "Executable Assertions for Detecting Data Errors in Embedded Control Systems", Proc. DSN 2000, pp. 24-33, 2000.
8. Hiller M., "A Tool for Examining the Behavior of Faults and Errors in Software", TR 00-19, Dept. of CE, Chalmers Univ., (available at http://www.ce.chalmers.se/LDC/DEEDS/), 2000.
9. Hiller M., Jhumka, A., Suri N., "An Approach for Analysing the Propagation of Data Errors in Software", Proc. DSN 2001, pp. 161-170, 2001.
10. 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.
11. Laprie J.-C., "Dependable Computing: Concepts, Limits, Challenges", Proc. FTCS-25, pp. 42-54, 1995.
12. Mahmood, A., et al., "Executable Assertions and Flight Software", Proc. DASC-6, pp. 346-351, 1984.
13. Morell L., Murnill 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.
15. Roth J.P., Computer Logic, Testing and Verification, Computer Press, 1980.
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.
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.
19. US Air Force - 99, "MIL-SPEC: Aircraft Arresting System BAK-12A/E32A; Portable, Rotary Friction", MIL-A-38202C, Notice I, 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.
22. Voas J., et al., "Error Propagation Analysis Studies in a Nuclear Research Code", Aerospace Conf., Vol. 4, pp. 115-121, 1998.