Building a self-healing embedded system in a multi-OS environment

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Building a self-healing embedded system in a multi-OS environment

Full text

Pdf (440 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

SESSION: Operating systems track table of contents

Pages 293-298

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Tomohiro Katori	Waseda University, Tokyo, Japan
Lei Sun	Waseda University, Tokyo, Japan
Dennis K. Nilsson	Chalmers University of Technology, Gothenburg, Sweden
Tatsuo Nakajima	Waseda University, Tokyo, Japan

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 20, Downloads (12 Months): 91, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529347 What is a DOI?

ABSTRACT

In this paper we describe our approach to improve dependability of a commodity OS for embedded systems. Usually it is too difficult for end-users to resolve the problem inside a single OS, especially for embedded systems. We propose a self-healing mechanism for Linux kernel to improve the system dependability without any operations by administrators. This paper presents our white box approach for monitoring and recovering Linux kernel. Key components are a system monitor and a virtual machine monitor. The system monitor is used to detect the inconsistency of data structures inside Linux kernel. The virtual machine monitor provides a multi-OS environment and it isolates the system monitor from Linux kernel. In a multi-OS environment, the system monitor is able to resolve failures inside Linux kernel without stopping crucial services running on another OS. We have developed a prototype for an embedded system to verify our approach. The experiment results show that our system can remove hidden processes and reload buggy kernel modules. The performance evaluation results show that our self-healing mechanism can be used even when Linux kernel is heavily-loaded and the overhead of the system monitor is vanishingly small in actual use.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	The Linux-HA project. http://linux-ha.org/ visited June 2008.
	2	SH-2007 by ITO Co., Ltd. http://sh2000.sh-linux.org/sh2007.html visited August 2008.
	3	stress project. http://weather.ou.edu/apw/projects/stress/ visited August 2008.
	4	Blue screen. http://support.microsoft.com/kb/q129845 visited June 2008. visited June 2008.
	5	M. Baker and M. Sullivan. The recovery box: Using fast recovery to provide high availability in the UNIX environment. In USENIX, pages 31--44, Summer 1992.
	6	Boris Beizer, Software is different, Annals of Software Engineering, v.10 n.1-4, p.293-310, 2000 [doi>10.1023/A:1018999919169]
	7	George Candea , Shinichi Kawamoto , Yuichi Fujiki , Greg Friedman , Armando Fox, Microreboot — A technique for cheap recovery, Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation, p.3-3, December 06-08, 2004, San Francisco, CA
	8	Andy Chou , Junfeng Yang , Benjamin Chelf , Seth Hallem , Dawson Engler, An empirical study of operating systems errors, ACM SIGOPS Operating Systems Review, v.35 n.5, Dec. 2001
	9	Francis M. David , Roy H. Campbell, Building a Self-Healing Operating System, Proceedings of the Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, p.3-10, September 25-26, 2007 [doi>10.1109/DASC.2007.5]
	10	Brian Demsky , Martin Rinard, Automatic detection and repair of errors in data structures, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
	11	Brian Demsky , Martin Rinard, Data structure repair using goal-directed reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062499]
	12	Tal Garfinkel , Ben Pfaff , Jim Chow , Mendel Rosenblum , Dan Boneh, Terra: a virtual machine-based platform for trusted computing, ACM SIGOPS Operating Systems Review, v.37 n.5, December 2003
	13	Hiroo Ishikawa , Alexandre Courbot , Tatsuo Nakajima, A Framework for Self-Healing Device Drivers, Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, p.277-286, October 20-24, 2008 [doi>10.1109/SASO.2008.43]
	14	Xuxian Jiang , Xinyuan Wang , Dongyan Xu, Stealthy malware detection through vmm-based "out-of-the-box" semantic view reconstruction, Proceedings of the 14th ACM conference on Computer and communications security, October 28-31, 2007, Alexandria, Virginia, USA [doi>10.1145/1315245.1315262]
	15	Stephen T. Jones , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau, VMM-based hidden process detection and identification using Lycosid, Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 05-07, 2008, Seattle, WA, USA [doi>10.1145/1346256.1346269]
	16	Wataru Kanda , Yu Yumura , Yuki Kinebuchi , Kazuo Makijima , Tatsuo Nakajima, SPUMONE: Lightweight CPU Virtualization Layer for Embedded Systems, Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, p.144-151, December 17-20, 2008 [doi>10.1109/EUC.2008.157]
	17	Jeffrey O. Kephart , David M. Chess, The Vision of Autonomic Computing, Computer, v.36 n.1, p.41-50, January 2003 [doi>10.1109/MC.2003.1160055]
	18	B. Leslie, C. van Schaik, and G. Heiser. Wombat: a portable user-mode linux for embedded systems. In Proceedings of the 6th Linux. Conf. Au, Canberra, Australia, 2005.
	19	J. Liedtke, On micro-kernel construction, ACM SIGOPS Operating Systems Review, v.29 n.5, p.237-250, Dec. 3, 1995
	20	H. MAEJIMA, M. KAINAGA, and K. UCHIYAMA. Design and architecture for low-power/high-speed RISC microprocessor: SuperH (special issue on low-power and high-speed lsi technologies). IEICE transactions on electronics, 80(12): 1539--1545, 1997.
	21	Reiner Sailer , Trent Jaeger , Enriquillo Valdez , Ramon Caceres , Ronald Perez , Stefan Berger , John Linwood Griffin , Leendert van Doorn, Building a MAC-Based Security Architecture for the Xen Open-Source Hypervisor, Proceedings of the 21st Annual Computer Security Applications Conference, p.276-285, December 05-09, 2005 [doi>10.1109/CSAC.2005.13]
	22	Hiroaki Takada, Introduction to the TOPPERS Project " Open Source RTOS for Embedded Systems, Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, p.44, May 14-16, 2003
	23	Hiroaki Takada , Shin'ichi Iiyama , Tsutomu Kindaichi , Shouichi Hachiya, Linux on ITRON: A Hybrid Operating System Architecture for Embedded Systems, Proceedings of the 2002 Symposium on Applications and the Internet (SAINT) Workshops, p.4, January 28-February 01, 2002
	24	Yan Wen , Jinjing Zhao , Huaimin Wang, Implicit Detection of Hidden Processes with a Local-Booted Virtual Machine, Proceedings of the 2008 International Conference on Information Security and Assurance (isa 2008), p.150-155, April 24-26, 2008 [doi>10.1109/ISA.2008.22]
	25	C. Wright, C. Cowan, J. Morris, S. Smalley, and G. Kroah-Hartman. Linux security modules: general security support for the linux kernel. Foundations of Intrusion Tolerant Systems, 2003 {Organically Assured and Survivable Information Systems}, pages 213--226, 2003.
	26	V. Yodaiken. The RTLinux manifesto. In The Proceedings of the 5th Linux Expo, Raleigh, North Carolina, 1999.