{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:40:19Z","timestamp":1736635219648,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376774"},{"type":"electronic","value":"9783540376781"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823063_4","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T13:10:36Z","timestamp":1159881036000},"page":"43-56","source":"Crossref","is-referenced-by-count":0,"title":["A Compositional Framework for Real-Time Guarantees"],"prefix":"10.1007","author":[{"given":"Insik","family":"Shin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Baruah, S., Mok, A., Rosier, L.: Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Proc. of IEEE Real-Time Systems Symposium, December 1990, pp. 182\u2013190 (1990)","DOI":"10.1109\/REAL.1990.128746"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G. Bernat","year":"2001","unstructured":"Bernat, G., Burns, A., Llamosi, A.: Weakly hard real-time systems. IEEE Transactions on Computers\u00a050(4), 308\u2013321 (2001)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"A. Chakrabarti","year":"2003","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 117\u2013133. Springer, Heidelberg (2003)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.-S.: Scheduling real-time applications in an open environment. In: Proc. of IEEE Real-Time Systems Symposium, December 1997, pp. 308\u2013319 (1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"4_CR5","unstructured":"Feng, X., Mok, A.: A model of hierarchical real-time virtual resources. In: Proc. of IEEE Real-Time Systems Symposium, December 2002, pp. 26\u201335 (2002)"},{"issue":"12","key":"4_CR6","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1109\/12.477249","volume":"44","author":"M. Hamdaoui","year":"1995","unstructured":"Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Transactions on Computers\u00a044(12), 1443\u20131451 (1995)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR7","unstructured":"Kuo, T.-W., Li, C.H.: A fixed-priority-driven open environment for real-time applications. In: Proc. of IEEE Real-Time Systems Symposium, December 1999, pp. 256\u2013267 (1999)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Proc. of IEEE Real-Time Systems Symposium, pp. 166\u2013171 (1989)","DOI":"10.1109\/REAL.1989.63567"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Lipari, G., Baruah, S.: A hierarchical extension to the constant bandwidth server framework. In: Proc. of IEEE Real-Time Technology and Applications Symposium, May 2001, pp. 26\u201335 (2001)","DOI":"10.1109\/RTTAS.2001.929863"},{"key":"4_CR10","unstructured":"Lipari, G., Bini, E.: Resource partitioning among real-time applications. In: Proc. of Euromicro Conference on Real-Time Systems (July 2003)"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multi-programming in a hard-real-time environment. Journal of the ACM\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the ACM"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1109\/90.234856","volume":"1","author":"A.K. Parekh","year":"1993","unstructured":"Parekh, A.K., Gallagher, R.G.: A generalized processor sharing approach to flow control in integrated services networks: the single-node case. IEEE\/ACM Transactions on Networking\u00a01(3), 344\u2013357 (1993)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Regehr, J., Stankovic, J.: HLS: A framework for composing soft real-time schedulers. In: Proc. of IEEE Real-Time Systems Symposium, December 2001, pp. 3\u201314 (2001)","DOI":"10.1109\/REAL.2001.990591"},{"key":"4_CR14","unstructured":"Saewong, S., Rajkumar, R., Lehoczky, J.P., Klein, M.H.: Analysis of hierarchical fixed-priority scheduling. In: Proc. of Euromicro Conference on Real-Time Systems (June 2002)"},{"key":"4_CR15","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proc. of IEEE Real-Time Systems Symposium, December 2003, pp. 2\u201313 (2003)"}],"container-title":["Lecture Notes in Computer Science","Automotive Software \u2013 Connected Services in Mobile Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823063_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T03:08:54Z","timestamp":1736564934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823063_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376774","9783540376781"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11823063_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}