{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:43:07Z","timestamp":1761324187590,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T00:00:00Z","timestamp":1542326400000},"content-version":"tdm","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":[[2019,4]]},"DOI":"10.1007\/s11241-018-9322-y","type":"journal-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T03:29:04Z","timestamp":1542338944000},"page":"248-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Uneven memory regulation for scheduling IMA applications on multi-core platforms"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5817-2284","authenticated-orcid":false,"given":"Muhammad Ali","family":"Awan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0822-3423","authenticated-orcid":false,"given":"Pedro F.","family":"Souto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2949-2080","authenticated-orcid":false,"given":"Benny","family":"Akesson","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3640-0239","authenticated-orcid":false,"given":"Konstantinos","family":"Bletsas","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8979-3876","authenticated-orcid":false,"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,16]]},"reference":[{"key":"9322_CR1","unstructured":"Avionics Application Software Standard Interface, Part 1, Required Services, ARINC SPECIFICATION653P1-3 ed., AERONAUTICAL RADIO, INC. (2010)"},{"key":"9322_CR2","unstructured":"Awan MA (2016) Source code. \n                    http:\/\/webpages.cister.isep.ipp.pt\/~maan\/MemoryReservation.zip"},{"key":"9322_CR3","doi-asserted-by":"crossref","unstructured":"Baruah S, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the 27th IEEE real-time systems symposium. pp 159\u2013168","DOI":"10.1109\/RTSS.2006.47"},{"key":"9322_CR4","doi-asserted-by":"crossref","unstructured":"Baruah S, Mok A, Rosier L (1990) Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Proceedings of the 11th IEEE real-time systems symposium","DOI":"10.1109\/REAL.1990.128746"},{"issue":"3","key":"9322_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/2544350.2544354","volume":"10","author":"M Behnam","year":"2013","unstructured":"Behnam M, Inam R, Nolte T, Sj\u00f6din M (2013) Multi-core composability in the face of memory-bus contention. ACM SIGBED Rev. 10(3):35\u201342","journal-title":"ACM SIGBED Rev."},{"issue":"1\u20132","key":"9322_CR6","first-page":"129","volume":"30","author":"E Bini","year":"2009","unstructured":"Bini E, Buttazzo G (2009) Measuring the performance of schedulability tests. J Real-Time Syst 30(1\u20132):129\u2013154","journal-title":"J Real-Time Syst"},{"key":"9322_CR7","unstructured":"Brandenburg B (2011) Scheduling and locking in multiprocessor real-time operating systems. Ph.D. Dissertation, Department of Computer Science University of North Carolina at Chapel Hill"},{"key":"9322_CR8","unstructured":"Certification authorities software team (cast), position paper (cast-32) multicore processors, Certification authorities in North and South America, Europe, and Asia (2014)"},{"key":"9322_CR9","unstructured":"Coelho PLC (2013) Linearization of the product of two variables. \n                    http:\/\/www.leandro-coelho.com\/linearization-product-variables\/"},{"key":"9322_CR10","unstructured":"Davis RI, 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. pp 398\u2013409"},{"key":"9322_CR11","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: 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES). pp 151\u2013159","DOI":"10.1109\/SIES.2014.6871199"},{"key":"9322_CR12","unstructured":"Grant M (2015) How to linearize this constraint a summation of a product of a integer with a binary. \n                    http:\/\/math.stackexchange.com\/questions\/1328817\/how-to-linearize-this-constraint-a-summation-of-a-product-of-a-integer-with-a-bi"},{"key":"9322_CR13","unstructured":"Inam R, Mahmud N, Behnam M, Nolte T, Sjodin M (2014) Multi-core composability in the face of memory-bus contention. In: Applications symposium"},{"key":"9322_CR14","volume-title":"Real-time systems","author":"J Liu","year":"2000","unstructured":"Liu J (2000) Real-time systems. Prentice Hall, New Jersey"},{"key":"9322_CR15","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: 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). pp 45\u201354","DOI":"10.1109\/RTAS.2013.6531078"},{"key":"9322_CR16","doi-asserted-by":"crossref","unstructured":"Mancuso R, Pellizzoni R, Caccamo M, Sha L, Yun H (2015) WCET(m) estimation in multi-core systems using single core equivalence. In: Proceedings of the 27th Euromicro conference on real-time systems. pp 174\u2013183","DOI":"10.1109\/ECRTS.2015.23"},{"key":"9322_CR17","doi-asserted-by":"crossref","unstructured":"Nowotsch J, Paulitsch M, Buhler D, Theiling H, Wegener S, Schmidt M, (July, (2014) Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement. In: 2014 26th Euromicro conference on IEEE real-time systems (ECRTS). pp 109\u2013118","DOI":"10.1109\/ECRTS.2014.20"},{"key":"9322_CR18","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Yun H (2016) Memory servers for multicore systems. In: 2016 IEEE real-time and embedded technology and applications symposium (RTAS). pp 97\u2013108","DOI":"10.1109\/RTAS.2016.7461339"},{"key":"9322_CR19","unstructured":"RTCA, Inc. (2005) Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. U.S. Dept. of Transportation, Federal Aviation Administration"},{"key":"9322_CR20","unstructured":"RTCA, Inc. (2012) RTCA\/DO-178C. U.S. Dept. of Transportation, Federal Aviation Administration"},{"key":"9322_CR21","unstructured":"RTCA, Inc. (2012) RTCA\/DO-254. U.S. Dept. of Transportation, Federal Aviation Administration"},{"key":"9322_CR22","unstructured":"Sha L, Caccamo M, Mancuso R, Kim J-E, Yoon M-K, Pellizzoni R, Yun H, Kegley R, Perlman D, Arundale G, Richard B et al (2014) Single core equivalent virtual machines for hard realtime computing on multicore processors. Univ. Tech. Rep, Urbana Champaign"},{"issue":"5\u20136","key":"9322_CR23","doi-asserted-by":"publisher","first-page":"680","DOI":"10.1007\/s11241-014-9204-x","volume":"50","author":"PB Sousa","year":"2014","unstructured":"Sousa PB, Bletsas K, Tovar E, Souto P, \u00c5kesson B (2014) Unified overhead-aware schedulability analysis for slot-based task-splitting. J Real Time Syst 50(5\u20136):680\u2013735","journal-title":"J Real Time Syst"},{"key":"9322_CR24","doi-asserted-by":"crossref","unstructured":"Souto P, Sousa P, Davis R, Bletsas K, Tovar E (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. pp 110\u2013121","DOI":"10.1109\/RTCSA.2015.13"},{"issue":"2","key":"9322_CR25","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1109\/TC.2015.2425874","volume":"65","author":"G Yao","year":"2016","unstructured":"Yao G, Yun H, Wu ZP, Pellizzoni R, Caccamo M, Sha L (2016) Schedulability analysis for memory bandwidth regulated multicore real-time systems. IEEE Trans Comput 65(2):601\u2013614","journal-title":"IEEE Trans Comput"},{"key":"9322_CR26","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: 2012 24th Euromicro IEEE conference on real-time systems (ECRTS). pp 299\u2013308","DOI":"10.1109\/ECRTS.2012.32"},{"key":"9322_CR27","unstructured":"Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L (2013) Memguard: memory bandwidth reservation system for efficient performance isolation in multi-core platforms. In: Proceedings of the 19th IEEE real-time and embedded technology and applications symposium, pp 55\u201364"},{"key":"9322_CR28","doi-asserted-by":"crossref","unstructured":"Yun H, Mancuso R, Wu Z-P, Pellizzoni R (2014) PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms. In: Proceedings of the 20th IEEE real-time and embedded technology and applications symposium. pp 155\u2013166","DOI":"10.1109\/RTAS.2014.6925999"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9322-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-018-9322-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9322-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T19:51:17Z","timestamp":1573847477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-018-9322-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,16]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9322"],"URL":"https:\/\/doi.org\/10.1007\/s11241-018-9322-y","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2018,11,16]]},"assertion":[{"value":"16 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}