Appwatch: Detecting kernel bug for protecting consumer electronics applications

IEEE Transactions on Consumer Electronics

Volumn 56, Issue 2, 2010, Pages 687-694

  Hwang, Jeaho ^a   Jeong, Jinkyu ^a   Kim, Hwanju ^a   Kim, Jin Soo ^b   Lee, Joonwon ^b  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Sungkyunkwan University   (South Korea)

Author keywords

Application Reliability; Device Drivers; Embedded System; Memory Protection

Indexed keywords

ADDRESS SPACE; APPLICATION PROGRAMS; CONSUMER ELECTRONICS APPLICATIONS; CONSUMER ELECTRONICS PRODUCTS; DATA-INTENSIVE WORKLOADS; DEVICE DRIVER; DIVERSE DEVICES; ENGINEERING COSTS; MANAGEMENT MECHANISMS; MEMORY PROTECTION; NEW MECHANISMS; OPERATING SYSTEMS; PERFORMANCE LOSS; SELECTIVE PROTECTION; SYSTEM FAILURES; VIRTUAL MEMORY SYSTEMS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; RELIABILITY; SYSTEMS ENGINEERING;

CONSUMER ELECTRONICS;

EID: 77954729508     PISSN: 00983063     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCE.2010.5505989     Document Type: Article

References (28)

1. S, Moon, J, Kim, K, Bae, J. Lee and D. Seo, "Embedded Linux implementation on a commercial digital TV system," Consumer Electronics, IEEE Transactions on , vol.49, no.4, pp. 1402-1407, Nov. 2003
2. L, Cauley and M. Kessler, "Dropped calls plague iPhone 3G, and not just in U.S.," USA TODAY, August 17, 2008
3. V. Orgovan and M. Tricker, "An introduction to driver quality," Microsoft WinHec Presentation DDT301, Redmond, WA, August 2003.
4. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, "An empirical study of operating systems errors," In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, pp. 73-88, Banff, Alberta, Canada, October 21 - 24, 2001.
5. R. Hastings and B. Joyce, "Purify: Fast Detection of Memory Leaks and Access Errors," In Proceedings of the Winter Usenix Conference, pp. 1-12, January 1992.
6. M. M. Swift, B. N. Bershad, and H. M. Levy, "Improving the reliability of commodity operating systems," In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, pp. 207-222, Bolton Landing, NY, USA, October 19 - 22, 2003.
7. A. Tanenbaum, J. Herder, and H. Bos, "Can we make operating systems reliable and secure?" Computer, 39(5):44-51, 2006.
8. M. I. Seltzer, Y. Endo, C. Small, K. A. Smith, "Dealing with disaster, surviving misbehaved kernel extensions," In Proceedings of the second USENIX symposium on Operating systems design and implementation, pp. 213-227, Seattle, Washington, United States, October 29-November 01, 1996.
9. M. M. Swift, S. Martin, H. M. Levy, and S. J. Eggers 2002. "Nooks: an architecture for reliable device drivers," In Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, pp. 102-107, Saint-Emilion, France, July 01 - 01, 2002.
10. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy, "Recovering device drivers," ACM Transactions on Computer System, pp. 333-360, 24, 4 (Nov. 2006).
11. J. Liedtke, "On micro-kernel construction." In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, Copper Mountain, Colorado, United States, December 03-06, 1995.
12. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. "Mach, A new kernel foundation for UNiX development," in Proceedings of the Summer 1986 USENIX Conference, pp. 93-112, July 1986.
13. D.R. Cheriton, "The V Kernel: A Software Base for Distributed Systems," IEEE Software, vol.1, no.2, pp. 19-42, 1984
14. A. Bricker, "A new look at micro-kernel-based UNIX operating systems: Lessons in performance and compatibility," In Proceedings of EurOpen Spring'91 Conference, Tromsoe, Norway, May 1991.
15. S. J. Mullender, G. van Rossum, A. S. Tananbaum, R. van Renesse, and H. van Staveren, "Amoeba: a distributed operating system for the 1990s," Computer , vol.23, no.5, pp.44-53, May 1990.
16. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum, "Modula System Programming in MINIX 3," USENIX ;login, April, 2006.
17. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum, "MINIX 3: a highly r eliable, self-repairing operating system," SIGOPS Operaing System Rev. 40, 3, PP. 80-89, July 2006. (Pubitemid 44299051)
18. F. M. David, E. M. Chan, J. C. Carlyle and R. H. Campbell, "CuriOS: Improving Reliability through Operating System Structure," In Proceedings of USENIX Symposium on Operating Systems Design and Implementation, Dec, 2008.
19. G. C. Hunt et al, "An overview of the Singularity project," In Tech. Rep. MSR-TR-2005-2135, Microsoft Research, October 2005.
20. J. LeVasseur, V. Uhlig, J. Stoess, S. Götz, "Unmodified device driver reuse and improved system dependability via virtual machines," In Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.2-2, December 06-08, 2004, San Francisco, CA.
21. X. Chen, T. Garfinkel, E. C. Lewis, P. Subrahmanyam, C. A. Waldspurger, D. Boneh, J. Dwoskin, and D. R. Ports, "Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems." In Proceedings of the 13th international Conference on Architectural Support For Programming Languages and Operating Systems, pp. 2-13, Seattle, WA, USA, March 01 - 05, 2008.
22. E. Witchel, J. Cates, and K. Asanoví, "Mondrian memory protection," In Proceedings of the 10th international Conference on Architectural Support For Programming Languages and Operating Systems, pp. 304-316, San Jose, California, October 05 - 09, 2002.
23. E. Witchel, J. Rhee, and K. Asanoví, "Mondrix: memory isolation for linux using mondriaan memory protection," In Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, pp. 31-44, Brighton, United Kingdom, October 23 - 26, 2005
24. R. Love, "Linux Kernel Development, 2nd ed.," Novel Press: Indianapolis, 2005, pp. 181-194.
25. Intel, "Intel® 64 and IA-32 Architectures Software Developer's Manual", August 2008.
26. P. M. Chen, W. T. Ng, S. Chandra, C. Aycock, G. Rajamani, and D. Lowell, "The Rio file cache: surviving operating system crashes," In Proceedings of the Seventh international Conference on Architectural Support For Programming Languages and Operating Systems, pp. 74-83, Cambridge, Massachusetts, United States, October 01 - 04, 1996.
27. M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R. B. Brown, "MiBench: A free, commercially representative embedded benchmark suite," In Proceedings of Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop on , vol., no., pp. 3-14, 2 Dec. 2001.
28. M. Frigo and S. G. Johnson, "The Design and Implementation of FFTW3," Proceedings of the IEEE 93 (2), 216-231 (2005). Invited paper, Special Issue on Program Generation, Optimization, and Platform Adaptation.