Stay strong, stay safe: Enhancing Reliability of a Secure Operating System

Current research in operating systems focuses either on security or on reliability. However, modern embedded platforms demand solutions that suit both kinds of requirements. In this paper, we present L4ReAnimator, a framework that allows restarting crashed applications and reestablishing lost communication channels on top of the Fiasco.OC microkernel. It therefore effectively combines the already existing capability-based security architecture of Fiasco.OC with reliability features at a reasonable cost.

[1]  Trent Jaeger,et al.  The SawMill multiserver approach , 2000, EW 9.

[2]  Roy H. Campbell,et al.  CuriOS: Improving Reliability through Operating System Structure , 2008, OSDI.

[3]  Shekhar Y. Borkar,et al.  Designing reliable systems from unreliable components: the challenges of transistor variability and degradation , 2005, IEEE Micro.

[4]  J. Shapiro,et al.  EROS: a fast capability system , 2000, OPSR.

[5]  Norman Feske,et al.  Design of the Bastei OS Architecture , 2012 .

[6]  Herbert Bos,et al.  Reorganizing UNIX for Reliability , 2006, Asia-Pacific Computer Systems Architecture Conference.

[7]  Christof Fetzer,et al.  Software Encoded Processing: Building Dependable Systems with Commodity Hardware , 2007, SAFECOMP.

[8]  Brian N. Bershad,et al.  Improving the reliability of commodity operating systems , 2005, TOCS.

[9]  H. Hartig,et al.  Operating system(s) on top of persistent object systems-the BirliX approach , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[10]  Kai Li,et al.  Libckpt: Transparent Checkpointing under UNIX , 1995, USENIX.

[11]  Michael Norrish,et al.  seL4: formal verification of an OS kernel , 2009, SOSP '09.

[12]  Brian N. Bershad,et al.  Recovering device drivers , 2004, TOCS.

[13]  Adam Lackorzynski,et al.  Taming subsystems: capabilities as universal resource access control in L4 , 2009, IIES '09.

[14]  Roy H. Campbell,et al.  Building a Self-Healing Operating System , 2007, Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007).