{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T16:17:48Z","timestamp":1738340268484,"version":"3.35.0"},"publisher-location":"Boston, MA","reference-count":14,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096605"},{"type":"electronic","value":"9780387096612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-09661-2_15","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T13:40:02Z","timestamp":1219153202000},"page":"151-160","source":"Crossref","is-referenced-by-count":0,"title":["Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements"],"prefix":"10.1007","author":[{"given":"Santiago","family":"Urue\u00f1a","sequence":"first","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 A.","family":"Pulido","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"ECSS. ECSS-Q-80B Space Product Assurance \u2014 Software Product Assurance, 2003. Available from ESA."},{"key":"15_CR2","unstructured":"RTCA Inc. Software Considerations in Airborne Systems and Equipment Certification \u2014 RTCA\/DO-178B, 2002."},{"key":"15_CR3","unstructured":"ISO\/IEC. TR 24718:2005 \u2014 Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2005. Based on the University of York Technical Report YCS-2003-348 (2003)."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Ken Tindell and John Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2\u20133):117\u2013134, April 1994. Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems).","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Juan Carlos Palencia Guti\u2019errez and Michael Gonz\u2019alez Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pages 328\u2013339, December 1999.","DOI":"10.1109\/REAL.1999.818860"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Santiago Urue\u00f1a and Juan Zamorano. Building high-integrity distributed systems with Ravenscar restrictions. volume XXVII, pages 29\u201336, August 2007. Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007).","DOI":"10.1145\/1316003.1316008"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hermann Kopetz and G\u00fcnther Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112\u2013126, January 2003.","DOI":"10.1109\/JPROC.2002.805821"},{"key":"15_CR8","first-page":"33","volume-title":"Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In IRTAW \u201900: Proceedings of the 10th international workshop on Real-time Ada workshop","author":"Audsley Neil","year":"2001","unstructured":"Neil Audsley and Andy Wellings. Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In IRTAW \u201900: Proceedings of the 10th international workshop on Real-time Ada workshop, pages 33\u201339, New York, NY, USA, 2001. ACM Press."},{"key":"15_CR9","unstructured":"ISO SC22\/WG9. Ada 2005 Annotated Reference Manual. ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1, 2006. Available on http:\/\/www.adaic.com\/standards\/ada05.html."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Tr. on Computers, 39(9), 1990.","DOI":"10.1109\/12.57058"},{"key":"15_CR11","unstructured":"J. Javier Guti\u00e9rrez, J. Carlos Palencia, and Michael Gonz\u00e1lez Harbour. Schedulability analysis of distributed hard real-time systems with multiple- event synchronization. In Proc. 12th Euromicro Conference on Real-Time Systems, pages 15\u201324. IEEE CS Press, June 2000."},{"key":"15_CR12","unstructured":"Juan Carlos Palencia Guti\u00e9rrez. An\u00e1lisis de planificabilidad de Sistemas Distribuidos de Tiempo Real basados en prioridades fijas. PhD thesis, Universidad de Cantabria, 1999. Supervisor: Michael Gonz\u00e1lez Harbour."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"C\u00e9sar S\u00e1nchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, and Christopher Gill. On efficient distributed deadlock avoidance for real-time and embedded systems. In Proceedings of the 20th International Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. IEEE Computer Society, April 2006.","DOI":"10.1109\/IPDPS.2006.1639370"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Daniel Tejera, Alejandro Alonso, and Miguel \u00c1ngel de Miguel. Predictable serialization in Java. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u201907), May 2007.","DOI":"10.1109\/ISORC.2007.48"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Distributed Embedded Systems: Design, Middleware and Resources"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09661-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T15:38:41Z","timestamp":1738337921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09661-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387096605","9780387096612"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09661-2_15","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2008]]}}}