Index
A
A*- algorithm, analysis of algorithms,
278–280, 282–284
Access and location of the syndrome, 92
Active, 104
Active zone, 4
Algorithms, 2, 18, 21, 25–27, 31, 47–49,
52–57, 65, 71, 75–77, 79–85, 87, 108,
116, 134, 136, 141, 143, 144, 146, 147,
149–151, 153, 154, 156, 158, 160,
162–164, 179, 181, 191, 246, 249, 257,
258, 261–263, 266, 267, 276–279, 284,
290, 291, 293
Amdahl Law, 221, 239, 240, 246
Analysis of checking process, 75
API description, 299
Application transparent, 114
ARM, 207, 209, 210, 217, 218
Assembly language, 167
B
Backward recovery techniques, 114
Backward tracing algorithm, 55, 249, 260–262
C
Causal logging, 120
Checking, 20, 26, 28, 31, 33–35, 37, 39,
41–45, 65, 67, 68, 71, 72, 74–78,
82–84, 88–90, 93, 95, 99–101, 103,
107–109, 111, 114, 122, 135, 142, 143,
146, 147, 150, 151, 154, 155, 159, 160,
162, 165, 174, 200–202, 215–217, 235,
257, 258, 261–265
Communication of sequential processes, 183
COMPOSITA language, 173
Computational model, 153
Computer architecture, 207, 251, 254
Concurrency, 5, 166, 177, 179–183, 186–191
Concurrency support for resilient computing,
179
Coordinated recovery points, 116, 117
D
Decode instruction, 198
Definition of fault tolerance, 30, 193
Degradation phases of a duplicated system, 100
Degradation phases of a triplicated system, 98
Dependency matrix, 50
Desperation, 268
Desperation analysis and handling, 269, 279
Desperation in networking, 269
Diagnostic procedure, 81
Diagnostic process algorithm, 77
Dichotomic recovery algorithm, 153, 154, 159,
162, 164
Dichotomous recovery algorithm, 159
Distributed computing, 239
Distributed systems, 111, 116, 118, 121, 221,
249, 253, 267–269
Duplicated, 104
E
Efficiency analysis, 126
Efficiency of recovery algorithms, 5, 153
Embedded Reliable Reduced Instruction
Computer (ERRIC), 42, 98, 113,
165–168, 171–174, 197–200, 207,
209–212, 215–219, 293–295, 297–300,
302, 304
EROS, 194
© Springer Nature Switzerland AG 2020
I. Schagaev et al., Software Design for Resilient Computer Systems,
https://doi.org/10.1007/978-3-030-21244-5
305
A
A*- algorithm, analysis of algorithms,
278–280, 282–284
Access and location of the syndrome, 92
Active, 104
Active zone, 4
Algorithms, 2, 18, 21, 25–27, 31, 47–49,
52–57, 65, 71, 75–77, 79–85, 87, 108,
116, 134, 136, 141, 143, 144, 146, 147,
149–151, 153, 154, 156, 158, 160,
162–164, 179, 181, 191, 246, 249, 257,
258, 261–263, 266, 267, 276–279, 284,
290, 291, 293
Amdahl Law, 221, 239, 240, 246
Analysis of checking process, 75
API description, 299
Application transparent, 114
ARM, 207, 209, 210, 217, 218
Assembly language, 167
B
Backward recovery techniques, 114
Backward tracing algorithm, 55, 249, 260–262
C
Causal logging, 120
Checking, 20, 26, 28, 31, 33–35, 37, 39,
41–45, 65, 67, 68, 71, 72, 74–78,
82–84, 88–90, 93, 95, 99–101, 103,
107–109, 111, 114, 122, 135, 142, 143,
146, 147, 150, 151, 154, 155, 159, 160,
162, 165, 174, 200–202, 215–217, 235,
257, 258, 261–265
Communication of sequential processes, 183
COMPOSITA language, 173
Computational model, 153
Computer architecture, 207, 251, 254
Concurrency, 5, 166, 177, 179–183, 186–191
Concurrency support for resilient computing,
179
Coordinated recovery points, 116, 117
D
Decode instruction, 198
Definition of fault tolerance, 30, 193
Degradation phases of a duplicated system, 100
Degradation phases of a triplicated system, 98
Dependency matrix, 50
Desperation, 268
Desperation analysis and handling, 269, 279
Desperation in networking, 269
Diagnostic procedure, 81
Diagnostic process algorithm, 77
Dichotomic recovery algorithm, 153, 154, 159,
162, 164
Dichotomous recovery algorithm, 159
Distributed computing, 239
Distributed systems, 111, 116, 118, 121, 221,
249, 253, 267–269
Duplicated, 104
E
Efficiency analysis, 126
Efficiency of recovery algorithms, 5, 153
Embedded Reliable Reduced Instruction
Computer (ERRIC), 42, 98, 113,
165–168, 171–174, 197–200, 207,
209–212, 215–219, 293–295, 297–300,
302, 304
EROS, 194
© Springer Nature Switzerland AG 2020
I. Schagaev et al., Software Design for Resilient Computer Systems,
https://doi.org/10.1007/978-3-030-21244-5
305