{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:10Z","timestamp":1725550270870},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291039"},{"type":"electronic","value":"9783540320180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560333_12","type":"book-chapter","created":{"date-parts":[[2005,10,17]],"date-time":"2005-10-17T11:54:25Z","timestamp":1129550065000},"page":"137-148","source":"Crossref","is-referenced-by-count":1,"title":["A Compositional Framework for Real-Time Embedded Systems"],"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":"12_CR1","doi-asserted-by":"crossref","unstructured":"Almeida, L., Pedreiras, P.: Scheduling within temporal partitions: response-time analysis and server design. In: Proc. of the Fourth ACM International Conference on Embedded Software (September 2004)","DOI":"10.1145\/1017753.1017772"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0967-0661(93)92105-D","volume":"1","author":"N. Audsley","year":"1993","unstructured":"Audsley, N., Burns, A., Wellings, A.: Deadline monotonic scheduling theory and application. Control Engineering Practice\u00a01(1), 71\u201378 (1993)","journal-title":"Control Engineering Practice"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01995675","volume":"2","author":"S. Baruah","year":"1990","unstructured":"Baruah, S., Howell, R., Rosier, L.: Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Journal of Real-Time Systems\u00a02, 301\u2013324 (1990)","journal-title":"Journal of Real-Time Systems"},{"key":"12_CR4","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, pp. 182\u2013190 (December 1990)","DOI":"10.1109\/REAL.1990.128746"},{"key":"12_CR5","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, pp. 308\u2013319 (December 1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"12_CR6","unstructured":"Feng, X., Mok, A.: A model of hierarchical real-time virtual resources. In: Proc. of IEEE Real-Time Systems Symposium, pp. 26\u201335 (December 2002)"},{"key":"12_CR7","volume-title":"ARM System Architecture","author":"S. Furber","year":"1996","unstructured":"Furber, S.: ARM System Architecture. Addison Wisley, New York (1996)"},{"key":"12_CR8","unstructured":"Goudge, L., Segars, S.: Thumb: Reducing the cost of 32-bit RISC performance in portable and consumer applications. In: Proc. of the 1996 COMPCON (September 1996)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Halambi, A., Shrivastava, A., Biswas, P., Dutt, N., Nicolau, A.: An efficient compiler technique for code size reduction using reduced bit-width isas. In: Proceedings of Design Automation and Test in Europe, (DATE 2002) (2002)","DOI":"10.1109\/DATE.2002.998305"},{"key":"12_CR10","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, pp. 256\u2013267 (December 1999)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Lee, S., Lee, J., Park, C.Y., Min, S.L.: A flexible tradeoff between code size and WCET using a dual instruction set processor. In: Proceedings of the 8th International Workshop on Software and Compilers for Embedded Systems (SCOPES), Amsterdam, The Netherlands, pp. 244\u2013258 (September 2004)","DOI":"10.1007\/978-3-540-30113-4_18"},{"key":"12_CR12","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":"12_CR13","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, pp. 26\u201335 (May 2001)","DOI":"10.1109\/RTTAS.2001.929863"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Lipari, G., Bini, E.: Resource partitioning among real-time applications. In: Proc. of Euromicro Conference on Real-Time Systems (July 2003)","DOI":"10.1109\/EMRTS.2003.1212738"},{"issue":"1","key":"12_CR15","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"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Mok, A., Feng, X., Chen, D.: Resource partition for real-time systems. In: Proc. of IEEE Real-Time Technology and Applications Symposium, pp. 75\u201384 (May 2001)","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"12_CR17","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, pp. 3\u201314 (December 2001)","DOI":"10.1109\/REAL.2001.990591"},{"key":"12_CR18","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":"12_CR19","unstructured":"Shin, I., Lee, I.: Periodic resource model for compositional real-time guarantees. In: Proc. of IEEE Real-Time Systems Symposium, pp. 2\u201313 (December 2003)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Proc. of IEEE Real-Time Systems Symposium (December 2004)","DOI":"10.1109\/REAL.2004.15"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Shin, I., Lee, I., Min, S.: Embedded system design framework for minimizing code size and guaranteeing real-time requirements. In: Proc. of IEEE Real-Time Systems Symposium, pp. 201\u2013211 (December 2002)","DOI":"10.1109\/REAL.2002.1181575"},{"key":"12_CR22","volume-title":"See MIPS Run","author":"D. Sweetman","year":"1999","unstructured":"Sweetman, D.: See MIPS Run. Morgan Kaufmann, San Francisco (1999)"}],"container-title":["Lecture Notes in Computer Science","Service Availability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560333_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:01Z","timestamp":1619507581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560333_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291039","9783540320180"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11560333_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}