{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:29:41Z","timestamp":1781195381444,"version":"3.54.1"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T00:00:00Z","timestamp":1507161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union under the HORIZON 2020 Framework Programme","award":["ICT-688131"],"award-info":[{"award-number":["ICT-688131"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>In real-time mixed-critical systems, Worst-Case Execution Time (WCET) analysis is required to guarantee that timing constraints are respected\u2014at least for high-criticality tasks. However, the WCET is pessimistic compared to the real execution time, especially for multicore platforms. As WCET computation considers the worst-case scenario, it means that whenever a high-criticality task accesses a shared resource in multicore platforms, it is considered that all cores use the same resource concurrently. This pessimism in WCET computation leads to a dramatic underutilization of the platform resources, or even failing to meet the timing constraints. In order to increase resource utilization while guaranteeing real-time guarantees for high-criticality tasks, previous works proposed a runtime control system to monitor and decide when the interferences from low-criticality tasks cannot be further tolerated. However, in the initial approaches, the points where the controller is executed were statically predefined. In this work, we propose a dynamic runtime control which adapts its observations to online temporal properties, further increasing the dynamism of the approach, and mitigating the unnecessary overhead implied by existing static approaches. Our dynamic adaptive approach allows one to control the ongoing execution of tasks based on runtime information, and further increases the gains in terms of resource utilization compared with static approaches.<\/jats:p>","DOI":"10.1145\/3110222","type":"journal-article","created":{"date-parts":[[2017,10,6]],"date-time":"2017-10-06T12:48:39Z","timestamp":1507294119000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["DYNASCORE"],"prefix":"10.1145","volume":"23","author":[{"given":"Angeliki","family":"Kritikakou","sequence":"first","affiliation":[{"name":"University of Rennes 1-IRISA\/INRIA, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thibaut","family":"Marty","sequence":"additional","affiliation":[{"name":"University of Rennes 1-IRISA\/INRIA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthieu","family":"Roy","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, University of Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,5]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"J. H. Anderson S. K. Baruah and B. B. Brandenburg. 2009. Multicore operating-system support for mixed criticality. In WMC. J. H. Anderson S. K. Baruah and B. B. Brandenburg. 2009. Multicore operating-system support for mixed criticality. In WMC."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.142"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"S. K. Baruah B. Chattopadhyay H. Li and I. Shin. 2013. Mixed-criticality scheduling on multiprocessors. Real-Time Systems (2013) 1--36. S. K. Baruah B. Chattopadhyay H. Li and I. Shin. 2013. Mixed-criticality scheduling on multiprocessors. Real-Time Systems (2013) 1--36.","DOI":"10.1109\/RTSS.2013.15"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2120959.2121115"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"B. B. Brandenburg and J. H. Anderson. 2007. Integrating hard\/soft real-time tasks and best-effort jobs on multiprocessors. In ECRTS. 61--70. B. B. Brandenburg and J. H. Anderson. 2007. Integrating hard\/soft real-time tasks and best-effort jobs on multiprocessors. In ECRTS. 61--70.","DOI":"10.1109\/ECRTS.2007.17"},{"key":"e_1_2_1_7_1","unstructured":"A. Burns and B. Baruah. 2013. Towards a more practical model for mixed criticality systems. In RTSS. A. Burns and B. Baruah. 2013. Towards a more practical model for mixed criticality systems. In RTSS."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24541-1_12"},{"key":"e_1_2_1_9_1","unstructured":"A. Burns and R. Davis. 2016. Mixed Criticality Systems\u2014A Review. Technical Report. Department of Computer Science University of York UK. A. Burns and R. Davis. 2016. Mixed Criticality Systems\u2014A Review. Technical Report. Department of Computer Science University of York UK."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.msec.2015.12.056"},{"key":"e_1_2_1_11_1","volume-title":"IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 203--214","author":"Chen T.","unstructured":"T. Chen , D. Lo , M. Ismail , and G. E. Suh . 2014. Slack-aware opportunistic monitoring for real-time systems . In IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 203--214 . T. Chen, D. Lo, M. Ismail, and G. E. Suh. 2014. Slack-aware opportunistic monitoring for real-time systems. In IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 203--214."},{"key":"e_1_2_1_12_1","volume-title":"WCET","volume":"1","author":"Deverge J. F.","unstructured":"J. F. Deverge and I. Puaut . 2007. Safe measurement-based WCET estimation . In WCET , Vol. 1 . J. F. Deverge and I. Puaut. 2007. Safe measurement-based WCET estimation. In WCET, Vol. 1."},{"key":"e_1_2_1_13_1","unstructured":"G. Durrieu M. Faugre S. Girbal D. G. Prez C. Pagetti and W. Puffitsch. 2014. Predictable flight management system implementation on a multicore processor. In ERTS. G. Durrieu M. Faugre S. Girbal D. G. Prez C. Pagetti and W. Puffitsch. 2014. Predictable flight management system implementation on a multicore processor. In ERTS."},{"key":"e_1_2_1_14_1","unstructured":"T. Fleming and A. Burns. 2013. Extending mixed criticality scheduling. In RTSS. T. Fleming and A. Burns. 2013. Extending mixed criticality scheduling. In RTSS."},{"key":"e_1_2_1_15_1","unstructured":"M. Gatti. 2013. Development and certification of avionics platforms on multi-core processors. In Tutorial Mixed-Criticality Systems: Design and Certification Challenges ESWeek. M. Gatti. 2013. Development and certification of avionics platforms on multi-core processors. In Tutorial Mixed-Criticality Systems: Design and Certification Challenges ESWeek."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658595"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814618"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.24"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.14"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"A. Kritikakou C. Rochange M. Faug\u00e8re C. Pagetti M. Roy S. Girbal and D. G. P\u00e9rez. 2014b. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. In RTNS. 139--148. A. Kritikakou C. Rochange M. Faug\u00e8re C. Pagetti M. Roy S. Girbal and D. G. P\u00e9rez. 2014b. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. In RTNS. 139--148.","DOI":"10.1145\/2659787.2659799"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"L. Haohan Li and S. Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In ECRTS. 166--175. L. Haohan Li and S. Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In ECRTS. 166--175.","DOI":"10.1109\/ECRTS.2012.41"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531078"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516826"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"J. Nowotsch M. Paulitsch D. B\u00fchler H. Theiling S. Wegener and M. Schmidt. 2013. Multi-core Interference-sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. Technical Report. University of Augsburg Germany. J. Nowotsch M. Paulitsch D. B\u00fchler H. Theiling S. Wegener and M. Schmidt. 2013. Multi-core Interference-sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. Technical Report. University of Augsburg Germany.","DOI":"10.1109\/ECRTS.2014.20"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.29"},{"key":"e_1_2_1_27_1","unstructured":"Luis-Noel Pouchet and others. 2013. PolyBenchmarks Benchmark Suite. Retrieved from http:\/\/www.cse.ohio-state.edu\/ pouchet\/software\/polybench\/. Luis-Noel Pouchet and others. 2013. PolyBenchmarks Benchmark Suite. Retrieved from http:\/\/www.cse.ohio-state.edu\/ pouchet\/software\/polybench\/."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.115"},{"key":"e_1_2_1_29_1","unstructured":"SAE. 2010. Aerospace Recommended Practices 4754a\u2014Development of Civil Aircraft and Systems. (2010). SAE. SAE. 2010. Aerospace Recommended Practices 4754a\u2014Development of Civil Aircraft and Systems. (2010). SAE."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0900"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"A. K. Singh M. Shafique A. Kumar and J. Henkel. 2013. Mapping on multi\/many-core systems: Survey of current and emerging trends. In DAC. 1--10. A. K. Singh M. Shafique A. Kumar and J. Henkel. 2013. Mapping on multi\/many-core systems: Survey of current and emerging trends. In DAC. 1--10.","DOI":"10.1145\/2463209.2488734"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1338441.1338677"},{"key":"e_1_2_1_34_1","article-title":"The worst-case execution-time problem\u2014Overview of methods and survey of tools","volume":"7","author":"Wilhelm R.","year":"2008","unstructured":"R. Wilhelm , J. Engblom , A. Ermedahl , and others. 2008 . The worst-case execution-time problem\u2014Overview of methods and survey of tools . Transactions on Embedded Computing Systems (TECS) 7 , 3 (2008). R. Wilhelm, J. Engblom, A. Ermedahl, and others. 2008. The worst-case execution-time problem\u2014Overview of methods and survey of tools. Transactions on Embedded Computing Systems (TECS) 7, 3 (2008).","journal-title":"Transactions on Embedded Computing Systems (TECS)"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.32"},{"key":"e_1_2_1_36_1","unstructured":"H. Yun G. Yao Rodolfo Pellizzoni M. Caccamo and L. Sha. 2013. MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. In RTAS. 55--64. H. Yun G. Yao Rodolfo Pellizzoni M. Caccamo and L. Sha. 2013. MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. In RTAS. 55--64."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110222","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3110222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T01:19:47Z","timestamp":1750900787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3110222"}},"subtitle":["DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems"],"short-title":[],"issued":{"date-parts":[[2017,10,5]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3110222"],"URL":"https:\/\/doi.org\/10.1145\/3110222","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,5]]},"assertion":[{"value":"2017-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}