{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:39:29Z","timestamp":1761323969040},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2014,10,16]],"date-time":"2014-10-16T00:00:00Z","timestamp":1413417600000},"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":[[2014,11]]},"DOI":"10.1007\/s11241-014-9211-y","type":"journal-article","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T05:38:10Z","timestamp":1413351490000},"page":"736-773","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets"],"prefix":"10.1007","volume":"50","author":[{"given":"Kai","family":"Lampka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgia","family":"Giannopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodolfo","family":"Pellizzoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Stoimenov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,16]]},"reference":[{"key":"9211_CR1","unstructured":"AbsInt Angewandte Informatik (1998) http:\/\/www.absint.com\/"},{"key":"9211_CR2","doi-asserted-by":"crossref","unstructured":"Altisen K, Moy M (2010) ac2lus: bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre. In: 22nd Euromicro conference on real-time systems (ECRTS), Brussels, Belgium","DOI":"10.1109\/ECRTS.2010.11"},{"key":"9211_CR3","doi-asserted-by":"crossref","unstructured":"Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Paterson M (ed) Proceedings of the 17th international colloquium on automata, languages and programming (ICALP\u201990), vol 443 of LNCS. Springer, New York, pp 322\u2013335","DOI":"10.1007\/BFb0032042"},{"key":"9211_CR4","doi-asserted-by":"crossref","unstructured":"Aubry P, Beaucamps P-E, Blanc F, Bodin B, Carpov S, Cudennec L, David V, Dore P, Dubrulle P, de Dinechin BD, Galea F, Goubier T, Harrand M, Jones S, Lesage J-D, Louise S, Chaisemartin NM, Nguyen TH, Raynaud X, Sirdey R (2013) Extended cyclostatic dataflow program compilation and execution for an integrated manycore processor. Procedia Comput Sci 18(0):1624\u20131633 (2013 International conference on computational science)","DOI":"10.1016\/j.procs.2013.05.330"},{"key":"9211_CR5","doi-asserted-by":"crossref","unstructured":"Bak S, Yao G, Pellizzoni R, Caccamo M (2012) Memory-aware scheduling of multicore task sets for real-time systems. In: 2012 IEEE 18th international conference on embedded and real-time computing systems and applications (RTCSA), pp 300\u2013309","DOI":"10.1109\/RTCSA.2012.48"},{"key":"9211_CR6","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004, number 3185 in LNCS. Springer, New York, pp 200\u2013236","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9211_CR7","doi-asserted-by":"crossref","unstructured":"Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Lectures on concurrency and Petri Nets, vol 3098 of LNCS. Springer, New York, pp 87\u2013124","DOI":"10.1007\/978-3-540-27755-2_3"},{"issue":"2","key":"9211_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2024716.2024718","volume":"39","author":"N Binkert","year":"2011","unstructured":"Binkert N, Beckmann B, Black G, Reinhardt SK, Saidi A, Basu A, Hestness J, Hower DR, Krishna T, Sardashti S, Sen R, Sewell K, Shoaib M, Vaish N, Hill MD, Wood DA (2011) The gem5 simulator. SIGARCH Comput Archit News 39(2):1\u20137","journal-title":"SIGARCH Comput Archit News"},{"key":"9211_CR9","first-page":"546","volume-title":"Computer aided verification, volume 1427 of lecture notes in computer science","author":"M Bozga","year":"1998","unstructured":"Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S (1998) Kronos: a model-checking tool for real-time systems. In: Hu A, Vardi M (eds) Computer aided verification, volume 1427 of lecture notes in computer science, vol 1427. Springer, Berlin, pp 546\u2013550"},{"key":"9211_CR10","first-page":"25","volume":"2006","author":"S Chakraborty","year":"2006","unstructured":"Chakraborty S, Liu Y, Stoimenov N, Thiele L, Wandeler E (2006) Interface-based rate analysis of embedded systems. RTSS 2006:25\u201334","journal-title":"RTSS"},{"key":"9211_CR11","doi-asserted-by":"crossref","unstructured":"Dasari D, Anderssom B, Nelis V, Petters S, Easwaran A, Lee J (2011) Response time analysis of cots-based multicores considering the contention on the shared memory bus. In: 10th international conference on trust, security and privacy in computing and communications (TrustCom), pp 1068\u20131075","DOI":"10.1109\/TrustCom.2011.146"},{"key":"9211_CR12","unstructured":"EEMBC (1997) EEMBC 1.1 Embedded Benchmark Suite. http:\/\/www.eembc.org\/benchmark\/automotive_sl.php"},{"key":"9211_CR13","unstructured":"FlexRay (2005) FlexRay communications system protocol specification, version 2.1, revision a. http:\/\/www.flexray.com\/"},{"key":"9211_CR14","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: Proceedings of the tenth ACM international conference on Embedded software, EMSOFT \u201912, New York, NY, USA. ACM, pp 63\u201372","DOI":"10.1145\/2380356.2380372"},{"key":"9211_CR15","unstructured":"Gustavsson A, Ermedahl A, Lisper B, Pettersson P (2010) Towards WCET analysis of multicore architectures using UPPAAL. In: 10th international workshop on worst-case execution time analysis (WCET 2010), pp 101\u2013112"},{"issue":"2","key":"9211_CR16","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis\u2014the SymTA\/S approach. IEEE Proc Comput Digit Tech 152(2):148\u2013166","journal-title":"IEEE Proc Comput Digit Tech"},{"key":"9211_CR17","doi-asserted-by":"crossref","unstructured":"Kelter T, Falk H, Marwedel P, Chattopadhyay S, Roychoudhury A (2011) Bus-aware multicore wcet analysis through tdma offset bounds. In: 23rd Euromicro conference on real-time systems (ECRTS), pp 3\u201312","DOI":"10.1109\/ECRTS.2011.9"},{"key":"9211_CR18","doi-asserted-by":"crossref","unstructured":"Lampka K, Perathoner S, Thiele L (2009) Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In 8th ACM & IEEE international conference on embedded software, EMSOFT 2009, Grenoble, France. ACM, pp 107\u2013116","DOI":"10.1145\/1629335.1629351"},{"issue":"3","key":"9211_CR19","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10617-010-9055-1","volume":"14","author":"K Lampka","year":"2010","unstructured":"Lampka K, Perathoner S, Thiele L (2010) Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. Des Autom Embed Syst 14(3):193\u2013227","journal-title":"Des Autom Embed Syst"},{"key":"9211_CR20","unstructured":"Lampka K, Perathoner S, Thiele L (2012) Component-based system design: analytic real-time interfaces for state-based component implementations. Int J Softw Tools Technol Transf, pp 1\u201316"},{"key":"9211_CR21","doi-asserted-by":"crossref","unstructured":"Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis and transformation. In: Proceedings of the international symposium of code generation and optimization, San Jose, CA, USA","DOI":"10.1109\/CGO.2004.1281665"},{"key":"9211_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network calculus: a theory of deterministic queuing systems for the internet","author":"J-Y Boudec Le","year":"2001","unstructured":"Le Boudec J-Y, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the internet. Springer, Berlin"},{"key":"9211_CR23","doi-asserted-by":"crossref","unstructured":"Lundqvist T, Stenstrom P (1999) Timing anomalies in dynamically scheduled microprocessors. In: Real-time systems symposium, 1999. Proceedings. The 20th IEEE, pp 12\u201321","DOI":"10.1109\/REAL.1999.818824"},{"key":"9211_CR24","doi-asserted-by":"crossref","unstructured":"Lv M, Yi W, Guan N, Yu G (2010) Combining abstract interpretation with model checking for timing analysis of multicore software. In: IEEE real-time systems symposium 2010. IEEE Computer Society, pp 339\u2013349","DOI":"10.1109\/RTSS.2010.30"},{"key":"9211_CR25","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","DOI":"10.1109\/RTAS.2013.6531078"},{"key":"9211_CR26","doi-asserted-by":"crossref","unstructured":"Nesbit KJ, Aggarwal N, Laudon J, Smith JE (2006) Fair queuing memory systems. In: 39th annual IEEE\/ACM international symposium on microarchitecture (MICRO-39 2006), 9\u201313 December 2006, Orlando, Florida, USA. IEEE Computer Society, pp 208\u2013222","DOI":"10.1109\/MICRO.2006.24"},{"key":"9211_CR27","doi-asserted-by":"crossref","unstructured":"Norstr\u00f6m C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems. In: RTCSA \u201999, Washington, DC, USA. IEEE Computer Society, p 182","DOI":"10.1109\/RTCSA.1999.811218"},{"key":"9211_CR28","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Bui BD, Caccamo M, Sha L (2008) Coscheduling of cpu and i\/o transactions in cots-based embedded systems. In: Real-time systems symposium, pp 221\u2013231","DOI":"10.1109\/RTSS.2008.42"},{"key":"9211_CR29","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Schranzhofer A, Chen J-J, Caccamo M, Thiele L (2010) Worst case delay analysis for memory interference in multicore systems. In: Design, automation, test in Europe conference (DATE), pp 741\u2013746","DOI":"10.1109\/DATE.2010.5456952"},{"key":"9211_CR30","doi-asserted-by":"crossref","unstructured":"Pellizzoni R, Betti E, Bak S, Yao G, Criswell J, Caccamo M, Kegley R (2011) A predictable execution model for cots-based embedded systems. In: 17th IEEE real-time and embedded technology and applications symposium, RTAS 2011, Chicago, Illinois, USA, 11\u201314 April 2011. IEEE Computer Society, pp 269\u2013279","DOI":"10.1109\/RTAS.2011.33"},{"key":"9211_CR31","doi-asserted-by":"crossref","unstructured":"Perathoner S, Lampka K, Thiele L (2011) Composing heterogeneous components for system-wide performance analysis. In: Design, automation and test in Europe, DATE 2011, Grenoble, France, March 14\u201318 2011. IEEE, pp 842\u2013847","DOI":"10.1109\/DATE.2011.5763143"},{"key":"9211_CR32","unstructured":"Reineke J, Wachter B, Thesing S, Wilhelm R, Polian I, Eisinger J, Becker B (2006) A definition and classification of timing anomalies. In: Mueller F (ed) 6th International workshop on worst-case execution time (WCET) analysis, July 4, 2006, Dresden, Germany, OASICS. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"},{"key":"9211_CR33","doi-asserted-by":"crossref","unstructured":"Schliecker S, Negrean M, Ernst R (2010) Bounding the shared resource load for the performance analysis of multiprocessor systems. In: Design, automation, test in Europe conference (DATE), pp 759\u2013764","DOI":"10.1109\/DATE.2010.5456951"},{"key":"9211_CR34","doi-asserted-by":"crossref","unstructured":"Schranzhofer A, Chen J-J, Thiele L (2010) Timing analysis for TDMA arbitration in resource sharing systems. In: Proceedings of RTAS\u201910","DOI":"10.1109\/RTAS.2010.24"},{"key":"9211_CR35","doi-asserted-by":"crossref","unstructured":"Schranzhofer A, Pellizzoni R, Chen J-J, Thiele L, Caccamo M (2011a) Timing analysis for resource access interference on adaptive resource arbiters. In: Proceedings of the 17th IEEE real-time and embedded technology and applications symposium","DOI":"10.1109\/RTAS.2011.28"},{"key":"9211_CR36","doi-asserted-by":"crossref","unstructured":"Schranzhofer A, Pellizzoni R, Chen J-J, Thiele L, Caccamo M (2011b) Timing analysis for resource access interference on adaptive resource arbiters. In: Real-time and embedded technology and applications symposium (RTAS), pp 213\u2013222","DOI":"10.1109\/RTAS.2011.28"},{"key":"9211_CR37","doi-asserted-by":"crossref","unstructured":"Simalatsar A, Ramadian Y, Lampka K, Perathoner S, Passerone R, Thiele L (2011) Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. In: Gupta RK, Mooney VJ (eds) Proceedings of the 14th international conference on compilers, architecture, and synthesis for embedded systems, CASES 2011, part of the seventh embedded systems week, ESWeek 2011, Taipei, Taiwan, October 9\u201314, 2011. ACM, pp 155\u2013164","DOI":"10.1145\/2038698.2038723"},{"key":"9211_CR38","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proceedings of international symposium on circuits and systems, vol 4, pp 101\u2013104","DOI":"10.1109\/ISCAS.2000.858698"},{"issue":"6","key":"9211_CR39","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/s11241-012-9158-9","volume":"48","author":"G Yao","year":"2012","unstructured":"Yao G, Pellizzoni R, Bak S, Betti E, Caccamo M (2012) Memory-centric scheduling for multicore hard real-time systems. Real Time Syst J 48(6):681\u2013715","journal-title":"Real Time Syst J"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-014-9211-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-014-9211-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-014-9211-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T05:58:20Z","timestamp":1565935100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-014-9211-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,16]]},"references-count":39,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["9211"],"URL":"https:\/\/doi.org\/10.1007\/s11241-014-9211-y","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,16]]}}}