Advertisement

Proposed Runtime System Versus Existing Approaches

  • Igor SchagaevEmail author
  • Eugene Zouev
  • Kaegi Thomas
Chapter

Abstract

In this chapter, we briefly compare our approach of a fault-tolerant operating system with existing approaches. We use our own definition of fault tolerance as a process that is required to support the implementation of all steps of GAFT.

References

  1. 1.
    Green Hills Software. Integrity, the most advanced RTOS technology. Technical report, Green Hills Software, 2008. 61, 191Google Scholar
  2. 2.
    Klein G et al (2009) sel4: formal verification of an os kernel. Technical report. 191Google Scholar
  3. 3.
    Dirk Vogt D, Döbel B, Lackorzynski A (2010) Stay strong, stay safe: enhancing reliability of a secure operating system. In: Proceedings of the workshop on isolation and integration for dependable systems (IIDS 2010), Paris, France, April 2010, New York, NY, USA. ACM. 192Google Scholar
  4. 4.
    Lackorzynski A, Warg A, (2009) Taming subsystems: capabilities as universal resource access control in l4. In: Proceedings of the second workshop on isolation and integration in embedded systems, IIES ’09, New York, NY, USA. ACM, pp 25–30. 192Google Scholar
  5. 5.
    Tanenbaum A (2006) Reorganizing Unix for reliability. In: Proceedings of 11th Asia-Pacific, pp 81–94. 192Google Scholar
  6. 6.
    David F et al (2008) Curios: improving reliability through operating system structure. In: OSDI’08, Berkeley, CA, USENIX Association, pp 59–72. 192 Google Scholar
  7. 7.
    Shapiro J (1999) EROS: a capability system. PhD thesis, University of Pennsylvania. 192Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.IT-ACS LtdStevenageUK
  2. 2.Department of InformaticsTechnopolisInnopolis, KazanRussia

Personalised recommendations