No Access

CHOOSING BETWEEN DESIGN OPTIONS FOR REAL-TIME COMPUTERS TOLERATING A SINGLE FAULT

REFIK SAMET

Department of Computer Engineering, Ankara University, Sevket Kansu Binasi, Besevler, Ankara, 06100, Turkey

https://doi.org/10.1142/S0218126610006591Cited by:3 (Source: Crossref)

Abstract

This paper proposes a methodology for supporting the design of fault-tolerant computers for real-time applications. To this end, the paper first presents steps of fault tolerance and describes mechanisms that can be used to realize them. Then, the design options consisting of described mechanisms are proposed and a table summarizing them is designed. From that, the paper proposes a flowchart for choosing between the many various design options available for building a redundant computer system. Choosing an optimal design option is performed according to the number of redundant computers, the mode of operation of redundant computers, the computer failure mode and the severity of the real-time constraint. Finally, graphical models for sequencing the mechanisms of design options are proposed. The main merit of the proposed methodology includes a spectrum of design options of fault-tolerant mechanisms for real-time computers tolerating a single fault at a time and a guide for choosing between them.

This paper was recommended by Regional Editor Krishna Shenai.

Keywords:

References

A. Avizieniset al., IEEE Trans. Dependable and Secure Computing 1, 11 (2004), DOI: 10.1109/TDSC.2004.2. Crossref, Web of Science, Google Scholar
Dhiraj K. Pradhan , Fault-Tolerant Computer System Design ( Prentice Hall PTR , 1996 ) . Google Scholar
J. P. Bentley , Introduction to Reliability and Quality Engineering ( Addison-Wesley Longman , 1999 ) . Google Scholar
A. Avizienis, IEEE Trans. Comput. 66, 5 (1978). Google Scholar
N. Oh, S. Mitra and E. J. McCluskey, IEEE Trans. Comput. 51, 180 (2002), DOI: 10.1109/12.980007. Crossref, Web of Science, Google Scholar
M. H. Azadmanesh and R. M. Kieckhafer, IEEE Trans. Comput. 49, 1031 (2000). Crossref, Web of Science, Google Scholar
P. R. Lorczak, A. K. Caglayan and D. E. Eckhardt, A theoretical investigation of generalized voters for redundant systems, FTCS-19 (1989) 444–451. . Google Scholar
Y. Masubuchi, S. Hoshina, T. Shimada, B. Hirayama and N. Kato, Fault recovery mechanism for multiprocessor servers, FTCS-27 (1997) 184–193. . Google Scholar
G. S. Sohi, M. Franklin and K. K. Saluja, A study of time-redundant fault tolerance techniques for high-performance pipelined computers, FTCS-19 (1989) 167–174. . Google Scholar
J. C. Laprieet al., Computer 23, 39 (1990), DOI: 10.1109/2.56851. Crossref, Web of Science, Google Scholar
C. Bolchini, IEEE Trans. Reliab. 52, 458 (2003), DOI: 10.1109/TR.2003.821935. Crossref, Web of Science, Google Scholar
N. H. Vaidya and D. K. Pradhan, IEEE Trans. Comput. 44, 146 (1995), DOI: 10.1109/12.367999. Crossref, Web of Science, Google Scholar
R. Riter, Modeling and testing a critical fault-tolerant multi-process system, FTCS-25 (1995) 516–521. . Google Scholar
J. H. Wensleyet al., Proc. IEEE Trans. Comput. 66, 166 (1978). Google Scholar
R. M. Kieckhaferet al., IEEE Trans. Comput. 37, 398 (1988). Crossref, Web of Science, Google Scholar
D. Powellet al., IEEE Trans. Parallel Distr. Syst. 10, 580 (1999), DOI: 10.1109/71.774908. Crossref, Web of Science, Google Scholar
J. H. Lalaet al., A fault-tolerant processor to meet rigorous failure requirements, Proc. 7th Digital Avionic Systems Conf. (1986) pp. 555–562. Google Scholar
A. L. Hopkins, T. B. Smith and J. H. Lala, Proc. IEEE 6, 142 (1978). Google Scholar
A. Ejlaliet al., IEEE Trans. VLSI Syst. 14, 323 (2006), DOI: 10.1109/TVLSI.2006.874355. Crossref, Google Scholar
T. Tsai, Fault tolerance via N-modular software redundancy, FTCS-28 (1998) 201–206. . Google Scholar
H. Kimet al., The design and evaluation of all voting triple modular redundancy system, 2002 Proc. Ann. Reliability and Maintainability Symp. (2002) pp. 439–444. Google Scholar
S. W. Kwak, B. J. Choi and B. K. Kim, IEEE Trans. Reliab. 50, 293 (2001). Crossref, Web of Science, Google Scholar
A. Bertossi and L. V. Mancini, Real-Time Syst. 7, 229 (1994), DOI: 10.1007/BF01088520. Crossref, Web of Science, Google Scholar
D. Powell, Failure mode assumption and assumption coverage, FTCS-22 (1992) 386–395. . Google Scholar
M. Pease, R. Shostak and L. Lamport, J. ACM 27, 228 (1980), DOI: 10.1145/322186.322188. Crossref, Web of Science, Google Scholar
L. Lamport, R. Shostak and M. Pease, J. ACM Trans. Program Language and System 4, 382 (1982), DOI: 10.1145/357172.357176. Crossref, Web of Science, Google Scholar
K. Driscollet al., Byzantine fault tolerance, from theory to reality, 22nd Int. Conf. Computer Safety, Reliability and Security (2003) pp. 304–313. Google Scholar
E. M. Mamedli, R. Y. Samedov and N. A. Sobolev, Automation and Remote Control 53, 734 (1992). Web of Science, Google Scholar
L. P. Boldus, Clock synchronization in an N-modular redundant system, 9.A.5-1, IEEE (2002). . Google Scholar
H. Yoshino et al. , Byzantine agreement protocol using hierarchical groups , Proc. 2005 11th Int. Conf. Parallel and Distributed Systems (ICPADS'05) ( 2005 ) . Google Scholar
S. Manfredi, Int. J. Appl. Comput. Math. 6, 192 (2007). Web of Science, Google Scholar
R. Samet, Comput. Secur. 28, 710 (2009), DOI: 10.1016/j.cose.2009.04.003. Crossref, Web of Science, Google Scholar
H. Iharaet al., Proc. IEEE 66, 1160 (1978), DOI: 10.1109/PROC.1978.11110. Crossref, Web of Science, Google Scholar
S. G. Frison and J. H. Wensley, Interactive consistency and its impact on the design of TMR system, FTCS-12 (1982) 228–233. . Google Scholar
D. L. Palumbo and R. W. Butler, J. Guid., Contr. Dynam 9, 175 (1986), DOI: 10.2514/3.20087. Crossref, Web of Science, Google Scholar