<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">

  <head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <title>Distributed and Ubiquitous Computing Laboratory</title>
    <meta http-equiv="X-UA-Compatible" content="IE=EmulateIE7" />
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="shortcut icon" href="/sites/default/files/earthen_favicon.ico" type="image/x-icon" />
    <link type="text/css" rel="stylesheet" media="all" href="/modules/aggregator/aggregator.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/book/book.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/date/date.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/date/date_popup/themes/datepicker.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/date/date_popup/themes/timeentry.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/img_assist/img_assist.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/node/node.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/system/defaults.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/system/system.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/system/system-menus.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/user/user.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/views-bak/theme/content-module.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/sites/all/modules/dclmembers/dclmembers.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/sites/all/modules/mreport/mreport.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/calendar/calendar.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/misc/farbtastic/farbtastic.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/modules/modules/fieldgroup/fieldgroup.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/sites/all/modules/biblio/biblio.css?7" />
<link type="text/css" rel="stylesheet" media="all" href="/themes/earthen/style.css?7" />
    <script type="text/javascript" src="/misc/jquery.js?7"></script>
<script type="text/javascript" src="/misc/drupal.js?7"></script>
<script type="text/javascript" src="/modules/img_assist/img_assist.js?7"></script>
<script type="text/javascript" src="/themes/earthen/script.js?7"></script>
<script type="text/javascript">
<!--//--><![CDATA[//><!--
jQuery.extend(Drupal.settings, { "basePath": "/" });
//--><!]]>
</script>
    <!--[if IE 6]><link rel="stylesheet" href="/themes/earthen/style.ie6.css" type="text/css" /><![endif]-->  
    <!--[if IE 7]><link rel="stylesheet" href="/themes/earthen/style.ie7.css" type="text/css" media="screen" /><![endif]-->
    <script type="text/javascript"> </script>
  </head>

  <body>
    <div class="PageBackgroundSimpleGradient"></div>
    <div class="PageBackgroundGlare">
      <div class="PageBackgroundGlareImage"></div>
    </div>
    <div class="Main">
      <div class="Sheet">
        <div class="Sheet-cc"></div>
        <div class="Sheet-body">
          <div class="Header">
            <div class="Header-jpeg"></div>
            <div class="logo">
                              <a href="/" title="Home"><img src="/sites/default/files/earthen_logo.png" alt="Home" /></a>
                          </div>
          </div>
                    <div class="contentLayout">
            <div class="content">
              <div id="featured"></div>
              <div class="Post">
                <div class="Post-body">
                  <div class="Post-inner">
                    <div class="PostContent">
                      <div class="breadcrumb"><a href="/">Home</a> | <a href="/publications">Publications</a></div>                                                                                                                                                                                <pre>&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;
&lt;XML&gt;&lt;RECORDS&gt;
&lt;RECORD&gt;
	&lt;REFERENCE_TYPE&gt;3&lt;/REFERENCE_TYPE&gt;
	&lt;AUTHORS&gt;
		&lt;AUTHOR&gt;Katori, Tomohiro&lt;/AUTHOR&gt;
		&lt;AUTHOR&gt;Lei Sun&lt;/AUTHOR&gt;
		&lt;AUTHOR&gt;Nilsson, Dennis K.&lt;/AUTHOR&gt;
		&lt;AUTHOR&gt;Tatsuo Nakajima&lt;/AUTHOR&gt;
	&lt;/AUTHORS&gt;
	&lt;YEAR&gt;2009&lt;/YEAR&gt;
	&lt;TITLE&gt;Building a self-healing embedded system in a multi-OS environment&lt;/TITLE&gt;
	&lt;SECONDARY_TITLE&gt;SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing&lt;/SECONDARY_TITLE&gt;
	&lt;PLACE_PUBLISHED&gt;New York, NY, USA&lt;/PLACE_PUBLISHED&gt;
	&lt;PUBLISHER&gt;ACM&lt;/PUBLISHER&gt;
	&lt;PAGES&gt;293–298&lt;/PAGES&gt;
	&lt;ISBN&gt;978-1-60558-166-8&lt;/ISBN&gt;
	&lt;ABSTRACT&gt;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.&lt;/ABSTRACT&gt;
&lt;/RECORD&gt;
&lt;/RECORDS&gt;&lt;/XML&gt;</pre>                    </div>
                    <div class="cleared"></div>
                  </div>
                </div>
              </div>
            </div>
            <div class="sidebar1"><div class="Block">
  <div class="Block-tl"></div>
  <div class="Block-tr"></div>
  <div class="Block-bl"></div>
  <div class="Block-br"></div>
  <div class="Block-tc"></div>
  <div class="Block-bc"></div>
  <div class="Block-cl"></div>
  <div class="Block-cr"></div>
  <div class="Block-cc"></div>
  <div class="Block-body">
          <div class="BlockHeader">
        <div class="l"></div>
        <div class="r"></div>
        <div class="header-tag-icon">
          <div class="t">
            Menu          </div>
        </div>
      </div>
        <div class="BlockContent">
      <div class="BlockContent-body">
        <ul class="menu"><li class="leaf first"><a href="/" title="">DCL TOP PAGE</a></li>
<li class="leaf"><a href="/about_dcl" title="Our vision">Our vision</a></li>
<li class="expanded"><a href="/groups" title="Research group">Research group</a><ul class="menu"><li class="leaf first"><a href="/ami" title="AmI">AmI</a></li>
<li class="leaf last"><a href="/osrg" title="OSRG">OSRG</a></li>
</ul></li>
<li class="leaf"><a href="/dclmembers" title="Members">Members</a></li>
<li class="leaf"><a href="/dclmembers/alumni" title="DCL alumni and visitors list">Alumni</a></li>
<li class="collapsed"><a href="/publications" title="Publications">Publications</a></li>
<li class="leaf"><a href="/public_calendar" title="">Calendar</a></li>
<li class="leaf"><a href="/access" title="Access">Access</a></li>
<li class="leaf last"><a href="/link" title="Link">Link</a></li>
</ul>      </div>
     </div>
  </div>
</div>
<div class="Block">
  <div class="Block-tl"></div>
  <div class="Block-tr"></div>
  <div class="Block-bl"></div>
  <div class="Block-br"></div>
  <div class="Block-tc"></div>
  <div class="Block-bc"></div>
  <div class="Block-cl"></div>
  <div class="Block-cr"></div>
  <div class="Block-cc"></div>
  <div class="Block-body">
          <div class="BlockHeader">
        <div class="l"></div>
        <div class="r"></div>
        <div class="header-tag-icon">
          <div class="t">
            Search          </div>
        </div>
      </div>
        <div class="BlockContent">
      <div class="BlockContent-body">
        <form action="/publications/export/xml/171/popup"  accept-charset="UTF-8" method="post" id="search-block-form">
<div><div class="container-inline">
  <div class="form-item" id="edit-search-block-form-1-wrapper">
 <label for="edit-search-block-form-1">Search this site: </label>
 <input type="text" maxlength="128" name="search_block_form" id="edit-search-block-form-1" size="15" value="" title="Enter the terms you wish to search for." class="form-text" />
</div>
<button type="submit" name="op" id="edit-submit" value="Search"  class="Button form-submit"><span class="btn"><span class="l"></span><span class="r"></span><span class="t">Search</span></span></button><input type="hidden" name="form_build_id" id="form-c53ceb6db3a99fc07d61b33112ebbed7" value="form-c53ceb6db3a99fc07d61b33112ebbed7"  />
<input type="hidden" name="form_id" id="edit-search-block-form" value="search_block_form"  />
</div>

</div></form>
      </div>
     </div>
  </div>
</div>
<div class="Block">
  <div class="Block-tl"></div>
  <div class="Block-tr"></div>
  <div class="Block-bl"></div>
  <div class="Block-br"></div>
  <div class="Block-tc"></div>
  <div class="Block-bc"></div>
  <div class="Block-cl"></div>
  <div class="Block-cr"></div>
  <div class="Block-cc"></div>
  <div class="Block-body">
          <div class="BlockHeader">
        <div class="l"></div>
        <div class="r"></div>
        <div class="header-tag-icon">
          <div class="t">
            Language          </div>
        </div>
      </div>
        <div class="BlockContent">
      <div class="BlockContent-body">
        <ul><li class="en first active"><a href="/publications/export/xml/171/popup" class="language-link active">English</a></li>
<li class="ja last"><a href="/ja/publications/export/xml/171/popup" class="language-link">日本語</a></li>
</ul>      </div>
     </div>
  </div>
</div>
</div>          </div>
          <div class="cleared"></div>
          <div class="Footer">
            <div class="Footer-inner">
              <a href="" class="rss-tag-icon" title="RSS"></a>
              <div class="Footer-text">
                              </div>
            </div>
            <div class="Footer-background"></div>
          </div>
        </div>
      </div>
      <div class="cleared"></div>
      <p class="page-footer"></p>
    </div>
      </body>
</html>