{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:50:43Z","timestamp":1725645043242},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503606"},{"type":"electronic","value":"9783642741357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-74135-7_29","type":"book-chapter","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T18:57:48Z","timestamp":1324580268000},"page":"379-398","source":"Crossref","is-referenced-by-count":0,"title":["Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS"],"prefix":"10.1007","author":[{"given":"H.","family":"Kopetz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Damm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Koza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Mulazzani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Schwabl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Senft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Zainlinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","first-page":"274","volume-title":"The Architecture of MARS","author":"H Kopetz","year":"1985","unstructured":"H. Kopetz and W. Merker, \u201cThe Architecture of MARS,\u201d 15th Fhult-Tolerant Computing Symposium, pp. 274\u2013279, Anna Arbor, Michigan, (June 1985)."},{"key":"29_CR2","volume-title":"\u201cInterprocess Communication in MARS,\u201d Research Report 8\/88, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien","author":"M Pfl\u00fcgl","year":"1988","unstructured":"M. Pfl\u00fcgl, A. Damm, and W. Schwabl, \u201cInterprocess Communication in MARS,\u201d Research Report 8\/88, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Vienna, Austria (June 1988)."},{"issue":"8","key":"29_CR3","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":"29_CR4","unstructured":"AMI, \u201cClock Synchronization Unit (CSU),\u201d Austria Microsystems International, Preliminary, S65C60-Datenblatt (June 1986)."},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/T-C.1973.223705","volume":"C-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. C-22, pp. 263\u2013269, (Mar. 1973).","journal-title":"IEEE Transactions on Computers"},{"key":"29_CR6","first-page":"53","volume":"II","author":"H Kopetz","year":"1986","unstructured":"H. Kopetz, \u201cDesign Principles for Fault-Tolerant Real-Time Systems,\u201d 19th Hawaii Conference, vol. II, pp. 53\u201362, (1986).","journal-title":"19th Hawaii Conference"},{"issue":"12","key":"29_CR7","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D Parnas","year":"1972","unstructured":"D. Parnas, \u201cOn the Criteria to be Used in Decomposing Systems into Modules,\u201d Communications of the ACM, vol. 15, no. 12, pp. 1053\u20131058, (Dec. 1972).","journal-title":"Communications of the ACM"},{"issue":"4","key":"29_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"M Alford","year":"1985","unstructured":"M. Alford, \u201cSREM at the Age of Eight: The Distributed Computing Design System,\u201d IEEE Computer, vol. 18, no. 4, pp. 36\u201346, (Apr. 1985).","journal-title":"IEEE Computer"},{"key":"29_CR9","volume-title":"\u201cREMODEL \u2014 a Realtimesystem Methodology on Design and Early Evaluation.\u201d Proc. of the IFIP Conf. on Distributed Processing, pp. 305\u2013321","author":"C Senft","year":"1987","unstructured":"C. Senft, \u201cREMODEL \u2014 a Realtimesystem Methodology on Design and Early Evaluation.\u201d Proc. of the IFIP Conf. on Distributed Processing, pp. 305\u2013321, Amsterdam, Netherlands. (Oct. 1987)."},{"issue":"1","key":"29_CR10","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland, \u201cScheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment,\u201d Journal of the ACM, vol. 20, no. 1, pp. 46\u201361, (Jan. 1973).","journal-title":"Journal of the ACM"},{"issue":"1","key":"29_CR11","doi-asserted-by":"crossref","first-page":"1139","DOI":"10.1109\/TSE.1986.6313009","volume":"6","author":"DW Leinbaugh","year":"1986","unstructured":"D. W. Leinbaugh and M.-R. Yamini, \u201cGuaranteed Response Times in a Distributed Hard-Real-Time Environment,\u201d IEEE Transactions on Software Engineering, vol. 6, no. 1, pp. 1139\u20131144, (Dec. 1986).","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"29_CR12","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/TC.1987.5009518","volume":"36","author":"W Zhao","year":"1987","unstructured":"W. Zhao, K. Ramamritham, and J. A. Stankovic, \u201cPreemptive Scheduling Under Time and Resource Constraints,\u201d IEEE Transactions on Computers, vol. 36, no. 8, pp. 949\u2013960, (Aug. 1987).","journal-title":"IEEE Transactions on Computers"},{"key":"29_CR13","volume-title":"\u201cGeneration of Dependability Models from Design Specifications of Distributed Real-Time Systems,\u201d Ph.D. Dissertation, Technisch Naturwissenschaftliche Fakult\u00e4t, Technische Universit\u00e4t Wien","author":"M Mulazzani","year":"1988","unstructured":"M. Mulazzani, \u201cGeneration of Dependability Models from Design Specifications of Distributed Real-Time Systems,\u201d Ph.D. Dissertation, Technisch Naturwissenschaftliche Fakult\u00e4t, Technische Universit\u00e4t Wien, Vienna, Austria (April 1988)."},{"key":"29_CR14","volume-title":"An Open Layered Architecture for Dependability Analysis and its Application","author":"M Mulazzani","year":"1988","unstructured":"M. Mulazzani, \u201cAn Open Layered Architecture for Dependability Analysis and its Application,\u201d 18th Fault-Tolerant Computing Symposium, Tokyo, Japan, (June 1988)."},{"issue":"10","key":"29_CR15","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","volume":"13","author":"R Sahner","year":"1987","unstructured":"R. Sahner and K. S. Trivedi, \u201cPerformance and Reliability Analysis Using Directed Acyclic Graphs,\u201d IEEE Transactions on Software Engineering, vol. 13, no. 10, pp. 1105\u20131114, (Oct. 1987).","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"29_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"RA Sahner","year":"1987","unstructured":"R. A. Sahner and K. S. Trivedi, \u201cReliability Modeling using SHARPE,\u201d IEEE Transactions on Reliability, vol. 36, no. 2, pp. 186\u2013193, (June 1987).","journal-title":"IEEE Transactions on Reliability"},{"key":"29_CR17","volume-title":"\u201cA Computer-Aided Design Environment for Distributed Realtime Systems,\u201d IEEE Compeuro 86, System Design: Concepts, Methods and Tools, pp. 288\u2013297","author":"C Senft","year":"1988","unstructured":"C. Senft, \u201cA Computer-Aided Design Environment for Distributed Realtime Systems,\u201d IEEE Compeuro 86, System Design: Concepts, Methods and Tools, pp. 288\u2013297, Brussels, Belgium, (Apr. 1988)."},{"key":"29_CR18","first-page":"1","volume-title":"\u201cThe DB+4-Relational Database Management System,\u201d EUUG Conference Proceedings","author":"M Agnew","year":"1986","unstructured":"M. Agnew and R. Ward, \u201cThe DB+4-Relational Database Management System,\u201d EUUG Conference Proceedings, pp. 1\u201315, Florence, Italy, (Apr. 1986)."},{"issue":"6","key":"29_CR19","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MS.1987.231799","volume":"4","author":"M Dowson","year":"1987","unstructured":"M. Dowson, \u201cIntegrated Project Support with IStar,\u201d IEEE Software, vol. 4, no. 6, pp. 6\u201315, (Nov. 1987).","journal-title":"IEEE Software"},{"key":"29_CR20","volume-title":"\u201cGRAINT \u2014 Ein graphisches Interface f\u00fcr das MARS Design System,\u201d Diplomarbeit, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien","author":"R Zainlinger","year":"1988","unstructured":"R. Zainlinger, \u201cGRAINT \u2014 Ein graphisches Interface f\u00fcr das MARS Design System,\u201d Diplomarbeit, Institut f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Vienna, Austria (1988)."}],"container-title":["Informatik-Fachberichte","GI \u2014 18. Jahrestagung II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74135-7_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T12:40:45Z","timestamp":1620304845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74135-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503606","9783642741357"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74135-7_29","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1988]]}}}