{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:39:55Z","timestamp":1774539595962,"version":"3.50.1"},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T00:00:00Z","timestamp":1570492800000},"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":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>In mixed-criticality systems, tasks of different criticality share system resources, mainly to reduce cost. Cost is further reduced by using adaptive mode-based scheduling arrangements, such as Vestal\u2019s model, to improve resource efficiency, while guaranteeing schedulability of critical functionality. To simplify safety certification, servers are often used to provide temporal isolation between tasks. In its simplest form, a server is a periodically recurring time window, in which some tasks are scheduled. A server\u2019s computational requirements may greatly vary in different modes, although state-of-the-art techniques and schedulability tests do not allow different budgets to be used by a server in different modes. This results in a single conservative execution budget for all modes, increasing system cost.<\/jats:p>\n          <jats:p>The goal of this paper is to reduce the cost of mixed-criticality systems through three main contributions: (i)\u00a0a scheduling arrangement for uniprocessor systems employing fixed-priority scheduling within periodic servers, whose budgets are dynamically adjusted at run-time in the event of a mode change, (ii)\u00a0a new schedulability analysis for such systems, and (iii)\u00a0heuristic algorithms for assigning budgets to servers in different modes and ordering the execution of the servers. Experiments with synthetic task sets demonstrate considerable improvements (up to 52.8%) in scheduling success ratio when using dynamic server budgets vs. static \u201cone-size-fits-all-modes\u201d budgets.<\/jats:p>","DOI":"10.1145\/3358234","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T13:13:05Z","timestamp":1570713185000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets"],"prefix":"10.1145","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5817-2284","authenticated-orcid":false,"given":"Muhammad Ali","family":"Awan","sequence":"first","affiliation":[{"name":"CISTER Research Centre and ISEP\/IPP, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3640-0239","authenticated-orcid":false,"given":"Konstantinos","family":"Bletsas","sequence":"additional","affiliation":[{"name":"CISTER Research Centre and ISEP\/IPP, Porto, Portugal"}]},{"given":"Pedro F.","family":"Souto","sequence":"additional","affiliation":[{"name":"University of Porto, Faculty of Engineering and CISTER Research Centre, Porto, Portugal"}]},{"given":"Benny","family":"Akesson","sequence":"additional","affiliation":[{"name":"ESI (TNO), Eindhoven and University of Amsterdam, Eindhoven, the Netherlands"}]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[{"name":"CISTER Research Centre and ISEP\/IPP, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2016. Certification Authorities Software Team (CAST) Position Paper (CAST-32A) Multicore Processors.  2016. Certification Authorities Software Team (CAST) Position Paper (CAST-32A) Multicore Processors."},{"key":"e_1_2_1_2_1","unstructured":"AERONAUTICAL RADIO INC. 2010. Avionics application software standard interface part 1 required services (ARINC SPECIFICATION 653P1-3 ed.). AERONAUTICAL RADIO INC.  AERONAUTICAL RADIO INC. 2010. Avionics application software standard interface part 1 required services (ARINC SPECIFICATION 653P1-3 ed.). AERONAUTICAL RADIO INC."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 30th International Conference Architecture of Computing Systems. 205--218","author":"Awan M. A.","unstructured":"M. A. Awan , K. Bletsas , P. F. Souto , and E. Tovar . 2017. Semi-partitioned mixed-criticality scheduling . In Proceedings of the 30th International Conference Architecture of Computing Systems. 205--218 . M. A. Awan, K. Bletsas, P. F. Souto, and E. Tovar. 2017. Semi-partitioned mixed-criticality scheduling. In Proceedings of the 30th International Conference Architecture of Computing Systems. 205--218."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9322-y"},{"key":"e_1_2_1_5_1","volume-title":"16th Ada-Europe Conf. 174--188","author":"Baruah S. K.","unstructured":"S. K. Baruah and A. Burns . 2011. Implementing mixed criticality systems in Ada . In 16th Ada-Europe Conf. 174--188 . S. K. Baruah and A. Burns. 2011. Implementing mixed criticality systems in Ada. In 16th Ada-Europe Conf. 174--188."},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 32nd IEEE Real-Time Systems Symposium. 34--43","author":"Baruah S. K.","unstructured":"S. K. Baruah , A. Burns , and R. I. Davis . 2011. Response-time analysis for mixed criticality systems . In Proceedings of the 32nd IEEE Real-Time Systems Symposium. 34--43 . S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-time analysis for mixed criticality systems. In Proceedings of the 32nd IEEE Real-Time Systems Symposium. 34--43."},{"key":"e_1_2_1_7_1","volume-title":"6th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 33--44","author":"Bastoni A.","unstructured":"A. Bastoni , B. Brandenburg , and J. H. Anderson . 2010. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability . In 6th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 33--44 . A. Bastoni, B. Brandenburg, and J. H. Anderson. 2010. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. In 6th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 33--44."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 52nd Design Automation Conference. 1--6.","author":"Beckert M.","unstructured":"M. Beckert and R. Ernst . 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence . In Proceedings of the 52nd Design Automation Conference. 1--6. M. Beckert and R. Ernst. 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence. In Proceedings of the 52nd Design Automation Conference. 1--6."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126559"},{"key":"e_1_2_1_10_1","first-page":"1","article-title":"Measuring the performance of schedulability tests","volume":"30","author":"Bini E.","year":"2009","unstructured":"E. Bini and G. C. Buttazzo . 2009 . Measuring the performance of schedulability tests . Journal of Real--Time Systems 30 , 1 \u2013 2 (2009), 129--154. E. Bini and G. C. Buttazzo. 2009. Measuring the performance of schedulability tests. Journal of Real--Time Systems 30, 1\u20132 (2009), 129--154.","journal-title":"Journal of Real--Time Systems"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 6th Workshop on Mixed-Criticality Systems. 25--30","author":"Bletsas K.","unstructured":"K. Bletsas , M. A. Awan , P. F. Souto , B. Akesson , A. Burns , and E. Tovar . 2018. De-coupling criticality and importance in mixed-criticality scheduling . In Proceedings of the 6th Workshop on Mixed-Criticality Systems. 25--30 . K. Bletsas, M. A. Awan, P. F. Souto, B. Akesson, A. Burns, and E. Tovar. 2018. De-coupling criticality and importance in mixed-criticality scheduling. In Proceedings of the 6th Workshop on Mixed-Criticality Systems. 25--30."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 35rd IEEE Real-Time Systems Symposium. 21--30","author":"Burns A.","unstructured":"A. Burns and R. I. Davis . 2014. Adaptive mixed criticality scheduling with deferred preemption . In Proceedings of the 35rd IEEE Real-Time Systems Symposium. 21--30 . A. Burns and R. I. Davis. 2014. Adaptive mixed criticality scheduling with deferred preemption. In Proceedings of the 35rd IEEE Real-Time Systems Symposium. 21--30."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 25th Conference Real-Time and Networked Systems. 58--67","author":"Chisholm M.","unstructured":"M. Chisholm , N. Kim , S. Tang , N. Otterness , J. H. Anderson , F. D. Smith , and D. E. Porter . 2017. Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems . In Proceedings of the 25th Conference Real-Time and Networked Systems. 58--67 . M. Chisholm, N. Kim, S. Tang, N. Otterness, J. H. Anderson, F. D. Smith, and D. E. Porter. 2017. Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems. In Proceedings of the 25th Conference Real-Time and Networked Systems. 58--67."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 4th Workshop on Mixed-Criticality Systems.","author":"Evripidou C.","unstructured":"C. Evripidou and A. Burns . 2016. Scheduling for mixed-criticality hypervisor systems in the automotive domain . In Proceedings of the 4th Workshop on Mixed-Criticality Systems. C. Evripidou and A. Burns. 2016. Scheduling for mixed-criticality hypervisor systems in the automotive domain. In Proceedings of the 4th Workshop on Mixed-Criticality Systems."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 37rd IEEE Real-Time Systems Symposium. 47--56","author":"Gu X.","unstructured":"X. Gu and A. Easwaran . 2016. Dynamic budget management with service guarantees for mixed-criticality systems . In Proceedings of the 37rd IEEE Real-Time Systems Symposium. 47--56 . X. Gu and A. Easwaran. 2016. Dynamic budget management with service guarantees for mixed-criticality systems. In Proceedings of the 37rd IEEE Real-Time Systems Symposium. 47--56."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 27th Euromicro Conference on Real-Time Systems. 13--24","author":"Gu X.","unstructured":"X. Gu , A. Easwaran , K. Phan , and I. Shin . 2015. Resource efficient isolation mechanisms in mixed-criticality scheduling . In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 13--24 . X. Gu, A. Easwaran, K. Phan, and I. Shin. 2015. Resource efficient isolation mechanisms in mixed-criticality scheduling. In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 13--24."},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"F. Guan L. Peng L. Perneel H. Fayyad-Kazan and M. Timmerman. 2017. Adaptive reservation into mixed-criticality systems. Scientific Programming 2017 (2017).  F. Guan L. Peng L. Perneel H. Fayyad-Kazan and M. Timmerman. 2017. Adaptive reservation into mixed-criticality systems. Scientific Programming 2017 (2017).","DOI":"10.1155\/2017\/3403685"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 197--208","author":"Herman J. L.","unstructured":"J. L. Herman , C. J. Kenna , M. S. Mollison , J. H. Anderson , and D. M. Johnson . 2012. RTOS support for multicore mixed-criticality systems . In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 197--208 . J. L. Herman, C. J. Kenna, M. S. Mollison, J. H. Anderson, and D. M. Johnson. 2012. RTOS support for multicore mixed-criticality systems. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 197--208."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950058"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9323-x"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 23--32","author":"Huang H.-M.","unstructured":"H.-M. Huang , C. Gill , and C. Lu . 2012. Implementation and evaluation of mixed-criticality scheduling approaches for periodic tasks . In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 23--32 . H.-M. Huang, C. Gill, and C. Lu. 2012. Implementation and evaluation of mixed-criticality scheduling approaches for periodic tasks. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 23--32."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409","author":"Davis","unstructured":"Davis R. I. and Burns A . 2009. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems . In Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409 . Davis R. I. and Burns A. 2009. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-017-9272-9"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 31th Euromicro Conference on Real-Time Systems. 8:1--8:22","author":"Law Stephen","year":"2019","unstructured":"Stephen Law , Iain Bate , and Benjamin Lesage . 2019 . Industrial application of a partitioning scheduler to support mixed criticality systems . In Proceedings of the 31th Euromicro Conference on Real-Time Systems. 8:1--8:22 . Stephen Law, Iain Bate, and Benjamin Lesage. 2019. Industrial application of a partitioning scheduler to support mixed criticality systems. In Proceedings of the 31th Euromicro Conference on Real-Time Systems. 8:1--8:22."},{"key":"e_1_2_1_27_1","volume-title":"Workshop on Real-Time Systems: The Past, The Present, and the Future.","author":"Lipari G.","unstructured":"G. Lipari and G. C. Buttazzo . 2013. Resource reservation for mixed criticality systems . In Workshop on Real-Time Systems: The Past, The Present, and the Future. G. Lipari and G. C. Buttazzo. 2013. Resource reservation for mixed criticality systems. In Workshop on Real-Time Systems: The Past, The Present, and the Future."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 28th Euromicro Conference on Real-Time Systems. 120--130","author":"Missimer E.","unstructured":"E. Missimer , K. Missimer , and R. West . 2016. Mixed-criticality scheduling with I\/O . In Proceedings of the 28th Euromicro Conference on Real-Time Systems. 120--130 . E. Missimer, K. Missimer, and R. West. 2016. Mixed-criticality scheduling with I\/O. In Proceedings of the 28th Euromicro Conference on Real-Time Systems. 120--130."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 30th Euromicro Conference on Real-Time Systems. 14:1--14:22","author":"Papadopoulos Alessandro Vittorio","year":"2018","unstructured":"Alessandro Vittorio Papadopoulos , Enrico Bini , Sanjoy Baruah , and Alan Burns . 2018 . AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems . In Proceedings of the 30th Euromicro Conference on Real-Time Systems. 14:1--14:22 . Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy Baruah, and Alan Burns. 2018. AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems. 14:1--14:22."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.10"},{"key":"e_1_2_1_31_1","unstructured":"RTCA Inc. 2012. RTCA\/DO-178C. U.S. Dept. of Transportation Federal Aviation Administration.  RTCA Inc. 2012. RTCA\/DO-178C. U.S. Dept. of Transportation Federal Aviation Administration."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9204-x"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the 21st IEEE Conference on Embedded and Real-Time Computing and Applications. 110--121","author":"Souto P.","unstructured":"P. Souto , P. B. Sousa , R. I. Davis , K. Bletsas , and E. Tovar . 2015. Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers . In Proceedings of the 21st IEEE Conference on Embedded and Real-Time Computing and Applications. 110--121 . P. Souto, P. B. Sousa, R. I. Davis, K. Bletsas, and E. Tovar. 2015. Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers. In Proceedings of the 21st IEEE Conference on Embedded and Real-Time Computing and Applications. 110--121."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.11"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358234","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:07Z","timestamp":1750202587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,8]]},"references-count":35,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3358234"],"URL":"https:\/\/doi.org\/10.1145\/3358234","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,8]]},"assertion":[{"value":"2019-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-10-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}