Abstract
This chapter explains what is required to be changed or modified at the level of system software (run-time system, languages) to address new properties of computer system fault tolerance, resilience, reliability. From the first principles, we think through the system design attempting to reflect new system properties “as early as possible.”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Microsoft Corporation. Windows embedded CE overview. World Wide Web Electronic Publication (2008)
VxWorks. Vxworks overview. World Wide Web Electronic Publication (2008)
Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills Software
Friedrich et al. (2006) Array-structured object types for mathematical programming. Lecture notes in computer science, Vol 4228, pp 195–221, http://link.springer.com/book10.1007/11860990
Takaoka T (1989) The semantics of new while loop. Comput J 29(1):33–35
Russell D, Tiedeman M (1979) Multiprocess recovery using conversations. In: FTCS-9. Digest of papers, 9th international symposium
Schagaev I (1986) Algorithms of computation recovery. Automat Remote Control 7
Schagaev I (1987) Algorithms for restoring a computing process. Automat Remote Control 48(4)
August ZC (2001) Informatik-Projektentwicklung. vdf- Hochschulverlag AG an der ETH Zurich, Zu ̈rich. In German
Wirth N, Gutknecht J (1992) Project oberon: the design of an operating system and compiler. Addison-Wesley, Workingham
Silberschatz A et al (2002) Operating System Concepts. Wiley, New York
Stallings W (2008) Operating Systems: Internals and Design Principles. Prentice Hall, Upper Saddle River
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Schagaev, I., Kaegi-Trachsel, T. (2016). System Software Support for Hardware Deficiency: Function and Features. In: Software Design for Resilient Computer Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-29465-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-29465-0_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29463-6
Online ISBN: 978-3-319-29465-0
eBook Packages: EngineeringEngineering (R0)