Application-based metrics for strategic placement of detectors

Proceedings - 11th Pacific Rim International Symposium on Dependable Computing, PRDC 2005

Volumn 2005, Issue , 2005, Pages 75-82

  Pattabiraman, Karthik ^a   Kalbarczyk, Zbigniew ^a   Iyer, Ravishankar K ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECTED ACYCLIC GRAPHS; DYNAMIC DEPENDENCE GRAPH (DDG); PROGRAM EXECUTION; PROGRAM LOCATIONS;

COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER SYSTEM RECOVERY; GRAPH THEORY; MATHEMATICAL MODELS;

EMBEDDED SYSTEMS;

EID: 33847244998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2005.19     Document Type: Conference Paper

References (22)

1. Aho, R. Sethi, and J. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, MA, 1986.
2. C. Basile, L. Wang, Z. Kalbarczyk, and R. K. Iyer, Group Communication Protocols under Errors, Symp. on Reliable Distributed Systems (SRDS) 2003.
3. th Intl. On-Line Testing Workshop, 2001.
4. D. Burger, T. Austin, and S. Bennett, Evaluating Future Microprocessors: The SimpleScalar ToolSet, University of Wisconsin-Madison, Computer Sciences Department, Technical Report CS-TR-1308, July 1996.
5. th Intl. Symposium on Fault-Tolerant Computing (FTCS-28), 1998.
6. th Intl. Conference on Software Engineering, 1991.
7. Compaq Computer Corp, Data Integrity for Compaq NonStop Himalaya Servers, http://nonstop.compaq.com, 1999.
8. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Trans. on Software Engineering, 27(2), 2001.
9. T. Goradia, Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation, ISSTA 1993.
10. W. Gu, Z. Kalbarczyk, R. K. Iyer, and Z. Yang, Characterization of Linux Kernel Behavior under Errors, Proc. Intl. Conference on Dependable Systems and Networks (DSN), 2003.
11. M. Hiller, Executable Detectors for Detecting Data Errors in Embedded Control Systems, Proc. Intl. Conference on Dependable Systems and Networks (DSN), 2000.
12. M. Hiller, A. Jhumka, and N. Suri, On the Placement of Software Mechanisms for Detection of Data Errors, Proc. Intl. Conference on Dependable Systems and Networks (DSN), 2002.
13. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria, Proc. Intl. Conference of Software Engineering (ICSE), 1994.
14. R.K. Iyer, D.J Rosetti, and M.C. Hseuh, Measurement and Modeling of Computer Reliability as Affected by System Activity, ACM Trans. on Computer Systems, 4(3), 1986.
15. W. Kao, R. K. Iyer, and D. Tang, FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults, IEEE Trans. on Soft-ware Engineering, 19(11), 1993.
16. S. Narayanan, S. Son, M. Kandemir, and F. Li, Using Loop Invariants to Fight Soft Errors in Data Caches, Proc. Asia and South Pacific Design Automation Conference (ASP-DAC'05), 2005.
17. rd Workshop on Runtime Verification (RV'03), 2003.
18. T. Slegel, et al., IBM's S/390 G5 Microprocessor Design, IEEE Micro, 19(2), 1999.
19. A. Thakur, Measurement and Analysis of Failures in Computer Systems, M.S Thesis, University of Illinois, UILU-ENG-97, September 1997.
20. J. Voas and K. Miller, The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault Tolerance, Proc. of ECBS, 1999.
21. N. Nakka, Z. Kalbarczyk, R. K. Iyer, and J. Xu, An Architectural Framework for Providing Reliability and Security Support, Proc. Intl. Conference on Dependable Systems and Networks (DSN), 2004.
22. K.Pattabiraman, Z.Kalbarczyk and R.K. Iyer, Application-Based Metrics for Strategic Placement of Detectors, Technical Report, University of Illinois at Urbana-Champaign, 2005.