Software design for resilient computer systems

Software Design for Resilient Computer Systems

Volumn , Issue , 2016, Pages 1-214

  Schagaev, Igor ^a   Kaegi Trachsel, Thomas ^a  

^a IT ACS Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; HARDWARE; RELIABILITY THEORY; SOFTWARE DESIGN; SOFTWARE RELIABILITY; SPACE RESEARCH;

INDUSTRIAL CONTROLS; PROCESSOR ARCHITECTURES; PROOF OF CONCEPT; RECOVERY PROCEDURE; RUNTIME SYSTEMS; SPACE EXPLORATIONS; SYSTEM SOFTWARES; TOLERATE FAULTS;

FAULT TOLERANCE;

EID: 85017620411     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-319-29465-0     Document Type: Book

References (210)

1. Laprie J-C et al. (2001) Basic concepts and taxonomy of dependable and secure computing, IEEE Trans Dependable Secur Comput 1(1): 11-33, January-March 2004
2. Sogomonian E, Schagaev I (1988) Hardware and software fault tolerance of computer systems. Avtomatika i Telemekhanika, pp 3-39
3. Pliaskota S, Schagaev I (1995) Economic effectiveness of fault tolerance. Autom Remote Control 7: 2
4. Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In: IMEKO-FTSD symposium
5. Pliaskota S, Schagaev I (2001) Life cycle economic efficiency analysis. In: IEEE TESADI-01
6. Schagaev I (2008) Reliability of malfunction tolerance. In: International Multiconference on Computer Science and Information Technology, IMCSIT, pp 733-737
7. Wirth N, Gutknecht J (1992) Project Oberon: the design of an operating system and compiler. Addison-Wesley, New York
8. Johannes M (2002) The active object system-design and multiprocessor implementation. ETH Zurich, Zurich 4, 82, 109, 173
9. Mossenbock H, Wirth N (1991) The programming language Oberon-2. Technical report, Johannes Kepler Universitat Linz
10. Reiser M, Wirth N (1992) Programming in Oberon: steps beyond Pascal and Modula. Addison-Wesley, Wokingham
11. Wirth N (1977) Modula: a language for modular multiprogramming. Softw: Pract Experience 7(1): 1-35
12. Wirth N (1985) Programming in Modula-2. Springer, New York
13. Wirth N (1971) The programming language Pascal. Acta Informatica pp 35-63
14. Wirth N (1977) The use of Modula. Softw.Pract Experience 7
15. Kaegi-Trachsel T, Gutknecht J (2008) Minos-the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. In: International multiconference on IMCSIT 2008, pp 649-656, 20-22 October 2008
16. Schagaev I et al. (2007) Applying the principle of active safety to aviation. In: European Conference for Aerospace Sciences (EUCASS)
17. Schagaev I et al. (2010) ERA: evolving reconfigurable architecture. In: International Conference on 11th ACIS, pp 215-220
18. Baumann R (2005) Soft errors in advanced computer systems. IEEE Design Test Comput. 22(3): 258-266
19. Constantinescu C. Intermittent faults and effects on reliability of integrated circuits. RAMS 2008. Annual, pp 370-374, Jan. 2008
20. Wells P., Chakraborty, K., Sohi, G.S.: Adapting to intermittent faults in future multicore systems. In: 16th International Conference Parallel Architecture and Compilation Techniques, PACT pp 431 (2007)
21. Hamming R.: Error detection and error correction codes. In: The Bell System Technical Journal, volume XXVI(9), pp 147-160 (1950)
22. Reed I, Solomon G (1960) Polynomial codes over certain finite fields. J Soc Ind Appl Math 8(2): 300-304
23. Takaesu K, Yoshida T. Construction of a fault-tolerant voter for n-modular redundancy. Electronics and Communications in Japan (Part II: Electronics), 87(12): 62-71, 2004
24. Birolini Alessandro. Reliability Engineering Theory and Practice. Springer, 20014. Ed.8
25. Birolini A (2007) Reliability engineering theory and practice. Springer, Berlin
26. Von Neumann J (1956) Probabilistic logics and synthesis of reliable organisms from unreliable components. In: Shannon C,. McCarthy J (eds) Automata studies, pp 43-98. Princeton University Press, Princeton
27. Pierce WH (1965) Failure-tolerant computer design. Academic Press Inc., New York
28. Laprie J-C (1984) Dependability modeling and evaluation of software and hardware systems. In: Fehlertolerierende Pechensysteme, GI/NTG/GMR- Fachtagung, pp 202-215. Springer, London
29. Avizienis A, Gilley GC, Mathur FP, Rennels DA,. Rohr JA, Rubin DK(1971) The star (self-testing and repairing) computer: An investigation of the theory and practice of faulttolerant computer design. IEEE Trans Comput C-20(11): 1312-1321
30. Avizienis A (1971) FT computing: an overview. Computer, 4(1): 5-8, 1971
31. Avizienis A. Design of fault-tolerant computers. In AFIPS Conference Proceedings, volume 31, pages 733-743. Thompson Books
32. Laprie JC (1992) Dependability: basic concepts and terminology. Springer, Luxemburg
33. Avizienis A, Laprie J-C (1986) Dependable computing: from concepts to design diversity. Proc. IEEE 74: 629-638
34. Schagaev I (1990) Yet another approach to classification of redundancy. In: FTSD-FTCS Congress on technical diagnostic, Varna
35. Schagaev I. et al (2001) Redundancy classification and its applications for fault tolerant computer design. In: IEEE TESADI-01
36. Sogomonyan E, Shagaev I (1988) Hardware and software for fault-tolerant computing systems. In. Autom Remote Control 49: 129-151
37. McCluskey E et al (2002) Control-flow checking by software signatures. IEEE Trans Reliab 51(1): 111-122
38. Kulkarni V, Nicola V, Trivedi KS (1990) Effects of check pointing and queuing on program performance
39. Avizienis A, Gilley G, Mathur FP, Rennels D, Rohr J, Rubin D (1971) The star (self-testing and repairing) computer: an investigation of the theory and practice of fault-tolerant computer design. IEEE Trans Comput C-20(11): 1312-1321
40. DeAngelis D, Lauro J (1976) Software recovery in the fault-tolerant space borne computer. FTCS-6
41. Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control, 7
42. Schagaev I (1987) Algorithms for restoring a computing process. Autom. Remote Control 48(4): 29-36
43. Schagaev I et al (2001) Redundancy classification and its applications for fault tolerant computer design. In: IEEE Proceedings of the man system and cybernetics, Tucson, 2001
44. Avizienis A (1975) Architectures of fault tolerant computing systems. 5th International symposium on FTCS-5 pp 3-16 1975
45. Laprie J-C (1984) Dependability modeling and evaluation of software and hardware systems. In: Fehlertolerierende Rechensysteme, GI/NTG/GMR- Fachtagung, pp 202-215, Springer, London
46. Laprie J-C et al (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1): 11-33
47. Schagaev I (2008) Reliability of malfunction tolerance. In: International multi-conference on computer science and information technology, IMCSIT 2008, pp 733-737
48. O’Brian F (1976) Rollback point insertion strategies. In: Digest of papers 6th international symposium on fault-tolerant computing, 1976, FTCS-6
49. Vilenkin S, Schagaev I (1988) Operating system for fault tolerant SIMD computers programmirovanie, (No.3)
50. Birolini A (2014) Reliability engineering theory and practice, 7th edn, Springer, London
51. Castano V, Schagaev I (2015) Resilient computer system design. Springer, London ISBN 978- 3-319-15068-0
52. Schagaev I et al (2007) Applying the principle of active safety to aviation. In: European conference for aerospace sciences (EUCASS)
53. Schagaev I (1989) Computing process recovery algorithms. Avtomat Telemekh, (No. 4)
54. Schagaev I (1998) Concept of dynamic safety for aviation. In: Proceedings of ISSC, Seattle, pp 448-453
55. Schagaev I et al (2007) Method and apparatus for active system safety, UK Patent GB 0707057.6
56. Microsoft Corporation. Windows embedded CE overview. World Wide Web Electronic Publication (2008)
57. VxWorks. Vxworks overview. World Wide Web Electronic Publication (2008)
58. Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills Software
59. 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
60. Takaoka T (1989) The semantics of new while loop. Comput J 29(1): 33-35
61. Russell D, Tiedeman M (1979) Multiprocess recovery using conversations. In: FTCS-9. Digest of papers, 9th international symposium
62. Schagaev I (1986) Algorithms of computation recovery. Automat Remote Control 7
63. Schagaev I (1987) Algorithms for restoring a computing process. Automat Remote Control 48(4)
64. August ZC (2001) Informatik-Projektentwicklung. vdf- Hochschulverlag AG an der ETH Zurich, Zürich. In German
65. Wirth N, Gutknecht J (1992) Project oberon: the design of an operating system and compiler. Addison-Wesley, Workingham
66. Silberschatz A et al (2002) Operating System Concepts. Wiley, New York
67. Stallings W (2008) Operating Systems: Internals and Design Principles. Prentice Hall, Upper Saddle River
68. Bogdanov J, Schagaev I (1990) Sliding slotting diagnosis in multiprocessors. In: IMECO congress proceedings, pp 141-150
69. Kirby W et al (1985) The NMFECC Cray time-sharing system. Softw Pract Exp 15(1): 87-103
70. Serlin O (1984) Fault-tolerant systems in commercial applications. Comput C 7(8): 19-30
71. Blazewicz J et al (2007) Handbook on scheduling, from theory to applications. Springer, Berlin
72. Garey M, Johnson D (1979) Computers and in-tractability: a guide to the theory of NP-completeness. W.H. Freeman and Company, New York
73. Knuth D (1998) The art of computer programming Sorting and searching, vol III. Addison-Wesley Longman, Amsterdam
74. Johannes M (2002) The active object system-design and multiprocessor implementation. ETH Zurich, Zurich
75. Ingo M (2002) Linux kernel archive. World Wide Web electronic publication
76. Liu CL, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1): 46-61
77. Castano V, Schagaev I (2014) Resilient computer system design. Springer, Berlin. ISBN 978-3-319-15069-7
78. Blaeser L, Monkman S, Schagaev I (2014) Evolving systems worldcomp2014. In Proceedings of the international conference on foundations of computer science FCS’14, 2014 CSREA Press. ISBN: 1-60132-270-4
79. Monkman S, Schagaev I (2013) Redundancy + Reconfigurability = Recoverability, Electronics, 2, 2013, pp 212-233. doi: 10.3390/electronics2030212, ISSN 2079-9292
80. Buhanova G, Schagaev I (2001) Comparative study of fault tolerant ram structures. In: Proceeding IEEE dependendable system networks conference, Guetebog. https://www.academia.edu/7140850/. Accessed 10 July 2001
81. Liedtke J (1995) On micro-kernel construction. In: Proceedings of the fifteenth ACM symposium on operating systems principles, SOSP’95, ACM, New York, pp 237-250
82. Monkman S, Schagaev I (2013) Redundancy + reconfigurability = recoverability, Electronics, 2: 212-233, ISSN 2079-9292, doi: 10.3390/electronics2030212
83. Haeberlen A et al (2000) Stub-code performance is becoming important. In: Proceedings of 1st conference on industrial experiences with systems software, vol 1. USENIX Association, Berkeley, pp 4-4
84. Wirth N, Gutknecht J (1992) Project Oberon: the design of an operating system and compiler. Addison-Wesley, New York
85. Johannes M (2002) The active object system-design and multiprocessor implementation. ETH Zurich, Zurich
86. Mossenbock, Wirth N (1991) The programming language oberon-2. Technical report, Johannes Kepler Universitat Linz
87. Martin R, Wirth N (1992) Programming in oberon: steps beyond pascal and modula. Addison-Wesley, New York
88. Wirth N (1997) Modula: a language for modular multiprogramming. Softw Pract Exp 7(1): 1-35
89. Wirth N (1985) Programming in modula-2. Springer, Berlin
90. Wirth N (1971) The programming language Pascal. Acta Inform 1(6): 35-63
91. Wirth N (1977) The use of Modula. Softw Pract Exp 7: 3-35
92. Kaegi-Trachsel T, Gutknecht J (2008) Minos-the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. In: International multiconference on IMCSIT 2008, pp 649-656, 20-22
93. Fabry RS (1974) Capability-based addressing. Commun ACM, 17: 403-412
94. Schagaev I (1990) Using software recovery facilities for determining the type of hardware faults. Autom Remote Control 51(3): 400-407
95. McCluskey E et al (2002) Control-flow checking by software signatures. IEEE Trans Reliability 51(1): 111-122
96. Schagaev I (1989) Computing process recovery algorithms. Avtomat Telemekh 4: 48-55
97. Oh N, Mitra S, McCluskey E (2002) 4i: error detection by diverse data and duplicated instructions. IEEE Trans Comput 51(2): 180-199
98. McCluskey E et al (2002) Error detection by duplicated instructions in superscalar processors. IEEE Trans Reliability 51(1): 63-75
99. Sogomonyan E, Schagaev I (1988) Hardware and software for fault-tolerant computing systems. Autom Remote Control 49: 129-151
100. McCluskey E et al (2000) Dependable computing and online testing in adaptive and configurable systems. IEEE Des. Test Comput 17(1): 29-41
101. Mukherjee S et al (2002) Detailed design and evaluation of redundant multi-threading alternatives. In: 29th annual international symposium on computer architecture, 2002, pp 99-110
102. Dal Cin M et al (1993) Fault tolerance in distributed shared memory multiprocessors. In: Parallel computer architectures: theory, hardware, software, applications. Springer, London, pp 31-48
103. Candea G, Kawamoto S, Fujiki Y, Greg Friedman G, Fox A (2004) Microreboot; a technique for cheap recovery. In: Proceedings of the 6th conference on symposium on operating systems design and implementation, vol 6. USENIX Association, Berkeley, pp 3-3
104. Deconinck G et al (1993) Survey of backward error recovery techniques for multicomputers based on checkpointing and rollback. Int J Model Simul 18: 262-265
105. Elnozahy E et al (2002) A survey of rollback-recovery protocols in message-passing systems
106. Butler W (1981) Lampson. atomic transactions. In: Distributed systems-architecture and implementation, an advanced course. Springer London, pp 246-265
107. Randell B (1975) System structure for software fault tolerance. IEEE Trans Softw Eng 1: 220-232
108. Lamport L et al (1985) Distributed snap-shots: Determining global states of distributed systems. ACM Trans Comput Syst 3: 63-75
109. Attig N, Sander V (1993) Automatic check-pointing of nqs batch jobs on CRAY unicos systems. In: Proceedings of the cray user group meeting, pp 250-255, March 1993
110. Strom R, Yemini S (1985) Optimistic recovery in distributed systems. ACM Trans Comput Syst 3: 204-226
111. Lorenzo A, Keith M (1996) Trade-offs in implementing causal message logging protocols. In: 15th ACM symposium on principles of distributed computing, PODC’96. ACM, New York, pp 58-67
112. Borg A, Baumbach J, Glazer S (1983) A message system supporting fault tolerance. In: Proceedings of the ninth ACM symposium on operating systems principles, SOSP’83. ACM, New York, pp 90-99
113. Strom R, Bacon D, Yemini S (1988) Volatile logging in n-fault-tolerant distributed systems. In: Eighteenth international symposium on fault-tolerant computing, 1988. FTCS-18, digest of papers, pp 44-49
114. Elnozahy E, Zwaenepoel W (1992) Manetho: transparent roll back-recovery with low overhead, limited rollback, and fast output commit. IEEE Trans Comput 41(5): 526-531
115. Johnson D, Zwaenepoel W (1987) Sender-based message logging. In: Digest of papers: 17 annual international symposium on fault-tolerant computing. IEEE Computer Society, pp 14-19
116. Smith S, Johnson D (1996) Minimizing time stamp size for completely asynchronous optimistic recovery with minimal rollback. In: Proceedings of the 15th symposium on reliable distributed systems, SRDS’96, IEEE Computer Society, Washington, p 66
117. Bhargava B, Lian S, Leu P (1990) Experimental evaluation of concurrent checkpointing and rollback- recovery algorithms. In: Proceedings of sixth international conference on data engineering, 1990, pp 182-189
118. Tamir Y, Squin C (1984) Error recovery in multicomputers using global checkpoints. In: International conference on parallel processing, pp 32-41
119. Lamport L et al (1985) Distributed snapshots: determining global states of distributed systems. ACM Trans Comput Syst 3: 63-75
120. Tong Z, Kain R, Tsai W (1992) Rollback recovery in distributed systems using loosely synchronized clocks. IEEE Trans Parallel Distrib Syst 3: 246-251
121. Koo R, Toueg S (1987) Checkpointing and rollback-recovery for distributed systems. IEEE Trans SE 13: 23-31
122. Janakiraman G, Tamir Y (1994) Coordinated checkpointing-rollback error recovery for distributed shared memory multicomputers. In: Proceedings of 13th symposium on reliable distributed systems, 1994, pp 42-51
123. Janssens B, Fuchs WK (1994) Reducing inter-processor dependence in recoverable distributed shared memory. In: Proceedings of reliable distributed systems, 1994, pp 34-41
124. Li K (1986) Shared virtual memory on loosely coupled multiprocessors. PhD thesis, New Haven, CT, USA, AAI8728365
125. Bershad B, Zekauskas M (1991) Midway: shared memory parallel programming with entry consistency for distributed memory multiprocessors. Technical report
126. Huang Y, Wang Y (1995) Why optimistic message logging has not been used in telecommunications systems. FTCS-25, pp 459-463
127. Johnson BD (1990) Distributed system fault tolerance using message logging and checkpointing. PhD thesis, Houston, TX, USA, AAI9110983
128. Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21: 558-565
129. Brown L, Wu J (1995) Snooping fault-tolerant distributed shared memories. J Syst Softw 29: 149-165
130. Plank J (1993) Efficient checkpointing on MIMD architectures. PhD thesis, Princeton, NJ, USA, UMI Order No. GAX93-16087
131. Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control 7: 26, 36, 65, 122
132. Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control 48(4): 26, 65, 122, 141, 149
133. Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In: IMEKO-FTSD Symposium, p 2
134. Schagaev I (1986) Relationship between the formation of program recovery points and equipment reliability indices. Autom Remote Control 47: 124
135. Blaeser L, Monkman S, Schagaev I (2014) Evolving systems worldcomp2014, In: Proceedings of the international conference on foundations of computer science FCS’14, CSREA Press, ISBN: 1-60132-270-4
136. O’Brian F (1976) Rollback point insertion strategies. In: 6th international symposium on fault-tolerant computing, 1976. FTCS-6. digest of papers
137. Haeberlen A et al (2000) Stub-code performance is becoming important. In: Proceedings of 1st conference on industrial experiences with systems software, vol 1. USENIX Association, Berkeley, pp 4-4
138. Wirth N (2008) Oberon-07 language report, Technical report, ETH Zurich
139. Compact Flash Association (2007) Cf + and compact flash specification revision 4.1. Technical report
140. ONFi Workgroup (2011) Open NAND flash interface specification 3.0. Technical report, ONFI Workgroup
141. ONFi Workgroup (2009) Open NAND flash interface specification: Block abstracted NAND. Technical report, ONFi Workgroup
142. SanDisk Corporation (2002) Host design considerations: NAND MMC and SD-based products. Technical report, SanDisk Corporation
143. Gal E, Toledo S (2005) Algorithms and data structures for flash memories. ACM Comput Surv 37(2): 138-163
144. Chang L, Kuo T (2004) An efficient management scheme for large-scale flash memory storage systems. Technical report
145. Woodhouse D (2001) JOFFs: the journaling flash file system. Technical report, Red Hat, Inc
146. Sogomonian E, Schagaev I (1988) Hardware and software fault tolerance of computer systems. Avtomatika i Telemekhanika, pp 3-39
147. Schagaev I (1989) Computing process recovery algorithms. Avtomat. Telemekh., (No. 4)
148. Schagaev I (1990) Using software recovery methods for determining the type of hardware faults. Automation and Remote Control, 51(3)
149. Schagaev I (2008) Reliability of malfunction tolerance. In: International Multi-conference on Computer Science and Information Technology (IMCSIT 2008), pp 733-737
150. Schagaev I et al.(2010) ERA: evolving reconfigurable architecture. In: 11th International Conference on ACIS, pp 215-220
151. Castano V, Schagaev I (2015) Resilient Computer System Design. Springer, Berlin. ISBN ISBN 978-3-319150-68-0
152. Schagaev I (1986) Relationship between the formation of program recovery points and equipment reliability indices. Automatic and Remote Control, 47
153. Schagaev I (1986) Algorithms of computation recovery. Automation and Remote Control, vols 7, 26, 36, 65, 122
154. Schagaev I (1987) Algorithms for restoring a computing process. Automatic and Remote Control, vols 48(4), 26, 65, 122, 141, 149
155. Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In: IMEKO-FTSD Symposium
156. Schagaev I (1990) Yet another approach to classification of redundancy. In: IBID, 1
157. Kowalk W. CRC cyclic redundancy check -. Technical report, 2006. Universität Oldenburg Fachbereich Informatik 05.09.06
158. Hamming R (1950) Error detection and error correction codes. In: The Bell System Technical Journal, vol XXVI, pp 147-160
159. Moon T (2005) Error Correction Coding. Wiley, New Jersey
160. Schagaev I (1986) Using data redundancy for program rollback. Automation and Remote Control, Dec 1986, Vol 47(7) Part2. pp 1009-1016
161. Schagaev I, Viktorova V (1990) Comparative analysis of the efficiency of computation-process recovery algorithms. Automation and Remote Control, 51(1)
162. Laprie J-C et al.(2001) Fundamental concepts of computer systems dependability. Workshop on Robot Dep., Seoul, Korea, pp 21-22
163. Sogomonian E, Schagaev I (1988) Hardware and software fault tolerance of computer systems. Avtom Telemekh 49(2): 129-151
164. Schagaev I (1987) Computing process recovery algorithms. Avtomat. i Telemekh 4: 132-143
165. Schagaev I (1990) Using software recovery methods for determining the type of hardware faults. Autom Remote Control 51(3): 400-408
166. Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control 7, 26, 36, 65, 122
167. Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control 48(4), 26, 65, 122, 141, 149
168. Schagaev I (1986) Using data redundancy for program rollbac. Autom Remote Control 47(7) Part 2: 1009-1016
169. Schagaev I, Viktorova V (1990) Comparative analysis of the efficiency of computation-process recovery algorithms. Autom Remote Control 51(1): 101-109
170. Koren I, Su SYH (1986) Analysis of a class of recovery procedures. IEEE Trans Comput C-35(8): 703-712
171. Wirth N (2008) Oberon-07 language report. Technical report, ETH Zurich
172. Schagaev I (2008) Reliability of malfunction tolerance. In: International multi-conference on computer science and information technology, IMCSIT 2008, pp 733 -737
173. Castano V, Schagaev I (2015) Resilient computer system design, ISBN 978-3-319-15069-7, Springer, New York
174. Schagaev et al http://www.transport-research.info/Upload/Documents/201210/20121025_145 753_96261_127704771EN6.pdf
175. Kaegi-Trachsel T, Gutknecht J (2008) Minos-the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. International Multi-conference on IMCSIT 2008, pp 649-656, 20-22
176. Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control, 7
177. Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control, 48(4)
178. Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In IMEKO-FTSD Symposium
179. Schagaev I (1990) Yet another approach to classification of redundancy. In IBID, 1990
180. Schagaev I, Sogomonyan E (1988) Hardware and software for fault-tolerant computing systems. In Automation Remote Control, vol 49, pp 129-151
181. Blaeser L, Minkman S, Schagaev I Evolving systems 12 http://worldcomp-proceedings.com/proc/proc2014/fcs/FCS_Papers.pdf
182. Reali P (2004) Active Oberon language report. Technical report, ETH Zurich
183. Mossenbock Wirth N (1991) The programming language oberon-2. Johannes Kepler Universitat Linz, Technical report
184. Wirth N (1992) Gutknecht J. Project Oberon: the design of an operating system and compiler. Wesley
185. Johannes M (2002) The active object system-design and multiprocessor implementation. ETH Zurich, Zurich
186. Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills Software, vol 61
187. Klein G et al (2009) seL4: formal verification of an os kernel. Technical report
188. 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), Paris, France, April 2010. ACM, New York
189. 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
190. Tanenbaum A (2006) Reorganizing Unix for reliability. In: Proceedings of the 11th Asia-Pacific, pp 81-94
191. David F et al (2008) Curios: improving reliability through operating system structure. OSDI’08, pp 59-72, Berkeley, CA, USENIX Association
192. Shapiro J (1999) EROS: a capability system. Ph.D thesis, University of Pennsylvania
193. Schagaev I (2008) Reliability of malfunction tolerance. In: Proceedings of the international multi-conference on computer science and information technology. IMCSIT, 20-22 Oct 2008, pp 733-737
194. Blaeser L, Monkman S, Schagaev I (2014) Evolving systems. In: Proceedings of the World Comp’14, USA, 14 July. https://www.academia.edu/7685575/Evolving_systems_-_ WorldComp_2014
195. Castano V, Schagaev I (2015) Resilient computer system design, Springer, ISBN 978-3-319-15069-7
196. Antola A, Eŕenyi I, Scarabottolo N (1986) Transient fault management in systems based on the AMD2900 microprocessors. Microprocess Microprogr 17(4): 205-217
197. Schagaev et. al (1989) Instruction set and their impact on modern computer architecture. Zarubeznya Electronica, No 7, 8. (In Russian)
198. LEON3-FT SPARC V8 - RTAX - Data Sheet and User’s manual (2009) Aeroflex Gaisler AB, Goeteborg, Sweden, 1.1.0.8 edition, June 2009
199. Verlag H (2009) ARM: Nachwuchs fr die die cortex-a-familie. World Wide Web electronic publication
200. Hennessy J, Patterson D (2002) Computer architecture: a quantitative approach, 3rd edn. Morgan Kaufmann, San Francisco
201. Hennessy J, Patterson D (1996) Computer architecture, a quantitative approach, 2nd edn. Morgan Kaufmann Publishers, Inc., San Francisco
202. Intel Corporation (2009) Intel 64 and 32 architectures software developers manual, vol 1: Basic architecture. Technical Report 253665-032US
203. Intel Corporation (2004) Intel pxa255 processor developer’s manual. Technical Report. Order number 278693-002, Intel Corporation, January 2004
204. ARM Limited (2005) ARM architecture reference manual. Technical report, ARM Limited
205. SPARC INTERNATIONAL (1992) The SPARC Architecture Manual -Version 8. Prentice Hall, 1992
206. Blaeser L, Monkman S, Schagaev I (2014) Evolving systems. In: Proceedings of the world comp’14, USA, July14. https://www.academia.edu/7685575/Evolving_systems_-_WorldComp_2014
207. Castano V, Schagaev I (2015) Resilient computer system design. Springer, Switzerland. ISBN 978-3-319-15069-7
208. Intel Corporation (2009). Intel 64 and 32 architectures software developers manual, vol 1: Basic architecture. Technical Report 253665-032US
209. Intel Corporation (2004). Intel pxa255 processor developer’s manual. Technical Report. Order number 278693-002, Intel Corporation, January 2004
210. ARM Limited (2005) ARM architecture reference manual. Technical report. ARM Limited