{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:01:45Z","timestamp":1773086505608,"version":"3.50.1"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2011,3]]},"abstract":"<jats:p>Virtualization has been receiving increasing attention in embedded real-time systems. However, real-time systems, whose correctness depends on timing requirements, are not easily applicable to virtualization since virtualization mainly focuses on functional correctness. A hierarchical scheduling framework (HSF) provides a method of composing the complex timing requirements of real-time systems. There have been several works on the implementation of the HSF. Although the scheduling framework of virtualization directly corresponds to the HSF, they did not consider implementing the HSF on virtualization. In this paper, we implement a two-level HSF, where components use a periodic interface model using virtualization. We use an L4\/Fiasco micro-kernel as a virtual machine monitor (VMM) and an L4Linux as a virtual machine (VM) and extend these to support real-time properties. The experimental results show that the HSF is suitable for the virtualization environment.<\/jats:p>","DOI":"10.1145\/1967021.1967025","type":"journal-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:03:38Z","timestamp":1302609818000},"page":"30-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Implementation of compositional scheduling framework on virtualization"],"prefix":"10.1145","volume":"8","author":[{"given":"Jungwoo","family":"Yang","sequence":"first","affiliation":[{"name":"KAIST, Yusung-Gu, Daejeon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyungseok","family":"Kim","sequence":"additional","affiliation":[{"name":"KAIST, Yusung-Gu, Daejeon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sangwon","family":"Park","sequence":"additional","affiliation":[{"name":"KAIST, Yusung-Gu, Daejeon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changki","family":"Hong","sequence":"additional","affiliation":[{"name":"KAIST, Yusung-Gu, Daejeon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insik","family":"Shin","sequence":"additional","affiliation":[{"name":"KAIST, Yusung-Gu, Daejeon, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435461"},{"key":"e_1_2_1_2_1","volume-title":"December","author":"Shin I.","year":"2003","unstructured":"I. Shin and I. Lee , \" Periodic resource model for compositional real-time guarantees,\" in Proceedings of the 24th IEEE Real-Time System Symposium , December 2003 . I. Shin and I. Lee, \"Periodic resource model for compositional real-time guarantees,\" in Proceedings of the 24th IEEE Real-Time System Symposium, December 2003."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"e_1_2_1_6_1","volume-title":"December","author":"Deng Z.","year":"1997","unstructured":"Z. Deng and J. Liu , \" Scheduling real-time applications in an open environment,\" in Proceedings of the 18th IEEE Real-Time System Symposium , December 1997 . Z. Deng and J. Liu, \"Scheduling real-time applications in an open environment,\" in Proceedings of the 18th IEEE Real-Time System Symposium, December 1997."},{"key":"e_1_2_1_7_1","volume-title":"December","author":"Feng X.","year":"2002","unstructured":"X. Feng and A. Mok , \" A model of hierarchical real-time virtual resources,\" in Proceedings of the 23rd IEEE Real-Time System Symposium , December 2002 . X. Feng and A. Mok, \"A model of hierarchical real-time virtual resources,\" in Proceedings of the 23rd IEEE Real-Time System Symposium, December 2002."},{"key":"e_1_2_1_8_1","unstructured":"T.-W. Kuo and C.-H. Li \"A fixed-priority-driven open environment for real-time applications \" in Proceedings of the 20th IEEE Real-Time System Symposium December 1999.   T.-W. Kuo and C.-H. Li \"A fixed-priority-driven open environment for real-time applications \" in Proceedings of the 20th IEEE Real-Time System Symposium December 1999."},{"key":"e_1_2_1_9_1","volume-title":"May","author":"Lipari G.","year":"2000","unstructured":"G. Lipari and S. Baruah , \" Efficient scheduling of real-time multi-task applications in dynamic systems,\" in Proceedings of the 6th IEEE Real-Time Technology and Applications Symposium , May 2000 . G. Lipari and S. Baruah, \"Efficient scheduling of real-time multi-task applications in dynamic systems,\" in Proceedings of the 6th IEEE Real-Time Technology and Applications Symposium, May 2000."},{"key":"e_1_2_1_10_1","volume-title":"July","author":"Lipari G.","year":"2003","unstructured":"G. Lipari and E. Bini , \" Resource partitioning among real-time applications,\" in Proceedings of the 15th Euromicro Conference on Real-Time Systems , July 2003 . G. Lipari and E. Bini, \"Resource partitioning among real-time applications,\" in Proceedings of the 15th Euromicro Conference on Real-Time Systems, July 2003."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.43"},{"key":"e_1_2_1_12_1","volume-title":"June","author":"Saewong S.","year":"2002","unstructured":"S. Saewong , R. Rajkumar , J. Lehoczky , and M. Klein , \" Analysis of hierarchical fixed-priority scheduling,\" in Proceedings of the 14th Euromicro Conference on Real-Time Systems , June 2002 . S. Saewong, R. Rajkumar, J. Lehoczky, and M. Klein, \"Analysis of hierarchical fixed-priority scheduling,\" in Proceedings of the 14th Euromicro Conference on Real-Time Systems, June 2002."},{"key":"e_1_2_1_13_1","volume-title":"December","author":"Behnam M.","year":"2008","unstructured":"M. Behnam , T. Nolte , I. Shin , M. \u00c5sberg , and R. Bril , \" Towards hierarchical scheduling on top of vxworks,\" in Proceedings of the 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications , December 2008 . M. Behnam, T. Nolte, I. Shin, M. \u00c5sberg, and R. Bril, \"Towards hierarchical scheduling on top of vxworks,\" in Proceedings of the 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, December 2008."},{"key":"e_1_2_1_14_1","volume-title":"July","author":"van den Heuvel M. M. H. P.","year":"2010","unstructured":"M. M. H. P. , van den Heuvel , R. J. Bril , J. J. Likkien , and M. Behnam , \" Extending a hsf-enabled open-source real-time operating system with resource sharing,\" in Proceedings of the 6th International Workshop on Operating System Platforms for Embedded Real-Time Applications , July 2010 . M. M. H. P., van den Heuvel, R. J. Bril, J. J. Likkien, and M. Behnam, \"Extending a hsf-enabled open-source real-time operating system with resource sharing,\" in Proceedings of the 6th International Workshop on Operating System Platforms for Embedded Real-Time Applications, July 2010."},{"key":"e_1_2_1_15_1","volume-title":"Dresden University of Technology","author":"Steinberg U.","year":"2004","unstructured":"U. Steinberg , \"Quality-assuring scheduling in the fiasco microkernel,\" Master's thesis , Dresden University of Technology , March 2004 . U. Steinberg, \"Quality-assuring scheduling in the fiasco microkernel,\" Master's thesis, Dresden University of Technology, March 2004."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967021.1967025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1967021.1967025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:21Z","timestamp":1750243941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967021.1967025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["10.1145\/1967021.1967025"],"URL":"https:\/\/doi.org\/10.1145\/1967021.1967025","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3]]},"assertion":[{"value":"2011-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}