Skip to main content
SpringerLink
Log in

Proposed Run-Time System Versus Existing Approaches

  • Chapter
  • First Online:
Software Design for Resilient Computer Systems

  • 711 Accesses

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 implementation of all steps of GAFT.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills Software, vol 61

    Google Scholar 

  2. Klein G et al (2009) seL4: formal verification of an os kernel. Technical report

    Google Scholar 

  3. Dirk Vogt D, Do ̈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), Paris, France, April 2010. ACM, New York

    Google Scholar 

  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. ACM, New York, pp 25–30

    Google Scholar 

  5. Tanenbaum A (2006) Reorganizing Unix for reliability. In: Proceedings of the 11th Asia-Pacific, pp 81–94

    Google Scholar 

  6. David F et al (2008) Curios: improving reliability through operating system structure. OSDI’08, pp 59–72, Berkeley, CA, USENIX Association

    Google Scholar 

  7. Shapiro J (1999) EROS: a capability system. Ph.D thesis, University of Pennsylvania

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT-ACS Ltd., Stevenage, UK

    Igor Schagaev & Thomas Kaegi-Trachsel

Authors
  1. Igor Schagaev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Kaegi-Trachsel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Igor Schagaev .

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Schagaev, I., Kaegi-Trachsel, T. (2016). Proposed Run-Time System Versus Existing Approaches. In: Software Design for Resilient Computer Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-29465-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29465-0_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29463-6

  • Online ISBN: 978-3-319-29465-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation