{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:14:09Z","timestamp":1725635649046},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540515654"},{"type":"electronic","value":"9783642750021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75002-1_25","type":"book-chapter","created":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T00:16:14Z","timestamp":1321661774000},"page":"308-319","source":"Crossref","is-referenced-by-count":3,"title":["Self-Checking Coverage of Components of a Distributed Real-Time System"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Hardware and Software Fault-Tolerance: Definition and Analysis of Architectural Solutions, IEEE Proc. 17th Symposium on Fault-Tolerant Computing (FTCS17), pp. 116\u2013121","author":"JC Laprie","year":"1987","unstructured":"J.C. Laprie, J. Arlat, C. Beounes, K. Kanoun, and C. Hourtolle, \u201cHardware and Software Fault-Tolerance: Definition and Analysis of Architectural Solutions,\u201d IEEE Proc. 17th Symposium on Fault-Tolerant Computing (FTCS17), pp. 116\u2013121, Pittsburgh, Pennsylvania, July 1987."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/T-C.1973.223705","volume":"22","author":"DA Anderson","year":"1973","unstructured":"D.A. Anderson and G. Metze, \u201cDesign of Totally Self-Checking Check Circuits for m-out-of-n Codes,\u201d IEEE Transactions on Computers, vol. 22, pp. 263\u2013269, March 1973.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR3","volume-title":"An Evaluation Tool of Fault Detection Mechanisms Efficiency, IEEE Proc. 10th Symposium on Fault-Tolerant Computing (FTCS10), pp. 225\u2013227","author":"B Decouty","year":"1980","unstructured":"B. Decouty, G. Michel, and C. Wagner, \u201cAn Evaluation Tool of Fault Detection Mechanisms Efficiency,\u201d IEEE Proc. 10th Symposium on Fault-Tolerant Computing (FTCS10), pp. 225\u2013227, Kyoto, Japan, Oct. 1980."},{"key":"25_CR4","volume-title":"Measurement of Fault-Detection Mechanisms Efficiency: Results, IEEE Proc. 12th Symposium on Fault-Tolerant Computing (FTCS12), pp. 373\u2013376","author":"Y Crouzet","year":"1982","unstructured":"Y. Crouzet and B. Decouty, \u201cMeasurement of Fault-Detection Mechanisms Efficiency: Results,\u201d IEEE Proc. 12th Symposium on Fault-Tolerant Computing (FTCS12), pp. 373\u2013376, Santa Monica, USA, June 1982."},{"key":"25_CR5","volume-title":"Upset Exposure by Means of Abstraction Verification, IEEE Proc. 12th Symposium on Fault-Tolerant Computing (FTCS12), pp. 237\u2013244","author":"ME Schmid","year":"1982","unstructured":"M.E. Schmid, R.L. Trapp, A.E. Davidoff, and G.M. Masson, \u201cUpset Exposure by Means of Abstraction Verification,\u201d IEEE Proc. 12th Symposium on Fault-Tolerant Computing (FTCS12), pp. 237\u2013244, Santa Monica, USA, June 1982."},{"issue":"4","key":"25_CR6","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TC.1986.1676773","volume":"35","author":"KG Shin","year":"1986","unstructured":"K.G. Shin and Y.H. Lee, \u201cMeasurement and Application of Fault-Latency,\u201d IEEE Transactions on Computers, vol. 35, no. 4, pp. 370\u2013375, April 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR7","volume-title":"Experimental Evaluation of two Concurrent Error Detection Schemes, IEEE Proc. 16th Symposium on Fault-Tolerant Computing (FTCS16), pp. 138\u2013143","author":"MA Schuette","year":"1986","unstructured":"M.A. Schuette, J.P. Shen, D.P. Siewiorek, and Y.X. Zhu, \u201cExperimental Evaluation of two Concurrent Error Detection Schemes,\u201d IEEE Proc. 16th Symposium on Fault-Tolerant Computing (FTCS16), pp. 138\u2013143, Vienna, Austria, July 1986."},{"key":"25_CR8","volume-title":"The Effectiveness of Software Error-Detection Mechanisms in Real-Time Operating Systems, IEEE Proc. 16th Symposium on Fault-Tolerant Computing (FTCS16), pp. 171\u2013176","author":"A Damm","year":"1986","unstructured":"A. Damm, \u201cThe Effectiveness of Software Error-Detection Mechanisms in Real-Time Operating Systems,\u201d IEEE Proc. 16th Symposium on Fault-Tolerant Computing (FTCS16), pp. 171\u2013176, Vienna, Austria, July 1986."},{"key":"25_CR9","volume-title":"Automated Fault-Inject ion for Digital Systems, Proc. Annual Reliability and Maintainability Symposium, pp. 112\u2013117","author":"R Hummel","year":"1988","unstructured":"R. Hummel, \u201cAutomated Fault-Inject ion for Digital Systems,\u201d Proc. Annual Reliability and Maintainability Symposium, pp. 112\u2013117, Los Angeles, USA, Jan. 1988."},{"key":"25_CR10","volume-title":"LAAS Report","author":"J Arlat","year":"1986","unstructured":"J. Arlat and Y. Crouzet, \u201cMESSALINE: A Fault Injection Tool for Dependability Validation of Fault-Tolerant Computing Systems,\u201d LAAS Report No. 86356, Laboratoire d\u2019Automatique et d\u2019Analayse des Syst\u00e8mes Toulouse, France, Dec. 1986."},{"issue":"1","key":"25_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H Kopetz","year":"1989","unstructured":"H. Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger, \u201cDistributed Fault-Tolerant Real-Time Systems: The MARS Approach,\u201d IEEE Micro, vol. 9, no. 1, pp. 25\u201340, Feb. 1989.","journal-title":"IEEE Micro"},{"key":"25_CR12","volume-title":"The Architecture of MARS, IEEE Proc. 15th Symposium on Fault-Tolerant Computing (FTCS15), pp. 274\u2013279","author":"H Kopetz","year":"1985","unstructured":"H. Kopetz and W. Merker, \u201cThe Architecture of MARS,\u201d IEEE Proc. 15th Symposium on Fault-Tolerant Computing (FTCS15), pp. 274\u2013279, Ann Arbor, Michigan, June 1985."},{"issue":"8","key":"25_CR13","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"36","author":"H Kopetz","year":"1987","unstructured":"H. Kopetz and W. Ochsenreiter, \u201cClock Synchronization in Distributed Real-Time Systems,\u201d IEEE Transactions on Computers, vol. 36, no. 8, pp. 933\u2013940, Aug. 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR14","unstructured":"A. Avizienis, \u201cThe Four-Universe Information System Model for the Study of Fault- Tolerance,\u201d IEEE Proc. 12th Symposium on Fault-Tolerant Computing (FTCS12) pp. 6\u201312, Santa Monica, USA, June 1982."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"T. Anderson, P.A. Barrett, D.N. Halliwell, and M.R. Moulding, \u201cSoftware Fault-Tolerance: An Evaluation,\u201d IEEE Transactions on Software Engineering, vol. 11, no. 12, pp. 1502\u20131510,","DOI":"10.1109\/TSE.1985.231894"}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme \/ Fault-tolerant Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75002-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:20:53Z","timestamp":1606270853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75002-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540515654","9783642750021"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75002-1_25","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}