{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:17:39Z","timestamp":1743124659854,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182948"},{"type":"electronic","value":"9783642456282"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-45628-2_32","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:25:11Z","timestamp":1330982711000},"page":"362-373","source":"Crossref","is-referenced-by-count":1,"title":["Fault-Tolerant Distributed Real-Time Systems: Mars"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Damm","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"B. Randell, \u201cSystem Structure for Software Fault-Tolerance,\u201d Proc. International Conference on Reliable Software, pp. 437-449 (April 1975).","DOI":"10.1145\/390016.808467"},{"issue":"8","key":"32_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MC.1984.1659219","volume":"17","author":"A Avizienis","year":"1984","unstructured":"A. Avizienis and J.P.J. Kelly, \u201cFault Tolerance by Design Diversity,\u201d IEEE Computer\n                           17(8) pp. 67\u201380 (Aug. 1984).","journal-title":"IEEE Computer"},{"key":"32_CR3","unstructured":"J.C. Knight and N.G. Leveson, \u201cAn Empirical Study of Failure Probabilities in Multi-Version Software,\u201d Proc. FTCS 16, pp. 165-170 (July 1986)."},{"issue":"8","key":"32_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MC.1984.1659214","volume":"17","author":"O Serlin","year":"1984","unstructured":"O. Serlin, \u201cFault-Tolerant Systems in Commercial Applications.\u201d IEEE Computer\n                           17(8) pp. 19\u201330 (Aug. 1984).","journal-title":"IEEE Computer"},{"issue":"10","key":"32_CR5","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1109\/PROC.1978.11113","volume":"66","author":"AL Hopkins","year":"1978","unstructured":"A.L. Hopkins. T.B. Smith. and J.H. Lala. \u201cFTMP-A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft,\u201d Proc. of the IEEE\n                           66(10) pp. 1221\u20131239 (Oct. 1978).","journal-title":"Proc. of the IEEE"},{"issue":"10","key":"32_CR6","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1109\/PROC.1978.11114","volume":"66","author":"JH Wensley","year":"1978","unstructured":"J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith. R.E. Shostak, and C.B. Weinstock, \u201cSIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control.\u201d Proc. of the IEEE\n                           66(10) pp. 1240\u20131255 (Oct. 1978).","journal-title":"Proc. of the IEEE"},{"issue":"2","key":"32_CR7","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MC.1987.1663482","volume":"20","author":"A Avizienis","year":"1987","unstructured":"A. Avizienis and D.E. Ball, \u201cOn the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System,\u201d IEEE Computer\n                           20(2) pp. 84\u201390 (Feb. 1987).","journal-title":"IEEE Computer"},{"key":"32_CR8","unstructured":"H. Kopetz and W. Merker, \u201cThe Architecture of MARS.\u201d Proc. 15th Symposium on Fault-Tolerant Computing, pp. 274-279 (1985)."},{"key":"32_CR9","unstructured":"A. Damm. \u201cKernel Aspects of the Distributed Real-Time Operating System of MARS,\u201d Research Report 6\/87, Institut f\u00fcr Technische Informatik, Technical University Vienna (Feb. 1987)."},{"issue":"2","key":"32_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.1984.234046","volume":"1","author":"DR Cheriton","year":"1984","unstructured":"D.R. Cheriton, \u201cThe V Kernel: A Software Base for Distributed Systems,\u201d IEEE Software\n                           1(2) pp. 19\u201342 (April 1984).","journal-title":"IEEE Software"},{"issue":"2","key":"32_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/214419.214422","volume":"4","author":"R Fitzgerald","year":"1988","unstructured":"R. Fitzgerald and R.F. Rashid, \u201cThe Integration of Virtual Memory Management and Interprocess Communication in Accent,\u201d ACM Transactions on Computer Systems\n                           4(2) pp. 147\u2013177 (May 1988).","journal-title":"ACM Transactions on Computer Systems"},{"key":"32_CR12","unstructured":"H. Zimmermann, J.S. Banino, A. Caristan, M. Guillemont, and G. Morisset, \u201cBasic Concepts for the Support of Distributed Systems: The Chorus Approach,\u201d Proc. of the 2nd Conf. on Distributed Computing Systems, pp. 60-66 (April 1981)."},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"H. Kopetz and W. Ochsenreiter, \u201cClock Synchronization in Distributed Real-Time Systems.\u201d IEEE Transactions on Computers\n                           36(8)(Aug. 1987).","DOI":"10.1109\/TC.1987.5009516"},{"key":"32_CR14","unstructured":"H. Kopetz and A. Damm, \u201cMARS: Concepts and Design of the Second Prototype,\u201d Newsletter of the IEEE TC on Distributed Computing, (to appear 1987)."},{"key":"32_CR15","unstructured":"H. Kopetz. \u201cAccuracy of Time Measurement in Distributed Real-Time Systems,\u201d Proc. 5th Symposium on Reliability in Distributed Software and Database Systems, pp. 35-41 (Jan. 1986)."},{"key":"32_CR16","unstructured":"A. Damm, \u201cThe Effectiveness of Software Error-Detection Mechanisms in Real-Time Operating Systems,\u201d Proc. 16th Symposium on Fault-Tolerant Computing, pp. 171-176 (July 1986)."},{"key":"32_CR17","unstructured":"C. Senft and F. Ramberger, \u201cA Distributed Design Environment for Distributed Real-Time Systems.\u201d Research Report 2\/87, Institut f\u00fcr Technische Informatik, Technical University Vienna (Feb. 1987)."},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"L. Svobodova, \u201cCommunication Support for Distributed Processing: Design and Implementation Issues,\u201d pp. 176-192 in Networking in Open Systems, Lecture Notes in Computer Science 248, ed. G. M\u00fcller. Springer-Verlag (Aug. 1986).","DOI":"10.1007\/BFb0026962"},{"issue":"4","key":"32_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/357401.357402","volume":"2","author":"JH Saltzer","year":"1984","unstructured":"J.H. Saltzer, D.P. Reed, and D.D. Clark, \u201cEnd-To-End Arguments in System Design.\u201d ACM Transactions on Computer Systems\n                           2(4) pp. 277\u2013288 (Nov. 1984).","journal-title":"ACM Transactions on Computer Systems"}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme \/ Fault-Tolerant Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45628-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T15:49:48Z","timestamp":1714751388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45628-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182948","9783642456282"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45628-2_32","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}