{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T04:07:17Z","timestamp":1750133237808,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":75,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662545621"},{"type":"electronic","value":"9783662545638"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54563-8_1","type":"book-chapter","created":{"date-parts":[[2017,3,11]],"date-time":"2017-03-11T14:12:27Z","timestamp":1489241547000},"page":"1-32","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Relationship Between Modes of Intercomputer Communications and Fault Types in Redundant Computer Systems"],"prefix":"10.1007","author":[{"given":"Refik","family":"Samet","sequence":"first","affiliation":[]},{"given":"Nermin","family":"Samet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,12]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"1_CR2","volume-title":"Introduction to Reliability and Quality Engineering","author":"J Bentley","year":"1999","unstructured":"Bentley, J.: Introduction to Reliability and Quality Engineering. Addison-Wesley, Reading (1999)"},{"volume-title":"Fault-tolerant Computer System Design","year":"1996","key":"1_CR3","unstructured":"Pradhan, D.K. (ed.): Fault-tolerant Computer System Design. Prentice-Hall Inc., Upper Saddle River (1996)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/24.974127","volume":"50","author":"SW Kwak","year":"2001","unstructured":"Kwak, S.W., Choi, B.J., Kim, B.K.: An optimal checkpointing-strategy for real-time control systems under transient faults. IEEE Trans. Reliab. 50(3), 293\u2013301 (2001)","journal-title":"IEEE Trans. Reliab."},{"issue":"4","key":"1_CR5","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1109\/7.976961","volume":"37","author":"Y Zhang","year":"2001","unstructured":"Zhang, Y., Jiang, J.: Integrated active fault-tolerant control using IMM approach. IEEE Trans. Aerosp. Electron. Syst. 37(4), 1221\u20131235 (2001)","journal-title":"IEEE Trans. Aerosp. Electron. Syst."},{"issue":"9","key":"1_CR6","doi-asserted-by":"crossref","first-page":"996","DOI":"10.1109\/71.954640","volume":"12","author":"L Alvisi","year":"2001","unstructured":"Alvisi, L., Malkhi, D., Pierce, E., Reiter, M.K.: Fault detection for Byzantine quorum systems. IEEE Trans. Parallel Distrib. Syst. 12(9), 996\u20131007 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"3","key":"1_CR7","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Lima, G.M., Burns, A.: A consensus protocol for CAN-based systems. In: 24th IEEE Real-Time Systems Symposium, RTSS 2003, pp. 420\u2013429. IEEE (2003)","DOI":"10.1109\/REAL.2003.1253289"},{"issue":"1","key":"1_CR9","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1006\/inco.1995.1060","volume":"118","author":"F Cristian","year":"1995","unstructured":"Cristian, F., Aghili, H., Strong, R., Dolev, D.: Atomic broadcast: from simple message diffusion to Byzantine agreement. Inf. Comput. 118(1), 158\u2013179 (1995)","journal-title":"Inf. Comput."},{"issue":"3","key":"1_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.ipl.2004.10.007","volume":"93","author":"A Pelc","year":"2005","unstructured":"Pelc, A., Peleg, D.: Broadcasting with locally bounded Byzantine faults. Inf. Process. Lett. 93(3), 109\u2013115 (2005)","journal-title":"Inf. Process. Lett."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Fitzi, M., Gottesman, D., Hirt, M., Holenstein, T., Smith, A.: Detectable Byzantine agreement secure against faulty majorities. In: Proceedings of the Twenty-First Annual Symposium on Principles of Distributed Computing, pp. 118\u2013126. ACM (2002)","DOI":"10.1145\/571825.571841"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Fitzi, M., Hirt, M.: Optimally efficient multi-valued Byzantine agreement. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, pp. 163\u2013168. ACM (2006)","DOI":"10.1145\/1146381.1146407"},{"key":"1_CR13","unstructured":"Bao, F., Igarishi, Y.: Reliable broadcasting in product networks with Byzantine faults. In: Proceedings of Annual Symposium on Fault Tolerant Computing, pp. 262\u2013271. IEEE (1996)"},{"issue":"4","key":"1_CR14","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/12.2183","volume":"37","author":"RM Keichafer","year":"1988","unstructured":"Keichafer, R.M., Walter, C.J., Finn, A.M., Thambidurai, P.M.: The MAFT architecture for distributed fault tolerance. IEEE Trans. Comput. 37(4), 398\u2013404 (1988)","journal-title":"IEEE Trans. Comput."},{"issue":"6","key":"1_CR15","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1109\/71.774908","volume":"10","author":"D Powell","year":"1999","unstructured":"Powell, D., Arlat, J., Beus-Dukic, L., Bondavalli, A., Coppola, P., Fantechi, A., Jenn, E., Rabejac, C., Wellings, A.: GUARDS: a generic upgradable architecture for real-time dependable systems. IEEE Trans. Parallel Distrib. Syst. 10(6), 580\u2013599 (1999)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"1_CR16","first-page":"105","volume-title":"Middleware 1998","author":"E Totel","year":"1998","unstructured":"Totel, E., Beus-Dukic, L., Blanquart, J.P., Deswarte, Y., Powell, D., Wellings, A.: Integrity management in GUARDS. In: Davies, N., Jochen, S., Raymond, K. (eds.) Middleware 1998, pp. 105\u2013122. Springer, London (1998)"},{"issue":"2","key":"1_CR17","doi-asserted-by":"crossref","first-page":"175","DOI":"10.2514\/3.20087","volume":"9","author":"DL Palumbo","year":"1986","unstructured":"Palumbo, D.L., Butler, R.W.: A performance evaluation of the software-implemented fault-tolerance computer. J. Guidance Control Dyn. 9(2), 175\u2013180 (1986)","journal-title":"J. Guidance Control Dyn."},{"issue":"10","key":"1_CR18","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1109\/PROC.1978.11113","volume":"66","author":"AL Hopkins","year":"1978","unstructured":"Hopkins, A.L., Smith, T.B., Lala, J.H.: FTMP: a highly reliable fault-tolerant multiprocess for aircraft. Proc. IEEE 66(10), 1221\u20131239 (1978)","journal-title":"Proc. IEEE"},{"key":"1_CR19","unstructured":"Han, S., Shin, K.G.: Experimental evaluation of failure-detection schemes in real-time communication networks. In: Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing, FTCS-27, Digest of Papers, pp. 122\u2013131. IEEE (1997)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Rufino, J., Verissimo, P., Arroz, G., Almeida, C., Rodrigues, L.: Fault-tolerant broadcasts in CAN. In: Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, Digest of Papers, pp. 150\u2013159. IEEE (1998)","DOI":"10.1109\/FTCS.1998.689464"},{"issue":"10","key":"1_CR21","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/71.808130","volume":"10","author":"B AlMohammad","year":"1999","unstructured":"AlMohammad, B., Bose, B.: Fault-tolerant communication algorithms in toroidal networks. IEEE Trans. Parallel Distrib. Syst. 10(10), 976\u2013983 (1999)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"10","key":"1_CR22","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1016\/j.jpdc.2011.06.002","volume":"71","author":"HC Hsieh","year":"2011","unstructured":"Hsieh, H.C., Chiang, M.L.: A new solution for the Byzantine agreement problem. J. Parallel Distrib. Comput. 71(10), 1261\u20131277 (2011)","journal-title":"J. Parallel Distrib. Comput."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Saini, P., Singh, A.K.: An efficient Byzantine fault tolerant agreement. In: AIP Conference Proceedings, vol. 1324, no. 1 (2010)","DOI":"10.1063\/1.3526183"},{"issue":"1","key":"1_CR24","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.compeleceng.2009.06.002","volume":"36","author":"SS Wang","year":"2010","unstructured":"Wang, S.S., Yan, K.Q., Wang, S.C.: An optimal solution for Byzantine agreement under a hierarchical cluster-oriented mobile ad hoc network. Comput. Electr. Eng. 36(1), 100\u2013113 (2010)","journal-title":"Comput. Electr. Eng."},{"issue":"12","key":"1_CR25","doi-asserted-by":"crossref","first-page":"2441","DOI":"10.1109\/TMC.2012.225","volume":"12","author":"H Moniz","year":"2013","unstructured":"Moniz, H., Neves, N.F., Correia, M.: Byzantine fault-tolerant consensus in wireless ad hoc networks. IEEE Trans. Mobile Comput. 12(12), 2441\u20132454 (2013)","journal-title":"IEEE Trans. Mobile Comput."},{"issue":"1","key":"1_CR26","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TC.2011.221","volume":"62","author":"GS Veronese","year":"2013","unstructured":"Veronese, G.S., Correia, M., Bessani, A.N., Lung, L.C., Verissimo, P.: Efficient Byzantine fault-tolerance. IEEE Trans. Comput. 62(1), 16\u201330 (2013)","journal-title":"IEEE Trans. Comput."},{"issue":"11","key":"1_CR27","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/1400214.1400236","volume":"51","author":"R Kotla","year":"2008","unstructured":"Kotla, R., Clement, A., Wong, E., Alvisi, L., Dahlin, M.: Zyzzyva: speculative Byzantine fault tolerance. Commun. ACM 51(11), 86\u201395 (2008)","journal-title":"Commun. ACM"},{"issue":"2","key":"1_CR28","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/504192.504195","volume":"32","author":"I Keidar","year":"2001","unstructured":"Keidar, I., Rajsbaum, S.: On the cost of fault-tolerant consensus when there are no faults: preliminary version. SIGACT News 32(2), 45\u201363 (2001)","journal-title":"SIGACT News"},{"issue":"04","key":"1_CR29","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1142\/S0129626411000321","volume":"21","author":"N Banu","year":"2011","unstructured":"Banu, N., Izumi, T., Wada, K.: Adaptive and doubly-expedited one-step consensus in Byzantine asynchronous systems. Parallel Process. Lett. 21(04), 461\u2013477 (2011)","journal-title":"Parallel Process. Lett."},{"issue":"2","key":"1_CR30","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/s00446-013-0200-5","volume":"27","author":"A Patra","year":"2014","unstructured":"Patra, A., Choudhury, A., Rangan, C.P.: Asynchronous Byzantine agreement with optimal resilience. Distrib. Comput. 27(2), 111\u2013146 (2014)","journal-title":"Distrib. Comput."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Xu, X., Lin, Y.: Checkpoint selection in fault recovery based on Byzantine fault model. In: Fourth International Conference on Computational Intelligence and Communication Networks (CICN), pp. 582\u2013587, November 2012","DOI":"10.1109\/CICN.2012.59"},{"issue":"6","key":"1_CR32","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s00446-011-0147-3","volume":"24","author":"J Widder","year":"2012","unstructured":"Widder, J., Biely, M., Gridling, G., Weiss, B., Blanquart, J.P.: Consensus in the presence of mortal Byzantine faulty processes. Distrib. Comput. 24(6), 299\u2013321 (2012)","journal-title":"Distrib. Comput."},{"issue":"5","key":"1_CR33","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/j.csi.2014.01.005","volume":"36","author":"SC Wang","year":"2014","unstructured":"Wang, S.C., Yan, K.Q., Ho, C.L., Wang, S.S.: The optimal generalized Byzantine agreement in cluster-based wireless sensor networks. Comput. Stan. Interfaces 36(5), 821\u2013830 (2014)","journal-title":"Comput. Stan. Interfaces"},{"issue":"4","key":"1_CR34","doi-asserted-by":"crossref","first-page":"950","DOI":"10.1109\/TPDS.2013.74","volume":"25","author":"M Abdelhakim","year":"2014","unstructured":"Abdelhakim, M., Lightfoot, L.E., Ren, J., Li, T.: Distributed detection in mobile access wireless sensor networks under Byzantine attacks. IEEE Trans. Parallel Distrib. Syst. 25(4), 950\u2013959 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"4","key":"1_CR35","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s10766-007-0049-y","volume":"35","author":"A Duran","year":"2007","unstructured":"Duran, A., Ferrer, R., Costa, J.J., Gonz\u00e0lez, M., Martorell, X., Ayguad\u00e9, E., Labarta, J.: A proposal for error handling in OpenMP. Int. J. Parallel Prog. 35(4), 393\u2013416 (2007)","journal-title":"Int. J. Parallel Prog."},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Bronevetsky, G., Marques, D., Pingali, K., Szwed, P., Schulz, M.: Application-level checkpointing for shared memory programs. In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS XI, pp. 235\u2013247. ACM, New York (2004)","DOI":"10.1145\/1024393.1024421"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Bronevetsky, G., Pingali, K., Stodghill, P.: Experimental evaluation of application-level checkpointing for OpenMP programs. In: Proceedings of the 20th Annual International Conference on Supercomputing, ICS 2006, pp. 2\u201313. ACM, New York (2006)","DOI":"10.1145\/1183401.1183405"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Fu, H., Ding, Y.: Using redundant threads for fault tolerance of OpenMP programs. In: 2010 International Conference on Information Science and Applications, pp. 1\u20138, April 2010","DOI":"10.1109\/ICISA.2010.5480321"},{"issue":"10","key":"1_CR39","doi-asserted-by":"crossref","first-page":"1545","DOI":"10.1109\/TCAD.2011.2158432","volume":"30","author":"M Li","year":"2011","unstructured":"Li, M., Hsiao, M.S.: 3-D parallel fault simulation with GPGPU. IEEE Trans. Comput. Aided Design Integr. Circuits Syst. 30(10), 1545\u20131555 (2011)","journal-title":"IEEE Trans. Comput. Aided Design Integr. Circuits Syst."},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Guo, X., Jiang, H., Li, K.C.: A checkpoint\/restart scheme for CUDA applications with complex memory hierarchy. In: 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD), pp. 247\u2013252, July 2013","DOI":"10.1109\/SNPD.2013.5"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Carlo, S.D., Gambardella, G., Martella, I., Prinetto, P., Rolfo, D., Trotta, P.: Fault mitigation strategies for CUDA GPUs. In: 2013 IEEE International Test Conference (ITC), pp. 1\u20138, September 2013","DOI":"10.1109\/TEST.2013.6651908"},{"issue":"2","key":"1_CR42","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/s11390-012-1220-5","volume":"27","author":"XH Xu","year":"2012","unstructured":"Xu, X.H., Yang, X.J., Xue, J.L., Lin, Y.F., Lin, Y.S.: PartialRC: a partial recomputing method for efficient fault recovery on GPGPUs. J. Comput. Sci. Technol. 27(2), 240\u2013255 (2012)","journal-title":"J. Comput. Sci. Technol."},{"issue":"3","key":"1_CR43","doi-asserted-by":"crossref","first-page":"1630","DOI":"10.1007\/s11227-014-1128-7","volume":"68","author":"S Laosooksathit","year":"2014","unstructured":"Laosooksathit, S., Nassar, R., Leangsuksun, C., Paun, M.: Reliability-aware performance model for optimal GPU-enabled cluster environment. J. Supercomputing 68(3), 1630\u20131651 (2014)","journal-title":"J. Supercomputing"},{"key":"1_CR44","unstructured":"Demchik, V., Kolomoyets, N.: QCDGPU: open-source package for Monte Carlo lattice simulations on OpenCL-compatible multi-GPU systems (2013)"},{"issue":"10","key":"1_CR45","first-page":"5","volume":"66","author":"A Avizienis","year":"1978","unstructured":"Avizienis, A.: Fault-tolerance: a property that ensures constant availability of digital system. IEEE Trans. Comput. 66(10), 5\u201325 (1978)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"1_CR46","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. J. ACM 27(2), 228\u2013234 (1980)","journal-title":"J. ACM"},{"key":"1_CR47","first-page":"126","volume":"5","author":"\u00c8M Mamedli","year":"1992","unstructured":"Mamedli, \u00c8.M., Samedov, R.Y., Sobolev, N.: A method for localization of Byzantine and nonbyzantine faults. Avtomatika i Telemekhanika 5, 126\u2013138 (1992)","journal-title":"Avtomatika i Telemekhanika"},{"issue":"3","key":"1_CR48","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/TDSC.2010.12","volume":"8","author":"R Samet","year":"2011","unstructured":"Samet, R.: Recovery device for real-time dual-redundant computer systems. IEEE Trans. Dependable Secure Comput. 8(3), 391\u2013403 (2011)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"05","key":"1_CR49","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1142\/S0218126610006591","volume":"19","author":"R Samet","year":"2010","unstructured":"Samet, R.: Choosing between design options for real-time computers tolerating a single fault. J. Circuits Syst. Comput. 19(05), 1041\u20131068 (2010)","journal-title":"J. Circuits Syst. Comput."},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-45214-0_8","volume-title":"Dependable Computing","author":"H Sivencrona","year":"2003","unstructured":"Sivencrona, H., Johannessen, P., Persson, M., Torin, J.: Heavy-ion fault injections in the time-triggered communication protocol. In: Lemos, R., Weber, T.S., Camargo, J.B. (eds.) LADC 2003. LNCS, vol. 2847, pp. 69\u201380. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-45214-0_8"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-39878-3_19","volume-title":"Computer Safety, Reliability, and Security","author":"K Driscoll","year":"2003","unstructured":"Driscoll, K., Hall, B., Sivencrona, H., Zumsteg, P.: Byzantine fault tolerance, from theory to reality. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 235\u2013248. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39878-3_19"},{"key":"1_CR52","volume-title":"Computer Networks","author":"AS Tanenbaum","year":"1996","unstructured":"Tanenbaum, A.S.: Computer Networks, vol. 3. Prentice Hall, New Jersey (1996)"},{"key":"1_CR53","unstructured":"Stallings, W.: Data and computer communications. Pearson\/Prentice Hall (2007)"},{"key":"1_CR54","unstructured":"Mullender, S.: Distributed Systems. ACM Press\/Addison-Wesley Publishing Co. (1993)"},{"key":"1_CR55","unstructured":"Coulouris, G.F., Dollimore, J., Kindberg, T.: Distributed Systems: Concepts and Design. Pearson education (2005)"},{"issue":"5","key":"1_CR56","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/TC.2002.1004589","volume":"51","author":"S Mitra","year":"2002","unstructured":"Mitra, S., Saxena, N.R., McCluskey, E.J.: A design diversity metric and analysis of redundant systems. IEEE Trans. Comput. 51(5), 498\u2013510 (2002)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"1_CR57","first-page":"175","volume":"4","author":"R Samedov","year":"1999","unstructured":"Samedov, R.: An approach to the support of the fault-tolerance of the double redundant computer control systems. Math. Comput. Appl. 4(2), 175\u2013184 (1999)","journal-title":"Math. Comput. Appl."},{"key":"1_CR58","unstructured":"Kim, H., Jeon, H.J., Lee, K., Lee, H.: The design and evaluation of all voting triple modular redundancy system. In: Proceedings. Annual Reliability and Maintainability Symposium, pp. 439\u2013444. IEEE (2002)"},{"key":"1_CR59","unstructured":"Smith, T.B.: Fault tolerant processor concepts and operation. In: Digest of Papers, FTCS-14, Kissimmee, USA, pp. 158\u2013163 (1984)"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"Laprie, J.C.: Dependable computing and fault-tolerance. In: Digest of Papers FTCS-15, pp. 2\u201311 (1985)","DOI":"10.1109\/FTCSH.1995.532603"},{"issue":"5","key":"1_CR61","first-page":"734","volume":"53","author":"\u00c8M Mamedli","year":"1992","unstructured":"Mamedli, \u00c8.M., Samedov, R.Y., Sobolev, N.: A method for localization of Byzantine and NonByzantine faults. J. Autom. Remote Control 53(5), 734\u2013744 (1992)","journal-title":"J. Autom. Remote Control"},{"issue":"2","key":"1_CR62","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/12.980007","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh, N., Mitra, S., McCluskey, E.J.: ED4I: error detection by diverse data and duplicated instructions. IEEE Trans. Comput. 51(2), 180\u2013199 (2002)","journal-title":"IEEE Trans. Comput."},{"key":"1_CR63","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863961","volume-title":"Reliable Computer Systems: Design and Evaluation","author":"DP Siewiorek","year":"1998","unstructured":"Siewiorek, D.P., Swarz, R.S.: Reliable Computer Systems: Design and Evaluation, 3rd edn. A.K. Peters Ltd., Natick (1998)","edition":"3"},{"issue":"1","key":"1_CR64","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1002\/qre.949","volume":"25","author":"R Samet","year":"2009","unstructured":"Samet, R.: Fault-tolerant procedures for redundant computer systems. Qual. Reliab. Eng. Int. 25(1), 41\u201368 (2009)","journal-title":"Qual. Reliab. Eng. Int."},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Hurst, S.L.: VLSI Testing: digital and mixed analogue\/digital techniques, vol. 9. IET (1998)","DOI":"10.1049\/PBCS009E"},{"key":"1_CR66","unstructured":"Lala, P.K.: Self-checking and fault-tolerant digital design. Morgan Kaufmann (2001)"},{"key":"1_CR67","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-79789-7_8","volume-title":"Predictably Dependable Computing Systems","author":"D Powell","year":"1995","unstructured":"Powell, D.: Failure mode assumptions and assumption coverage. In: Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B. (eds.) Predictably Dependable Computing Systems, pp. 123\u2013140. Springer, Heidelberg (1995)"},{"key":"1_CR68","volume-title":"Guide de la s\u00fbret\u00e9 de fonctionnement (dependability handbook)","author":"JC Laprie","year":"1995","unstructured":"Laprie, J.C., Arlat, J., Blanquart, J., Costes, A., Crouzet, Y., Deswarte, Y., Fabre, J., Guillermain, H., Ka\u00e2niche, M., Kanoun, K., et al.: Guide de la s\u00fbret\u00e9 de fonctionnement (dependability handbook). C\u00e9padu\u00e8s, Toulouse (1995)"},{"issue":"9","key":"1_CR69","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/12.620479","volume":"46","author":"A Ziv","year":"1997","unstructured":"Ziv, A., Bruck, J.: An on-line algorithm for checkpoint placement. IEEE Trans. Comput. 46(9), 976\u2013985 (1997)","journal-title":"IEEE Trans. Comput."},{"issue":"7","key":"1_CR70","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/12.936236","volume":"50","author":"Y Ling","year":"2001","unstructured":"Ling, Y., Mi, J., Lin, X.: A variational calculus approach to optimal checkpoint placement. IEEE Trans. Comput. 50(7), 699\u2013708 (2001)","journal-title":"IEEE Trans. Comput."},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Lincoln, P., Rushby, J.: A formally verified algorithm for interactive consistency under a hybrid fault model. In: The Twenty-Third International Symposium on Fault-Tolerant Computing, FTCS-23, Digest of Papers, pp. 402\u2013411. IEEE (1993)","DOI":"10.1109\/FTCS.1993.627343"},{"issue":"2","key":"1_CR72","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1109\/71.89066","volume":"2","author":"FJ Meyer","year":"1991","unstructured":"Meyer, F.J., Pradhan, D.K.: Consensus with dual failure modes. IEEE Trans. Parallel Distrib. Syst. 2(2), 214\u2013222 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Thambidurai, P., Park, Y.K.: Interactive consistency with multiple failure modes. In: Proceedings, Seventh Symposium on Reliable Distributed Systems, pp. 93\u2013100. IEEE (1988)","DOI":"10.1109\/RELDIS.1988.25784"},{"key":"1_CR74","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSE.1985.232245","volume":"6","author":"B Chor","year":"1985","unstructured":"Chor, B., Coan, B.A.: A simple and efficient randomized Byzantine agreement algorithm. IEEE Trans. Softw. Eng. 6, 531\u2013539 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR75","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer Science & Business Media, London (2011)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science XXIX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54563-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T18:26:42Z","timestamp":1750098402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54563-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662545621","9783662545638"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54563-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}