{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:14Z","timestamp":1725664334005},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_123","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:00:02Z","timestamp":1330272002000},"page":"39-55","source":"Crossref","is-referenced-by-count":3,"title":["A fault-tolerant mechanism for simple controllers"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Gabriel","family":"Silva","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moura","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Henrique","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Bernardino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"n.2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/12.2145","volume":"37","author":"A. Mahmood","year":"1988","unstructured":"A. Mahmood, \u201cConcurrent Error Detection Using Watchdog Processors \u2014 A Survey\u201d IEEE Transactions on Computers, vol. 37, n.2, February 1988, pp 160\u2013174.","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"3_CR2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"B. Randell. \u201cSystem Structure for Software Fault Tolerance\u201d, IEEE Transactions on Software Engineering, vol. SE-1 (2), pp. 226\u2013232, June 1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"J.P. Banatre, M. Banatre, G. Lapalme, F. Ployette, \u201cThe design and building of Ench\u00e8re, a distributed electronic marketing system\u201d Communications of the ACM, Vol. 29, n.1, January 1986.","DOI":"10.1145\/5465.5467"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"G. Muller, B. Rochat, P. Sanchez \u201cA Stable Transactional Memory for Building Robust Object Oriented Programs\u201d Proc. of Euromicro 91, Vienna, 1991.","DOI":"10.1016\/0165-6074(91)90371-Y"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"M. Banatre, G. Muller, J.P. Banatre. \u201cEnsuring Data Security and Integrity with a Fast Stable Storage\u201d, Proc. 4th Conf. on Data Engineering, pp. 285\u2013293, 1988","DOI":"10.1109\/ICDE.1988.105471"},{"key":"3_CR6","unstructured":"D.P. Siewiorek, R. Schwarz \u201cThe theory and practice of Reliable Design\u201d Digital Press, 1984."},{"key":"3_CR7","volume-title":"Fault-tolerant and fault-testable hardware design","author":"P.K. Lala","year":"1985","unstructured":"P.K. Lala \u201cFault-tolerant and fault-testable hardware design\u201d Prentice-Hall, New York, 1985."},{"issue":"n.1\u20135","key":"3_CR8","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1016\/0165-6074(89)90136-1","volume":"27","author":"H. Madeira","year":"1989","unstructured":"H. Madeira, B. Fernandes, M. Rela, J.G. Silva. \u201cThe Fault-Tolerant Architecture of the SAFE System\u201d, Microprocessing and Microprogramming, vol. 27, n.1\u20135, pp. 705\u2013712, August 1989.","journal-title":"Microprocessing and Microprogramming"},{"issue":"n.2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J. Arlat","year":"1990","unstructured":"Jean Arlat et al., \u201cFault-injection for dependability validation: a methodology and some applications\u201d IEEE Trans. on Software Engineering, Vol 16, n.2, February 1990, pp 166\u2013182.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR10","first-page":"171","volume":"16","author":"A. Damm","year":"1986","unstructured":"Andreas Damm, \u201cThe effectiveness of software error detection techniques in real time operating systems\u201d FTCS-16, Vienna, Austria, July 1986, pp. 171\u2013176.","journal-title":"FTCS"},{"key":"3_CR11","first-page":"340","volume":"19","author":"U. Gunneflo","year":"1989","unstructured":"U. Gunneflo, J. Karlsson, J. Torin, \u201cEvaluation of error detection schemes using fault-injection by heavy-ion radiation\u201d FTCS-19, Chicago, June 1989, pp. 340\u2013347.","journal-title":"FTCS"},{"key":"3_CR12","first-page":"450","volume":"20","author":"R. Leveugle","year":"1990","unstructured":"R. Leveugle, T. Michel, G. Saucier \u201cDesign of Microprocessors with Built-In On-Line Test\u201d FTCS-20, 1990, pp. 450\u2013456.","journal-title":"FTCS"},{"issue":"n.1\u20135","key":"3_CR13","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/0165-6074(90)90292-H","volume":"30","author":"H. Madeira","year":"1990","unstructured":"H. Madeira, G. Quadros, Jo\u00c3o Gabriel Silva. \u201cExperimental Evaluation of a Set of Simple Error Detection Mechanisms\u201d, Microprocessing and Microprogramming, vol. 30, n.1\u20135, pp. 513\u2013520, August 1990.","journal-title":"Microprocessing and Microprogramming"},{"key":"3_CR14","volume-title":"Ph.D. Thesis","author":"H. Madeira","year":"1993","unstructured":"Henrique Madeira, \u201cBehaviour-based error detection\u201d Ph.D. Thesis, University of Coimbra, Portugal, July 1993 (in Portuguese)."},{"issue":"n.3","key":"3_CR15","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1109\/TC.1987.1676899","volume":"36","author":"M.A. Schuette","year":"1987","unstructured":"M.A. Schuette, J.P. Shen \u201cProcessor Control Flow Monitoring Using Signatured Instruction Streams\u201d IEEE Transactions on Computers, vol. 36, n.3, March 1987, pp 264\u2013275.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR16","unstructured":"H. Madeira, F. Moreira, P. Furtado, M. Rela, J.G.Silva \u201cPin-Level Fault-Injection: Some Research Results at the University of Coimbra\u201d IEEE Int. Workshop on Fault and Error Injection for Dependability Validation, Gothemburg, Sweden, July 1993."},{"key":"3_CR17","unstructured":"Henrique Madeira and Jo\u00c3o Gabriel Silva \u201cExperimental evaluation of the failsilent behaviour in computers without error masking\u201d FTCS-24, Austin, Texas, June 1994."},{"key":"3_CR18","first-page":"102","volume":"9","author":"D.M. Andrews","year":"1979","unstructured":"D.M. Andrews. \u201cUsing Executable Assertions for Testing and Fault-Tolerance\u201d, Proc. FTCS-9, pp. 102\u2013105, 1979","journal-title":"Proc. FTCS"},{"issue":"No.2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/24.229487","volume":"42","author":"J. Hudak","year":"1993","unstructured":"John Hudak, Byung-Hoon Suh, Dan Siewiorek, Zary Segall \u201cEvaluation and Comparison of Fault-Tolerant Software Techniques\u201d IEEE Transactions on Reliability, Vol. 42, No.2, June 1993, pp. 190\u2013204.","journal-title":"IEEE Transactions on Reliability"},{"key":"3_CR20","unstructured":"Jorge Bernardino \u201cData survival in main memory\u201d Master thesis, University of Coimbra, January 1994 (in Portuguese)."},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"1502","DOI":"10.1109\/TSE.1985.231893","volume":"Se-11","author":"A. Avizienis","year":"1985","unstructured":"A. Avizienis \u201cThe n-version approach to fault-tolerant software\u201d, IEEE Trans. Software Engineering, Vol Se-11, 1985 December, pp 1502\u20131510.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"No.12","key":"3_CR22","doi-asserted-by":"crossref","first-page":"1502","DOI":"10.1109\/TSE.1985.231894","volume":"SE-11","author":"T. Anderson","year":"1985","unstructured":"T. Anderson, P.A. Barrett, D.N. Halliwell, M.R. Moulding.\u201cSoftware Fault Tolerance: An Evaluation\u201d, IEEE Trans. on Software Engineering, vol. SE-11, No. 12, pp. 1502\u20131510, 1985","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"3","key":"3_CR23","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1109\/TSE.1983.237017","volume":"SE-9","author":"T. Anderson","year":"1983","unstructured":"T. Anderson, J.C. Knight. \u201cA Framework for Software Fault Tolerance in Real-Time Systems\u201d, IEEE Trans. on Software Engineering, vol. SE-9 (3), pp. 355\u2013364, 1983","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR24","first-page":"404","volume":"15","author":"S.T. Gregory","year":"1985","unstructured":"S.T. Gregory, J.C. Knight. \u201cA New Linguistic Approach to Backward Error Recovery\u201d, Proc. FTCS-15, pp. 404\u2013409, 1985","journal-title":"Proc. FTCS"},{"issue":"1","key":"3_CR25","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/TSE.1986.6312920","volume":"SE-12","author":"P. Jalote","year":"1986","unstructured":"P. Jalote, R.H. Campbell. \u201cAtomic Actions for Fault Tolerance Using CSP\u201d, IEEE Trans. on Software Engineering, vol. SE-12 (1), pp. 59\u201368, January 1986","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR26","unstructured":"S.K.Shrivastava, A. Waterworth \u201cUsing Objects and Actions to provide Fault-Tolerance in Distributed, Real-Time Applications\u201d Proceedings of the IEEE Real-Time Systems Symposium, 1991."},{"key":"3_CR27","unstructured":"Jo\u00c3o Gabriel Silva. \u201cA Real-Time Operating System for a Distributed Fault Tolerant Architecture\u201d, PhD Thesis, University of Coimbra, November 1987 (in Portuguese)."},{"key":"3_CR28","unstructured":"Michel Banatre, Pack Heng, Gilles Muller, Bruno Rochat \u201cHow to Design Reliable Servers using Fault-Tolerant Micro-Kernel Mechanisms\u201d Proc. of the Usenix Mach Symposium, Usenix Association, November 1991."},{"key":"3_CR29","unstructured":"R. Pausch. \u201cAdding Input and Output to the Transactional Model\u201d PhD Thesis, Carnegie Mellon University, CMU-CS-88-171, 1988"},{"key":"3_CR30","unstructured":"S.K.Shrivastava, A.A.Akinpelu \u201cFault-Tolerant Sequencial Programming Using Recovery Blocks\u201d Digest of Papers, FTCS-8, June 1978, Toulouse."},{"key":"3_CR31","unstructured":"D. Comer. \u201cOperating System Design \u2014 Volume II: Internetworking with XINU\u201d Prentice-Hall, 1987"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0165-6074(92)90339-9","volume":"35","author":"A.M. Tyrrell","year":"1992","unstructured":"A.M. Tyrrell, G.F. Carpenter. \u201cThe Specification and Design of Atomic Actions for Fault Tolerant Concurrent Software\u201d, Microprocessing and Microprogramming, vol. 35, pp. 363\u2013368, 1992","journal-title":"Microprocessing and Microprogramming"},{"key":"3_CR33","unstructured":"S. Horiguchi m Y. Shigei. \u201cA Parallel Sorting Algorithm for a Linearly Connected Multiprocessor System\u201d, Proc. 6th Int. Conf. on Dist. Computing Systems, pp. 111\u2013118, 1986."},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"R.D. Schlichting, F. Cristian, T.D.M. Purdin. \u201cA Linguistic Approach to Failure Handling in Distributed Systems\u201d, in Dependable Computing for Critical Applications, Springer Verlag, pp. 387\u2013409, 1991","DOI":"10.1007\/978-3-7091-9123-1_18"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T07:07:56Z","timestamp":1640934476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}