Error propagation profiling of operating systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 86-95

  Johansson, Andréas ^a   Suri, Neeraj ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ERRORS; ERROR PROPAGATION PROFILING; OPERATIONAL VULNERABILITIES; SYSTEMATIC IDENTIFICATION;

COMPUTER SOFTWARE; ERROR ANALYSIS; IDENTIFICATION (CONTROL SYSTEMS);

COMPUTER OPERATING SYSTEMS;

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

References (20)

1. A. Albinet et al. Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. Proc. of DSN, pp. 807-816, 2004.
2. J. Durães, H. Madeira. Multidimensional Characterization of the Impact of Faulty Drivers on the OS Behavior. IEICE Trans., E86-D(12):2563-2570, Dec. 2003.
3. J. Arlat et al. Dependability of COTS Microkernel-Based Systems. IEEE Trans. on Computers, 51(2):138-163, Feb. 2002.
4. T. Ball, S. Rajamani. The SLAM project: Debugging System Software via Static Analysis. Proc. of POPL, pp. 1-3, 2002.
5. A. Chou et al. An Empirical Study of Operating System Errors. Proc. of SOSP, pp. 73-88, 2001.
6. J. DeVale, P. Koopman. Performance Evaluation of Exception Handling in I/O Libraries. Proc. of DSN, pp. 519-524, 2001.
7. J.-C. Fabre et al. Building Dependable COTS Microkernel-Based Systems Using Mafalda. Proc. of PRDC, pp. 85-92, 2000.
8. C. Fetzer, Z. Xiao. An Automated Approach to Increasing the Robustness of C Libraries. Proc. of DSN, pp. 155-164, 2002.
9. T. Fraser et al. Hardening COTS SW With Generic SW Wrappers. Proc. of OASIS, pp. 399-413, 2003.
10. W. Gu et al. Characterization of Linux Kernel Behavior Under Errors. Proc. of DSN, pp. 459-468, 2003.
11. M. Hiller, A. Jhumka, N. Suri. PROPANE: An Environment for Examining the Propagation of Errors in Software. Proc. of ISSTA, pp. 81-85, 2002.
12. M. Hiller, A. Jhumka, N. Suri. EPIC: Profiling the Propagation and Effect of Data Errors in Software. IEEE Trans. on Computers, 53(5):512-530, May 2004.
13. A. Johansson et al. On Enhancing the Robustness of Commercial OS's. Proc. of ISAS, pp. 174-185, 2004.
14. P. Koopman, J. De Vale. Comparing the Robustness of POSIX OS's. Proc. of FTCS, pp. 30-37, 1999.
15. T. Mitchem et al. Linux Kernel Loadable Wrappers. Proc. of DARPA Information Survivability Conf., vol. 2, pp. 296-307, 2000.
16. B. Murphy, B. Levidow. Windows 2000 Dependability. Proc. of the Workshop on Dependable Networks and OS, pp. D20-28, 2000.
17. J. Pan et al. Robustness Testing and Hardening of CORBA Orb Implementations. Proc. of DSN, pp. 141-150, 2001.
18. L. Réveillère, G. Muller. Improving Driver Robustness: an Evaluation of the Devil Approach. Proc. of DSN, pp. 131-140, 2001.
19. M. M. Swift et al. Improving the Reliability of Commodity OS's. Proc. of SOSP, pp. 207-222, 2003.
20. T. Tsai, N. Singh. Reliability Testing of Applications on Windows NT. Proc. of DSN, pp. 427-436, 2000.