{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T16:20:51Z","timestamp":1781713251047,"version":"3.54.5"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,5,25]],"date-time":"2017-05-25T00:00:00Z","timestamp":1495670400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s11241-017-9277-4","type":"journal-article","created":{"date-parts":[[2017,5,25]],"date-time":"2017-05-25T10:54:09Z","timestamp":1495709649000},"page":"614-667","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Isolation scheduling on multicores: model and scheduling approaches"],"prefix":"10.1007","volume":"53","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8739-3051","authenticated-orcid":false,"given":"Georgia","family":"Giannopoulou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pengcheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rehan","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide B.","family":"Bartolini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,5,25]]},"reference":[{"key":"9277_CR1","doi-asserted-by":"crossref","unstructured":"Abeni L, Buttazzo G (1998) Integrating multimedia applications in hard real-time systems. In: RTSS, pp 4\u201313","DOI":"10.1109\/REAL.1998.739726"},{"key":"9277_CR2","unstructured":"Altmeyer S, Douma R, Lunniss W, Davis RI (2014) Evaluation of cache partitioning for hard real-time systems. In ECRTS, pp 15\u201326"},{"key":"9277_CR3","unstructured":"Anderson J, Baruah S, Brandenburg B (2009) Multicore operating-system support for mixed criticality. In: Workshop on mixed criticality: roadmap to evolving UAV certification"},{"key":"9277_CR4","unstructured":"ARINC (2003) ARINC 653-1 avionics application software standard interface. Technical report"},{"key":"9277_CR5","doi-asserted-by":"crossref","unstructured":"Baruah S, Bonifaci V, D\u2019Angelo G, Li H, Marchetti-Spaccamela A, van\u00a0der Ster S, Stougie L (2012) The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In: ECRTS, pp 145\u2013154","DOI":"10.1109\/ECRTS.2012.42"},{"key":"9277_CR6","unstructured":"Baruah S, Burns A (2014) Achieving temporal isolation in multiprocessor mixed-criticality systems. In: WMC, pp 21\u201326"},{"key":"9277_CR7","doi-asserted-by":"crossref","unstructured":"Baruah S, Burns A, Guo Z (2016) Scheduling mixed-criticality systems to guarantee some service under all non-erroneous behaviors. In: ECRTS, pp 131\u2013138","DOI":"10.1109\/ECRTS.2016.12"},{"issue":"1","key":"9277_CR8","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/s11241-013-9184-2","volume":"50","author":"S Baruah","year":"2014","unstructured":"Baruah S, Chattopadhyay B, Li H, Shin I (2014) Mixed-criticality scheduling on multiprocessors. Real-Time Syst. 50(1):142\u2013177","journal-title":"Real-Time Syst."},{"issue":"1","key":"9277_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008030427220","volume":"17","author":"S Baruah","year":"1999","unstructured":"Baruah S, Chen D, Gorinsky S, Mok A (1999) Generalized multiframe tasks. Real-Time Syst. 17(1):5\u201322","journal-title":"Real-Time Syst."},{"key":"9277_CR10","doi-asserted-by":"crossref","unstructured":"Baruah S, Eswaran A, Guo Z (2015) MC-fluid: simplified and optimally quantified. In: RTSS, pp 327\u2013337","DOI":"10.1109\/RTSS.2015.38"},{"key":"9277_CR11","doi-asserted-by":"crossref","unstructured":"Baruah SK, Bonifaci V, DAngelo G, Marchetti-Spaccamela A, Van Der\u00a0Ster S, Stougie L (2011) Mixed-criticality scheduling of sporadic task systems. In: European symposium on algorithms, Springer, Berlin, pp 555\u2013566","DOI":"10.1007\/978-3-642-23719-5_47"},{"key":"9277_CR12","doi-asserted-by":"crossref","unstructured":"Baruah SK, Cohen NK, Plaxton CG, Varvel DA (1993) Proportionate progress: A notion of fairness in resource allocation. In: STOC, pp 345\u2013354","DOI":"10.1145\/167088.167194"},{"key":"9277_CR13","doi-asserted-by":"crossref","unstructured":"Bini E, Bertogna M, Baruah S (2009) Virtual multiprocessor platforms: specification and use. In: RTSS, pp 437\u2013446","DOI":"10.1109\/RTSS.2009.35"},{"key":"9277_CR14","unstructured":"Burns A, Davis R (2015) Mixed criticality systems-a review"},{"key":"9277_CR15","doi-asserted-by":"crossref","unstructured":"Burns A, Fleming T, Baruah S (2015) Cyclic executives, multi-core platforms and mixed criticality applications. In: ECRTS, pp 3\u201312","DOI":"10.1109\/ECRTS.2015.8"},{"key":"9277_CR16","unstructured":"Chiou D, Jain P, Devadas S, Rudolph L (2000) Dynamic cache partitioning via columnization. In: DAC"},{"key":"9277_CR17","doi-asserted-by":"crossref","unstructured":"Dasari D, Akesson B, NTlis V, Awan MA, Petters SM (2013) Identifying the sources of unpredictability in COTS-based multicore systems. In: SIES, pp 39\u201348","DOI":"10.1109\/SIES.2013.6601469"},{"key":"9277_CR18","doi-asserted-by":"crossref","unstructured":"de\u00a0Niz D, Phan LTX (2014) Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms. In: RTAS, pp 111\u2013122","DOI":"10.1109\/RTAS.2014.6925995"},{"issue":"1","key":"9277_CR19","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/s11241-013-9187-z","volume":"50","author":"P Ekberg","year":"2013","unstructured":"Ekberg P, Yi W (2013) Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-Time Syst. 50(1):48\u201386","journal-title":"Real-Time Syst."},{"key":"9277_CR20","doi-asserted-by":"crossref","unstructured":"Esmaeilzadeh H, Blem E, Amant RS, Sankaralingam K, Burger D (2011) Dark silicon and the end of multicore scaling. In: ISCA, pp 365\u2013376","DOI":"10.1145\/2000064.2000108"},{"key":"9277_CR21","unstructured":"Fleming T, Burns A (2013) Extending mixed criticality scheduling. In: WMC, RTSS, pp 7\u201312"},{"key":"9277_CR22","doi-asserted-by":"crossref","unstructured":"Flodin J, Lampka K, Yi W (2014) Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. In: SIES, pp 151\u2013159","DOI":"10.1109\/SIES.2014.6871199"},{"issue":"3","key":"9277_CR23","doi-asserted-by":"crossref","first-page":"399","DOI":"10.4153\/CJM-1956-045-5","volume":"8","author":"LR Ford","year":"1956","unstructured":"Ford LR, Fulkerson DR (1956) Maximal flow through a network. Can J Math 8(3):399\u2013404","journal-title":"Can J Math"},{"key":"9277_CR24","doi-asserted-by":"crossref","unstructured":"Giannopoulou G, Lampka K, Stoimenov N, Thiele L (2012) Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. In: EMSOFT, pp 63\u201372","DOI":"10.1145\/2380356.2380372"},{"key":"9277_CR25","doi-asserted-by":"crossref","unstructured":"Giannopoulou G, Stoimenov N, Huang P, Thiele L (2013) Scheduling of mixed-criticality applications on resource-sharing multicore systems. In: EMSOFT, pp 1\u201315","DOI":"10.1109\/EMSOFT.2013.6658595"},{"key":"9277_CR26","unstructured":"Giannopoulou G, Stoimenov N, Huang P, Thiele L (2014) Mapping mixed-criticality applications on multi-core architectures. In: DATE, pp 1\u20136"},{"issue":"4","key":"9277_CR27","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11241-015-9227-y","volume":"52","author":"G Giannopoulou","year":"2016","unstructured":"Giannopoulou G, Stoimenov N, Huang P, Thiele L, de Dinechin BD (2016) Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources. Real-Time Syst 52(4):399\u2013449","journal-title":"Real-Time Syst"},{"key":"9277_CR28","unstructured":"Goossens J, Berten V (2010) Gang FTP scheduling of periodic and parallel rigid real-time tasks. arXiv:1006.2617"},{"key":"9277_CR29","doi-asserted-by":"crossref","unstructured":"Goossens S, Akesson B, Goossens K (2013) Conservative open-page policy for mixed time-criticality memory controllers. In: DATE, pp 525\u2013530","DOI":"10.7873\/DATE.2013.118"},{"key":"9277_CR30","unstructured":"Gu C, Guan N, Deng Q, Yi W (2014) Partitioned mixed-criticality scheduling on multiprocessor platforms. In: DATE, pp 1\u20136"},{"key":"9277_CR31","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Horowitz B, Kirsch CM (200) Giotto: a time-triggered language for embedded programming. In: Embedded software, volume 2211 of LNCS, pp 166\u2013184","DOI":"10.1007\/3-540-45449-7_12"},{"key":"9277_CR32","doi-asserted-by":"crossref","unstructured":"Herter J, Backes P, Haupenthal F, Reineke J (2011) CAMA: Akim predictable cache-aware memory allocator. In: ECRTS, pp 23\u201332","DOI":"10.1109\/ECRTS.2011.11"},{"key":"9277_CR33","doi-asserted-by":"crossref","unstructured":"Huang P, Giannopoulou G, Ahmed R, Bartolini DB, Thiele L (2015) An isolation scheduling model for multicores. In: RTSS, pp 141\u2013152","DOI":"10.1109\/RTSS.2015.21"},{"key":"9277_CR34","doi-asserted-by":"crossref","unstructured":"Huang P, Giannopoulou G, Stoimenov N, Thiele L (2014) Service adaptions for mixed-criticality systems. In: ASP-DAC, pp 125\u2013130","DOI":"10.1109\/ASPDAC.2014.6742877"},{"key":"9277_CR35","unstructured":"ISO 26262 (2011) Road vehicles\u2014functional safety"},{"key":"9277_CR36","doi-asserted-by":"crossref","unstructured":"Kato S, Ishikawa Y (2009) Gang EDF scheduling of parallel task systems. In: RTSS, pp 459\u2013468","DOI":"10.1109\/RTSS.2009.42"},{"key":"9277_CR37","doi-asserted-by":"crossref","unstructured":"Kelly OR, Aydin H, Zhao B (2011) On partitioned scheduling of fixed-priority mixed-criticality task sets. In: TrustCom, pp 1051\u20131059","DOI":"10.1109\/TrustCom.2011.144"},{"key":"9277_CR38","doi-asserted-by":"crossref","unstructured":"Kim H, Kandhalu A, Rajkumar R (2013) A coordinated approach for practical OS-level cache management in multi-core real-time systems. In: ECRTS, pp 80\u201389","DOI":"10.1109\/ECRTS.2013.19"},{"key":"9277_CR39","doi-asserted-by":"crossref","unstructured":"Kim JE, Yoon MK, Bradford R, Sha L (2014) Integrated modular avionics (IMA) partition scheduling with conflict-free I\/O for multicore avionics systems. In: COMPSAC, pp 321\u2013331","DOI":"10.1109\/COMPSAC.2014.54"},{"key":"9277_CR40","doi-asserted-by":"crossref","unstructured":"Kim N, Ward BC, Chisholm M, Fu CY, et\u00a0al. (2016) Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning. In: RTAS, pp 1\u201312","DOI":"10.1109\/RTAS.2016.7461323"},{"key":"9277_CR41","doi-asserted-by":"crossref","unstructured":"Kirk D (1989) SMART (strategic memory allocation for real-time) cache design. In: RTSS, pp 229\u2013237","DOI":"10.1109\/REAL.1989.63574"},{"key":"9277_CR42","doi-asserted-by":"crossref","unstructured":"Lee J, Phan KM, Gu X, Lee J, Easwaran A, Shin I, Lee I (2014) Mc-fluid: fluid model-based mixed-criticality scheduling on multiprocessors. In: RTSS, pp 41\u201352","DOI":"10.1109\/RTSS.2014.32"},{"key":"9277_CR43","doi-asserted-by":"crossref","unstructured":"Levin G, Funk S, Sadowski C, Pye I, Brandt S (2010) DP-FAIR: a simple model for understanding optimal multiprocessor scheduling. In: ECRTS, pp 3\u201313","DOI":"10.1109\/ECRTS.2010.34"},{"key":"9277_CR44","doi-asserted-by":"crossref","unstructured":"Mancuso R, Dudko R, Betti E, Cesati M, Caccamo M, Pellizzoni R (2013) Real-time cache management framework for multi-core architectures. In: RTAS, pp 45\u201354","DOI":"10.1109\/RTAS.2013.6531078"},{"key":"9277_CR45","doi-asserted-by":"crossref","unstructured":"Mok AK, Feng X, Chen D (2001) Resource partition for real-time systems. In: RTAS, pp 75\u201384","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"9277_CR46","doi-asserted-by":"crossref","unstructured":"Mollison M, Erickson J, Anderson J, Baruah S, Scoredos J et\u00a0al. (2010) Mixed-criticality real-time scheduling for multicore systems. In: ICCIT, pp 1864\u20131871","DOI":"10.1109\/CIT.2010.320"},{"issue":"4","key":"9277_CR47","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/7.4.308","volume":"7","author":"JA Nelder","year":"1965","unstructured":"Nelder JA, Mead R (1965) A simplex method for function minimization. Comput J 7(4):308\u2013313","journal-title":"Comput J"},{"key":"9277_CR48","doi-asserted-by":"crossref","unstructured":"Paolieri M, Qui\u00f1ones E, Cazorla FJ, Bernat G, Valero M (2009) Hardware support for WCET analysis of hard real-time multicore systems. In: ISCA, pp 57\u201368","DOI":"10.1145\/1555754.1555764"},{"key":"9277_CR49","doi-asserted-by":"crossref","unstructured":"Paulitsch M, Duarte OM, Karray H, Mueller K, Muench D, Nowotsch J (2015) Mixed-criticality embedded systems\u2014a balance ensuring partitioning and performance. In: DSD, pp 453\u2013461","DOI":"10.1109\/DSD.2015.100"},{"key":"9277_CR50","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Schranzhofer A, Chen JJ, Caccamo M, Thiele L (2010) Worst case delay analysis for memory interference in multicore systems. In: DATE, Dresden, Germany, pp 741\u2013746","DOI":"10.1109\/DATE.2010.5456952"},{"key":"9277_CR51","doi-asserted-by":"crossref","unstructured":"Reineke J, Liu I, Patel HD, Kim S, Lee EA (2011) PRET DRAM controller: bank privatization for predictability and temporal isolation. In; CODES+ISSS, pp 99\u2013108","DOI":"10.1145\/2039370.2039388"},{"key":"9277_CR52","unstructured":"RTCA\/DO-178C (2011) Software considerations in airborne systems and equipment certification"},{"key":"9277_CR53","unstructured":"Rushby, J (1999) Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical Report NASA Contractor Report CR-1999-209347, NASA Langley Research Center"},{"key":"9277_CR54","doi-asserted-by":"crossref","unstructured":"Santy F, George L, Thierry P, Goossens J (2012) Relaxing mixed-criticality scheduling strictness for task sets scheduled with FP. In: ECRTS, pp 155\u2013165","DOI":"10.1109\/ECRTS.2012.39"},{"key":"9277_CR55","unstructured":"Sedgewick R, Wayne K (2007) Algorithms and data structures. Princeton University, COS 226"},{"key":"9277_CR56","unstructured":"Sha L, Caccamo M, Mancuso R, Kim JE, Yoon MK, Pellizzoni R, Yun H et\u00a0al. (2014) Single core equivalent virtual machines for hard real-time computing on multicore processors. Technical report, University of Illinois at Urbana-Champaign"},{"key":"9277_CR57","doi-asserted-by":"crossref","unstructured":"Shin I, Easwaran A, Lee I (2008) Hierarchical scheduling framework for virtual clustering of multiprocessors. In: ECRTS, pp 181\u2013190","DOI":"10.1109\/ECRTS.2008.28"},{"key":"9277_CR58","unstructured":"Shin I, Lee I (2003) Periodic resource model for compositional real-time guarantees. In: RTSS, pp 2\u201313"},{"key":"9277_CR59","unstructured":"Shin I, Lee I (2004)Compositional real-time scheduling framework. In: RTSS, pp 57\u201367"},{"key":"9277_CR60","doi-asserted-by":"crossref","unstructured":"Suhendra V, Mitra T (2008) Exploring locking & partitioning for predictable shared caches on multi-cores. In: DAC, pp 300\u2013303","DOI":"10.1145\/1391469.1391545"},{"key":"9277_CR61","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: ISCAS, vol. 4, pp 101\u2013104","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"9277_CR62","doi-asserted-by":"crossref","unstructured":"Tobuschat S, Axer P, Ernst R, Diemer J (2013) Idamc: a noc for mixed criticality systems. In: RTCSA, pp 149\u2013156","DOI":"10.1109\/RTCSA.2013.6732214"},{"key":"9277_CR63","doi-asserted-by":"crossref","unstructured":"T\u0103ma\u015f-Selicean D, Pop P (2015) Design optimization of mixed-criticality real-time embedded systems. In: ACM TECS, 14(3):50:1\u201350:29","DOI":"10.1145\/2700103"},{"key":"9277_CR64","doi-asserted-by":"crossref","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: RTSS, pp 239\u2013243","DOI":"10.1109\/RTSS.2007.47"},{"key":"9277_CR65","doi-asserted-by":"crossref","unstructured":"Wandeler E, Thiele L (2005) Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In: EMSOFT, pp 80\u201389","DOI":"10.1145\/1086228.1086246"},{"key":"9277_CR66","unstructured":"Wandeler E, Thiele L (2006) Optimal TDMA time slot and cycle length allocation for hard real-time systems. In: ASP-DAC, pp 479\u2013484"},{"key":"9277_CR67","unstructured":"Wandeler E, Thiele L (2006) Real-time calculus (RTC) toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox"},{"key":"9277_CR68","unstructured":"Ward BC, Herman JL, Kenna CJ, Anderson JH (2013) Making shared caches more predictable on multicore platforms. In: ECRTS, pp 157\u2013167"},{"key":"9277_CR69","doi-asserted-by":"crossref","unstructured":"Wu ZP, Krish Y, Pellizzoni R (2013) Worst case analysis of DRAM latency in multi-requestor systems. In: RTSS, pp 372\u2013383","DOI":"10.1109\/RTSS.2013.44"},{"key":"9277_CR70","doi-asserted-by":"crossref","unstructured":"Yun H, Mancuso R, Wu ZP, Pellizzoni R (2014) PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms. In: RTAS, pp 155\u2013166","DOI":"10.1109\/RTAS.2014.6925999"},{"key":"9277_CR71","doi-asserted-by":"crossref","unstructured":"Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L (2012) Memory access control in multiprocessor for real-time systems with mixed criticality. In: ECRTS, pp 299\u2013308","DOI":"10.1109\/ECRTS.2012.32"},{"issue":"3","key":"9277_CR72","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TPDS.2003.1189582","volume":"14","author":"Y Zhang","year":"2003","unstructured":"Zhang Y, Franke H, Moreira J, Sivasubramaniam A (2003) An integrated approach to parallel scheduling using gang-scheduling, backfilling, and migration. IEEE Trans Parallel Distrib Syst 14(3):236\u2013247","journal-title":"IEEE Trans Parallel Distrib Syst"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-017-9277-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9277-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9277-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T22:03:10Z","timestamp":1569362590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-017-9277-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,25]]},"references-count":72,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["9277"],"URL":"https:\/\/doi.org\/10.1007\/s11241-017-9277-4","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,25]]}}}