{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:43:27Z","timestamp":1761324207372,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T00:00:00Z","timestamp":1551312000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"MoE Tier-2 grant, Singapore","award":["MOE2013- T2-2-029"],"award-info":[{"award-number":["MOE2013- T2-2-029"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s11241-019-09330-2","type":"journal-article","created":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T09:10:29Z","timestamp":1551345029000},"page":"552-597","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Dynamic budget management and budget reclamation for mixed-criticality systems"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7948-7672","authenticated-orcid":false,"given":"Xiaozhe","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arvind","family":"Easwaran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,28]]},"reference":[{"key":"9330_CR1","doi-asserted-by":"crossref","unstructured":"Baruah S, Fohler G (2011) Certification-cognizant time-triggered scheduling of mixed-criticality systems. In: Proceedings of the IEEE real-time systems symposium, pp 3\u201312","DOI":"10.1109\/RTSS.2011.9"},{"key":"9330_CR2","doi-asserted-by":"crossref","unstructured":"Baruah S, Guo Z (2013) Mixed-criticality scheduling upon varying-speed processors. In: Proceedings of the IEEE real-time systems symposium, IEEE, pp 68\u201377","DOI":"10.1109\/RTSS.2013.15"},{"key":"9330_CR3","doi-asserted-by":"crossref","unstructured":"Baruah S, Guo Z (2014) Scheduling mixed-criticality implicit-deadline sporadic task systems upon a varying-speed processor. In: 2014 IEEE, real-time systems symposium (RTSS), IEEE, pp 31\u201340","DOI":"10.1109\/RTSS.2014.15"},{"key":"9330_CR4","doi-asserted-by":"crossref","unstructured":"Baruah S, Burns A, Davis R (2011) Response-time analysis for mixed criticality systems. In: Proceedings of the IEEE real-time systems symposium, pp 34\u201343","DOI":"10.1109\/RTSS.2011.12"},{"key":"9330_CR5","doi-asserted-by":"crossref","unstructured":"Baruah S, Bonifaci V, D\u201dAngelo G, Li H, Marchetti-Spaccamela A (2012a) The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In: Proceedings of the Euromicro conference on real-time systems","DOI":"10.1109\/ECRTS.2012.42"},{"key":"9330_CR6","doi-asserted-by":"crossref","unstructured":"Baruah S, Bonifaci V, D\u2019Angelo G, Li H, Marchetti-Spaccamela A, Megow N, Stougie L (2012b) Scheduling real-time mixed-criticality jobs. IEEE Trans Comput 61(8):1140\u20131152","DOI":"10.1109\/TC.2011.142"},{"key":"9330_CR7","doi-asserted-by":"crossref","unstructured":"Bate I, Burns A, Davis RI (2015) A bailout protocol for mixed criticality systems. In: Proceedings of the Euromicro conference on real-time systems, pp 259\u2013268","DOI":"10.1109\/ECRTS.2015.30"},{"key":"9330_CR8","unstructured":"Burns A (2015) An augmented model for mixed criticality. In: Mixed critical-ity on multicore\/manycore platforms (Dagstuhl Seminar 15121), volume 5, Dagstuhl"},{"key":"9330_CR9","unstructured":"Burns A, Baruah S (2013) Towards a more practical model for mixed-criticality systems. In: Proceedings of workshop on mixed-criticality systems"},{"key":"9330_CR10","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen TH (2009) Introduction to algorithms. MIT Press, London"},{"key":"9330_CR11","doi-asserted-by":"crossref","unstructured":"Davis RI, Tindell KW, Burns A (1993) Scheduling slack time in fixed priority pre-emptive systems. In: Proceedings of IEEE real-time systems symposium, IEEE, pp 222\u2013231","DOI":"10.1109\/REAL.1993.393496"},{"key":"9330_CR12","doi-asserted-by":"crossref","unstructured":"Easwaran A (2013) Demand-based scheduling of mixed-criticality sporadic tasks on one processor. In: Proceedings of the IEEE real-time systems symposium, pp 78\u201387","DOI":"10.1109\/RTSS.2013.16"},{"key":"9330_CR13","unstructured":"Ekberg P, Yi W (2012) Bounding and shaping the demand of mixed-criticality sporadic tasks. In: Proceedings of the Euromicro conference on real-time systems, pp 135\u2013144"},{"key":"9330_CR14","unstructured":"Fleming T, Burns A (2014) Incorporating the notion of importance into mixed criticality systems. In: Proceedings of workshop on mixed criticality systems, p 33"},{"key":"9330_CR15","doi-asserted-by":"publisher","unstructured":"Gettings O, Quinton S, Davis RI (2015) Mixed criticality systems with weakly-hard constraints. In: Proceedings of the 23rd international conference on real time and networks systems, ACM, New York, NY, USA, RTNS \u201915, pp 237\u2013246, \n                    https:\/\/doi.org\/10.1145\/2834848.2834850\n                    \n                  , URL\n                    http:\/\/doi.acm.org\/10.1145\/2834848.2834850","DOI":"10.1145\/2834848.2834850"},{"key":"9330_CR16","doi-asserted-by":"crossref","unstructured":"Gu X, Easwaran A (2016) Dynamic budget management with service guarantees for mixed-criticality systems. In: Proceedings of the IEEE real-time systems symposium, IEEE, pp 47\u201356","DOI":"10.1109\/RTSS.2016.014"},{"key":"9330_CR17","doi-asserted-by":"crossref","unstructured":"Gu X, Easwaran A, Phan KM, Shin I (2015) Resource efficient isolation mechanisms in mixed-criticality scheduling. In: Proceedings of the Euromicro conference on real-time systems, pp 13\u201324","DOI":"10.1109\/ECRTS.2015.9"},{"key":"9330_CR18","doi-asserted-by":"crossref","unstructured":"Guan N, Ekberg P, Stigge M, Yi W (2011) Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems. In: Proceedings of the IEEE real-time systems symposium, pp 13\u201323","DOI":"10.1109\/RTSS.2011.10"},{"key":"9330_CR19","doi-asserted-by":"crossref","unstructured":"Guo Z, Santinelli L, Yang K (2015) Edf schedulability analysis on mixed-criticality systems with permitted failure probability. In: Proceedings of the IEEE international conference on embedded and real-time computing systems and applications, IEEE, pp 187\u2013196","DOI":"10.1109\/RTCSA.2015.8"},{"key":"9330_CR20","unstructured":"Huang P, Kumar P, Stoimenov N, Thiele L (2013) Interference constraint grapha new specification for mixed-criticality systems. In: IEEE conference on emerging technologies & factory automation (ETFA), pp 1\u20138"},{"key":"9330_CR21","doi-asserted-by":"crossref","unstructured":"Huang P, Giannopoulou G, Stoimenov N, Thiele L (2014a) Service adaptions for mixed-criticality systems. In: In Proceedings of the Asia and South Pacific design automation conference (ASP-DAC)","DOI":"10.1109\/ASPDAC.2014.6742877"},{"key":"9330_CR22","doi-asserted-by":"crossref","unstructured":"Huang P, Kumar P, Giannopoulou G, Thiele L (2014b) Energy efficient dvfs scheduling for mixed-criticality systems. In: Proceedings of the IEEE & ACM international conference on embedded software, IEEE, pp 1\u201310","DOI":"10.1145\/2656045.2656057"},{"key":"9330_CR23","doi-asserted-by":"crossref","unstructured":"Huang P, Kumar P, Giannopoulou G, Thiele L (2015) Run and be safe: mixed-criticality scheduling with temporary processor speedup. In: Design, automation & test in Europe conference & exhibition (DATE), 2015, IEEE, pp 1329\u20131334","DOI":"10.7873\/DATE.2015.1059"},{"key":"9330_CR24","unstructured":"Jan M, Zaourar L, Pitel M (2013) Maximizing the execution rate of low-criticality tasks in mixed criticality system. In: Proceedings of workshop on mixed-criticality systems"},{"key":"9330_CR25","doi-asserted-by":"publisher","first-page":"163:1","DOI":"10.1145\/3126498","volume":"16","author":"J Lee","year":"2017","unstructured":"Lee J, Chwa HS, Phan LTX, Shin I, Lee I (2017) Mc-adapt: adaptive task dropping in mixed-criticality scheduling. ACM Trans Embedded Comput Syst 16:163:1\u2013163:21","journal-title":"ACM Trans Embedded Comput Syst"},{"key":"9330_CR26","doi-asserted-by":"crossref","unstructured":"Liu D, Spasic J, Guan N, Chen G, Liu S, Stefanov T, Yi W (2016) Edf-vd scheduling of mixed-criticality systems with degraded quality guarantees. In: Proceedings of the IEEE real-time systems symposium, pp 35\u201346","DOI":"10.1109\/RTSS.2016.013"},{"key":"9330_CR27","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1109\/TC.2018.2789879","volume":"67","author":"D Liu","year":"2018","unstructured":"Liu D, Guan N, Spasic J, Chen G, Liu S, Stefanov T, Yi W (2018) Scheduling analysis of imprecise mixed-criticality real-time tasks. IEEE Trans Comput 67:975\u2013991","journal-title":"IEEE Trans Comput"},{"key":"9330_CR28","doi-asserted-by":"crossref","unstructured":"Prisaznuk PJ (1992) Integrated modular avionics. In: Proceedings of the IEEE National Aerospace and Electronics Conference, IEEE, pp 39\u201345","DOI":"10.1109\/NAECON.1992.220669"},{"key":"9330_CR29","doi-asserted-by":"crossref","unstructured":"Ren J, Phan LTX (2015) Mixed-criticality scheduling on multiprocessors using task grouping. In: Proceedings of the Euromicro conference on real-time systems, IEEE, pp 25\u201334","DOI":"10.1109\/ECRTS.2015.10"},{"key":"9330_CR30","unstructured":"Sanjoy\u00a0Baruah AB, Guo Z (2016) Scheduling mixed-criticality systems to guarantee some service under all non-erroneous behaviors. In: 28th Euromicro conference on real-time systems, pp 131\u2013138"},{"key":"9330_CR31","doi-asserted-by":"publisher","unstructured":"Santy F, Raravi G, Nelissen G, Nelis V, Kumar P, Goossens J, Tovar E (2013) Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems. In: Proceedings of the 21st international conference on real-time networks and systems, ACM, New York, NY, USA, RTNS \u201913, pp 183\u2013192, \n                    https:\/\/doi.org\/10.1145\/2516821.2516834\n                    \n                  , URL\n                    http:\/\/doi.acm.org\/10.1145\/2516821.2516834","DOI":"10.1145\/2516821.2516834"},{"key":"9330_CR32","doi-asserted-by":"crossref","unstructured":"Su H, Zhu D (2013) An elastic mixed-criticality task model and its scheduling algorithm. In: Proceedings of the conference on design, automation and test in Europe, EDA Consortium, San Jose, CA, USA, DATE \u201913, pp 147\u2013152, \n                    http:\/\/dl.acm.org\/citation.cfm?id=2485288.2485325","DOI":"10.7873\/DATE.2013.043"},{"key":"9330_CR33","doi-asserted-by":"crossref","unstructured":"Su H, Guan N, Zhu D (2014) Service guarantee exploration for mixed-criticality systems. In: Proceedings of the IEEE international conference on embedded and real-time computing systems and applications, pp 1\u201310","DOI":"10.1109\/RTCSA.2014.6910499"},{"key":"9330_CR34","unstructured":"Tindell K, Alonso A (1996) A very simple protocol for mode changes in priority preemptive systems. In: Technical report, Universidad Politecnica de Madrid"},{"key":"9330_CR35","doi-asserted-by":"crossref","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the IEEE real-time systems symposium","DOI":"10.1109\/RTSS.2007.47"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-019-09330-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-019-09330-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-019-09330-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,27]],"date-time":"2020-02-27T19:10:09Z","timestamp":1582830609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-019-09330-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,28]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["9330"],"URL":"https:\/\/doi.org\/10.1007\/s11241-019-09330-2","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2019,2,28]]},"assertion":[{"value":"28 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}