{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T15:31:52Z","timestamp":1648654312936},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T00:00:00Z","timestamp":1184630400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s11241-007-9026-1","type":"journal-article","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T21:46:10Z","timestamp":1184622370000},"page":"45-76","source":"Crossref","is-referenced-by-count":2,"title":["Implementation and analysis of real-time communication protocol compositions"],"prefix":"10.1007","volume":"37","author":[{"given":"Jo\u00e3o","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Ventura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. M.","family":"de Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu\u00eds","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,17]]},"reference":[{"key":"9026_CR1","volume-title":"Proceedings of the workshop on middleware for real-time systems and services","author":"T Abdelzaher","year":"1997","unstructured":"Abdelzaher T, Dawson S, Feng W, Jahanian F, Johnson S, Mehra A, Mitton T, Shaikh A, Shin\u00a0K, Wang\u00a0Z, Zou\u00a0H (1997) ARMADA midleware suite. In: Proceedings of the workshop on middleware for real-time systems and services, San Francisco, CA, December 1997. IEEE, New York"},{"issue":"1","key":"9026_CR2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/12.822566","volume":"49","author":"T Abdelzaher","year":"2000","unstructured":"Abdelzaher T, Shin K (2000) Period-based load partitioning and assignment for large real-time applications. IEEE Trans Comput 49(1):81\u201387","journal-title":"IEEE Trans Comput"},{"key":"9026_CR3","volume-title":"Proceedings of the second IEEE real-time technology and applications symposium","author":"T Abdelzaher","year":"1996","unstructured":"Abdelzaher T, Shaikh A, Jahanian F, Shin K (1996) RTCAST: lightweight multicast for real-time process groups. In: Proceedings of the second IEEE real-time technology and applications symposium, Boston, MA, USA, June 1996. IEEE, New York"},{"key":"9026_CR4","unstructured":"Accetta M, Baron R, Bolosky W, Golub D, Rashid R, Tevanian A, Young M (1986) Mach: a new kernel foundation for Unix development. In: Proceedings of the summer Usenix, July 1986"},{"key":"9026_CR5","first-page":"100","volume-title":"Lecture notes in computer science, vol\u00a02067","author":"T Amnell","year":"2001","unstructured":"Amnell T, Behrmann G, Bengtsson J, D\u2019Argenio P, David A, Fehnker A, Hune T, Jeannet B, Larsen\u00a0K, Moller M, Pettersson P, Weise C, Yi W (2001) UPPAAL\u2014now, next, and future, modeling and verification of parallel processes. In: Cassez F, Jard C, Rozoy B, Ryan M (eds) Lecture notes in computer science, vol\u00a02067. Springer, Berlin, pp 100\u2013125"},{"key":"9026_CR6","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-45420-9","volume-title":"SPIN 2001, workshop on model checking of software","author":"T Ball","year":"2001","unstructured":"Ball T, Rajamani SK (2001) Automatically validating temporal safety properties of interfaces. In: SPIN 2001, workshop on model checking of software. Lecture notes in computer science, vol\u00a02057. Springer, Berlin, pp 103\u2013122"},{"issue":"4","key":"9026_CR7","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/292523.292524","volume":"16","author":"N Bhatti","year":"1998","unstructured":"Bhatti N, Hiltunen M, Schlichting R, Chiu W (1998) Coyote: a system for constructing fine-grain configurable communication services. ACM Trans Comput Syst 16(4):321\u2013366","journal-title":"ACM Trans Comput Syst"},{"issue":"6","key":"9026_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/2.846318","volume":"33","author":"G Bollella","year":"2000","unstructured":"Bollella G, Gosling J (2000) The real-time specification for java. IEEE Comput 33(6):47\u201354","journal-title":"IEEE Comput"},{"key":"9026_CR9","doi-asserted-by":"crossref","unstructured":"Chevochot P, Puaut I (2000) Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. In: RTCSA, pp 355\u2013362","DOI":"10.1109\/RTCSA.2000.896411"},{"key":"9026_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00365327","volume":"2","author":"F Cristian","year":"1990","unstructured":"Cristian F (1990) Synchronous atomic broadcast for redundant broadcast channels. Real-Time Syst 2:195\u2013212","journal-title":"Real-Time Syst"},{"key":"9026_CR11","unstructured":"Davis R, Burns A, Bril R, Lukkien J (2006) Controller area network (CAN) schedulability analysis: refuted, revisited and revised. In: Proceedings of the third international workshop on dependable embedded systems, Leeds, UK, October 2006"},{"key":"9026_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer M, Hatcliff J, Joehanes R, Laubach S, Pasareanu C, Willem R, Zheng H (2001) Tool-supported program abstraction for finite-state verification. In: Proceedings of the 23rd international conference on software engineering, May 2001","DOI":"10.1109\/ICSE.2001.919092"},{"key":"9026_CR13","volume-title":"Design patterns elements of reusable object-oriented software","author":"E Gamma","year":"1995","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns elements of reusable object-oriented software. Addison\u2013Wesley, Reading"},{"key":"9026_CR14","first-page":"22","volume-title":"Proceedings of the 18th international conference on distributed computing systems (ICDCS-18)","author":"B Garbinato","year":"1998","unstructured":"Garbinato B, Guerraoui R (1998) Flexible protocol composition in bast. In: Proceedings of the 18th international conference on distributed computing systems (ICDCS-18), Amsterdam, The Netherlands, May 1998. IEEE Computer Society, Los Alamitos, pp 22\u201329"},{"key":"9026_CR15","volume-title":"Introduction to reliable distributed programming","author":"R Guerraoui","year":"2006","unstructured":"Guerraoui R, Rodrigues L (2006) Introduction to reliable distributed programming. Springer, Berlin"},{"key":"9026_CR16","unstructured":"Hayden M (1998) The ensemble system. PhD thesis, Cornell University, Computer Science Department"},{"issue":"6","key":"9026_CR17","doi-asserted-by":"crossref","first-page":"600","DOI":"10.1109\/71.774909","volume":"10","author":"M Hiltunen","year":"1999","unstructured":"Hiltunen M, Schlichting R, Han X, Cardozo M, Das R (1999) Real-time dependable channels: customizing Qos attributes for distributed systems. IEEE Trans Parallel Distrib Syst 10(6):600\u2013612","journal-title":"IEEE Trans Parallel Distrib Syst"},{"issue":"4","key":"9026_CR18","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSE.2002.995426","volume":"28","author":"G Holzmann","year":"2002","unstructured":"Holzmann G, Smith M (2002) An automated verification method for distributed systems software based on model extraction. Trans Softw Eng 28(4):364\u2013377","journal-title":"Trans Softw Eng"},{"issue":"1","key":"9026_CR19","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/32.67579","volume":"17","author":"N Hutchinson","year":"1991","unstructured":"Hutchinson N, Peterson L (1991) The x-kernel: an architecture for implementing network protocols. IEEE Trans Softw Eng 17(1):64\u201376","journal-title":"IEEE Trans Softw Eng"},{"key":"9026_CR20","first-page":"14","volume":"27","author":"H Kopetz","year":"1994","unstructured":"Kopetz H, Grunsteidl G (1994) TTP-A protocol for fault-tolerant real-time systems: a multi-primitive group communication service. IEEE Trans Comput 27:14\u201323","journal-title":"IEEE Trans Comput"},{"key":"9026_CR21","first-page":"201","volume-title":"Proceedings of the 11h IEEE real-time systems symposium","author":"J Lehoczky","year":"1990","unstructured":"Lehoczky J, Sha L, Ding Y (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proceedings of the 11h IEEE real-time systems symposium, Lake Buena Vista, FL, USA, December 1990. IEEE Computer Society, Los Alamitos, pp 201\u2013209"},{"issue":"1","key":"9026_CR22","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J\u00a0ACM 20(1):46\u201361","journal-title":"J\u00a0ACM"},{"key":"9026_CR23","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1109\/ICDSC.2001.919005","volume-title":"Proceedings of the 21st international conference on distributed computing systems","author":"H Miranda","year":"2001","unstructured":"Miranda H, Pinto A, Rodrigues L (2001) Appia, a flexible protocol kernel supporting multiple coordinated channels. In: Proceedings of the 21st international conference on distributed computing systems, Phoenix, Arizona, April 2001. IEEE, New York, pp 707\u2013710"},{"key":"9026_CR24","doi-asserted-by":"crossref","unstructured":"Palencia J, Harbour M (1998) Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of the IEEE real-time systems symposium, Madrid, Spain, December 1998, pp\u00a026\u201337","DOI":"10.1109\/REAL.1998.739728"},{"key":"9026_CR25","doi-asserted-by":"crossref","unstructured":"Pop T, Eles P, Peng Z (2003) Schedulability analysis for distributed heterogeneous time\/event triggered real-time systems. In: ECRTS, pp 257\u2013266","DOI":"10.1109\/EMRTS.2003.1212751"},{"key":"9026_CR26","unstructured":"Richard M, Richard P, Cottet F (2001) Task and message priority assignment in automotive systems. In: 4th FeT IFAC conference on fieldbus systems and their applications, pp 105\u2013112"},{"key":"9026_CR27","doi-asserted-by":"crossref","unstructured":"Rodrigues J, Rodrigues L (2004) From running code to event-graphs: a pragmatic approach to derive WCRT of protocol compositions. In: Proceedings of the 5th IEEE international workshop on factory communication systems, Vienna, Austria, September 2004, pp 265\u2013274","DOI":"10.1109\/WFCS.2004.1377721"},{"key":"9026_CR28","first-page":"150","volume-title":"Digest of papers, the 28th IEEE international symposium on fault-tolerant computing","author":"J Rufino","year":"1998","unstructured":"Rufino J, Ver\u00edssimo P, Arroz G, Almeida C, Rodrigues L (1998) Fault-tolerant broadcasts in CAN. In: Digest of papers, the 28th IEEE international symposium on fault-tolerant computing, Munich, Germany, June 1998. IEEE, New York, pp 150\u2013159"},{"issue":"9","key":"9026_CR29","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky J (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"},{"key":"9026_CR30","unstructured":"Tindell K (1993) Holistic schedulability analysis for distributed hard real-time systems. Technical Report YCS197, Department of Computer Science, University of York, April 1993"},{"key":"9026_CR31","unstructured":"Tindell K (1994) Adding time-offsets to schedulability analysis. Technical Report YCS221, Department of Computer Science, University of York, January 1994"},{"key":"9026_CR32","unstructured":"Tindell K, Burns A, Wellings A (1991) Guaranteeing hard real-time end-to-end communication deadlines. Technical Report RTRG\/91\/107, Department of Computer Science, University of York"},{"key":"9026_CR33","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00365407","volume":"4","author":"K Tindell","year":"1992","unstructured":"Tindell K, Burns A, Wellings A (1992a) Allocating hard real-time tasks: an NP-hard problem made easy. Real-Time Syst 4:145\u2013165","journal-title":"Real-Time Syst"},{"key":"9026_CR34","unstructured":"Tindell K, Burns A, Wellings A (1992b) An extensible approach for analysing fixed priority hard real-time tasks. Technical Report YCS189, Department of Computer Science, University of York"},{"key":"9026_CR35","doi-asserted-by":"crossref","unstructured":"Travostino F, Menze E, Reynolds F (1996) Paths: programming with system resources in support of real-time distributed applications. In: Proceedings of the 2nd IEEE workshop on object-oriented real-time dependable systems, Laguna Beach, CA, February 1996","DOI":"10.1109\/WORDS.1996.506259"},{"key":"9026_CR36","first-page":"335","volume-title":"Proceedings of the 4th IEEE international symposium on object-oriented real-time distributed computing (ISORC)","author":"J Ventura","year":"2001","unstructured":"Ventura J, Rodrigues J, Rodrigues L (2001) Timing analysis of object-oriented communication protocols. In: Proceedings of the 4th IEEE international symposium on object-oriented real-time distributed computing (ISORC), Magdeburg, Germany, May 2001. IEEE, New York, pp 335\u2013342"},{"issue":"1\/2","key":"9026_CR37","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S Yovine","year":"1997","unstructured":"Yovine S (1997) Kronos: a verification tool for real-time systems. Springer Int J Softw Tools Technol Transf 1(1\/2):123\u2013133","journal-title":"Springer Int J Softw Tools Technol Transf"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9026-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-007-9026-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-007-9026-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:09:51Z","timestamp":1559387391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-007-9026-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,17]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["9026"],"URL":"https:\/\/doi.org\/10.1007\/s11241-007-9026-1","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,17]]}}}