Advertisement

System Software Support for Hardware Deficiency: Functions and Features

  • Igor SchagaevEmail author
  • Eugene Zouev
  • Kaegi Thomas
Chapter

Abstract

This chapter explains what is required to be changed or modified at the level of system software (runtime system, languages) to address new properties of computer system fault tolerance, resilience, and reliability. From the first principles, we think through the system design attempting to reflect new system properties “as early as possible”.

References

  1. 1.
    Microsoft Corporation (2008) Windows embedded CE overview. World Wide Web Electronic PublicationGoogle Scholar
  2. 2.
    VxWorks (2008) Vxworks overview. World Wide Web Electronic PublicationGoogle Scholar
  3. 3.
    Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills SoftwareGoogle Scholar
  4. 4.
    Friedrich et al (2006) Array-structured object types for mathematical programming. In: Lecture notes in computer science, vol 4228, pp 195–210. http://link.springer.com/book10.1007/11860990Google Scholar
  5. 5.
    Takaoka T (1986) The semantics of new while loop. Comput J 29(1)CrossRefGoogle Scholar
  6. 6.
    Russell D, Tiedeman M (1979) Multiprocess recovery using conversations. In: Digest of papers FTCS-9, 9th international symposiumGoogle Scholar
  7. 7.
    Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control 7Google Scholar
  8. 8.
    Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control 48(4)Google Scholar
  9. 9.
    Zehnder C (2001) Informatik-Projektentwicklung. vdf - Hochschulverlag AG an der ETH Zurich, Zurich (in German)Google Scholar
  10. 10.
    Wirth N, Gutknecht J (1992) Project Oberon: the design of an operating system and compiler. Addison-WesleyGoogle Scholar
  11. 11.
    Silberschatz A et al (2002) Operating system concepts. WileyGoogle Scholar
  12. 12.
    Stallings W (2008) Operating systems: internals and design principles. Prentice HallGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

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

Personalised recommendations