A framework for self-healing device drivers

Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008

Volumn , Issue , 2008, Pages 277-286

  Ishikawa, Hiroo ^a   Courbot, Alexandre ^a   Nakajima, Tatsuo ^a  

^a WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CYBERNETICS; DATA STORAGE EQUIPMENT; SYSTEMS ENGINEERING;

DEVICE DRIVERS; FAILURE RECOVERIES; L4 MICROKERNEL; OPERATING SYSTEM FAILURES; SELF-HEALING;

AUTOMOBILE DRIVERS;

EID: 57949088041     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SASO.2008.43     Document Type: Conference Paper

References (16)

1. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler. An empirical study of operating system errors. In Proceedings of the 18th Symposium on Operating Systems Principles (SOSP '01), pages 73-88, 2001.
2. F. M. David and R. H. Campbell. Building a self-healing operating system. In Proceedings of the 3rd IEEE International Symposium on Dependable, Autonomic and Secure Computing, 2007.
3. J. Gray. Why do computers stop and what can be done about it? Technical Report 85.7, Tandem Computers, 1985.
4. G. Heiser, K. Elphinstone, I. Kuz, G. Klein, and S. M. Petters. Towards trustworthy computing systems: taking microkernels to the next level. SIGOPS Opererating Systems Review, 41(4):3-11, July 2007.
5. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Failure resilience for device drivers. In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '07), pages 41-50, 2007.
6. E. A. Lee. Cyber-physical systems - are computing foundations adequate? In NSF Workshop on Cyber-Physical Systems, October 2001.
7. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In Proceedings of the 4th USENIX OSDI Symposium, pages 289-304, 2000.
8. C. Peacock. Interfacing the Standard Parallel Port. http://www. beyondlogic.org/spp/parallel.htm, 2007.
9. F. Qin, J. Tucek, Y. Zhou, and J. Sundaresan. Rx: Treating bugs as allergies - a safe method to survive software failures. ACM Transactions on Computer Systems, 25(3), August 2007.
10. R. M. Stallman. Using and Porting the GNU Compiler Collection. Free Software Foundation, 1998.
11. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. ACM Transactions on Computer Systems, 24(4):333-360, November 2006.
12. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. In Proceedings of the 19th ACM symposium on Operating systems principles (SOSP '03), pages 207-222, 2003.
13. System Architecture Group, Department of Computer Science, Universität Karlsruhe. L4 eXperimental Kernel Reference Manual, Version X.2, Revision 6, November 2006.
14. Tools Interface Standards Committee. Executable and Linkable Format (ELF), version 1.2. Tools Interface Standards Committee, 1995.
15. Video Electronics Standard Association. VESA BIOS Extention Core Function Standard, Version 3.0, 1998.
16. L. Wang, Z. Kalbarczyk, W. Gu, and R. K. Iyer. An OS-level framework for providing application-aware reliability. In Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing (PRDC '06), pages 55-62, 2006.