{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:28:23Z","timestamp":1760369303209,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T00:00:00Z","timestamp":1470096000000},"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":[[2016,8,2]]},"abstract":"<jats:p>Compositional reasoning on hierarchical scheduling systems is a well-founded formal method that can construct schedulable and optimal system configurations in a compositional way. However, a compositional framework formulates the resource requirement of a component, called an interface, by assuming that a resource is always supplied by the parent components in the most pessimistic way. For this reason, the component interface demands more resources than the amount of resources that are really sufficient to satisfy sub-components. We provide two new supply bound functions which provides tighter bounds on the resource requirements of individual components. The tighter bounds are calculated by using more information about the scheduling system.<\/jats:p>\n          <jats:p>We evaluate our new tighter bounds by using a model-based schedulability framework for hierarchical scheduling systems realized as Uppaal models. The timed models are checked using model checking tools Uppaal and Uppaal SMC, and we compare our results with the state of the art tool CARTS.<\/jats:p>","DOI":"10.1145\/2983185.2983192","type":"journal-article","created":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T13:26:34Z","timestamp":1470317194000},"page":"41-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Optimizing the resource requirements of hierarchical scheduling systems"],"prefix":"10.1145","volume":"13","author":[{"given":"Jin Hyun","family":"Kim","sequence":"first","affiliation":[{"name":"INRIA\/IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis-Marie","family":"Traonouez","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdeldjalil","family":"Boudjadar","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[{"name":"Korea University, S. Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,8,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"e_1_2_1_2_1","first-page":"63","volume-title":"OSPERT","author":"Behnam M.","year":"2008","unstructured":"M. Behnam , T. Nolte , I. Shin , M. \u00c5sberg , and R. Bril . Towards hierarchical scheduling in VxWorks . In OSPERT 2008 , pages 63 -- 72 . M. Behnam, T. Nolte, I. Shin, M. \u00c5sberg, and R. Bril. Towards hierarchical scheduling in VxWorks. In OSPERT 2008, pages 63--72."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of FACS 2013","volume":"8348","author":"Boudjadar A.","year":"2013","unstructured":"A. Boudjadar , A. David , J. H. Kim , K. G. Larsen , M. Miku\u010dionis , U. Nyman , and A. Skou . Hierarchical scheduling framework based on compositional analysis using uppaal . In Proceedings of FACS 2013 , LNCS Volume 8348 . Springer , 2013 . A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Miku\u010dionis, U. Nyman, and A. Skou. Hierarchical scheduling framework based on compositional analysis using uppaal. In Proceedings of FACS 2013, LNCS Volume 8348. Springer, 2013."},{"key":"e_1_2_1_4_1","first-page":"209","volume-title":"FACS 2014","author":"Boudjadar A.","year":"2014","unstructured":"A. Boudjadar , A. David , J. H. Kim , K. G. Larsen , M. Mikucionis , U. Nyman , and A. Skou . Widening the schedulability of hierarchical scheduling systems . In FACS 2014 , pages 209 -- 227 , 2014 . A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis, U. Nyman, and A. Skou. Widening the schedulability of hierarchical scheduling systems. In FACS 2014, pages 209--227, 2014."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"F.\n      Cassez\n     and \n      K. G.\n      Larsen\n  . \n  The impressive power of stopwatches\n  . In C. Palamidessi editor CONCUR volume \n  1877\n   of \n  Lecture Notes in Computer Science pages \n  138\n  --\n  152\n  . \n  Springer 2000\n  .   F. Cassez and K. G. Larsen. The impressive power of stopwatches. In C. Palamidessi editor CONCUR volume 1877 of Lecture Notes in Computer Science pages 138--152. Springer 2000.","DOI":"10.1007\/3-540-44618-4_12"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_28"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.17"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967026"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.75"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1233760.1233768"},{"key":"e_1_2_1_12_1","first-page":"67","volume-title":"Real-Time Systems, Architecture, Scheduling, and Application","author":"Mike Holenderski R. J. B.","year":"2012","unstructured":"R. J. B. Mike Holenderski and J. J. Lukkien . An efficient hierarchical scheduling framework for the automotive domain . In Real-Time Systems, Architecture, Scheduling, and Application , pages 67 -- 94 . InTech , 2012 . R. J. B. Mike Holenderski and J. J. Lukkien. An efficient hierarchical scheduling framework for the automotive domain. In Real-Time Systems, Architecture, Scheduling, and Application, pages 67--94. InTech, 2012."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531094"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967029"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.28"},{"key":"e_1_2_1_16_1","first-page":"2","volume-title":"RTSS'03","author":"Shin I.","year":"2003","unstructured":"I. Shin and I. Lee . Periodic resource model for compositional real-time guarantees . In RTSS'03 , pages 2 -- 13 . IEEE Computer Society , 2003 . I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In RTSS'03, pages 2--13. IEEE Computer Society, 2003."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347383"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983185.2983192","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983185.2983192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:17Z","timestamp":1750220597000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983185.2983192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,2]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,8,2]]}},"alternative-id":["10.1145\/2983185.2983192"],"URL":"https:\/\/doi.org\/10.1145\/2983185.2983192","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2016,8,2]]},"assertion":[{"value":"2016-08-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}