{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:49:06Z","timestamp":1747892946885},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,2,5]],"date-time":"2016-02-05T00:00:00Z","timestamp":1454630400000},"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":[[2016,11]]},"DOI":"10.1007\/s11241-016-9250-7","type":"journal-article","created":{"date-parts":[[2016,2,5]],"date-time":"2016-02-05T10:50:52Z","timestamp":1454669452000},"page":"731-760","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Early execution time-estimation through automatically generated timing models"],"prefix":"10.1007","volume":"52","author":[{"given":"Peter","family":"Altenbernd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Gustafsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Lisper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedhelm","family":"Stappert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,5]]},"reference":[{"key":"9250_CR1","doi-asserted-by":"publisher","unstructured":"Abel A, Reineke J (2013) Measurement-based modeling of the cache replacement policy. In: Proceedings of 19th real-time and embedded technology and applications symposium (RTAS) 65\u201374. doi: 10.1109\/RTAS.2013.6531080","DOI":"10.1109\/RTAS.2013.6531080"},{"key":"9250_CR2","unstructured":"Altenbernd P, Ermedahl A, Lisper B, Gustafsson J (2011) Automatic generation of timing models for timing analysis of high-level code. In: Faucou S (ed) Proceedings of 19th international conference on real-time and network systems (RTNS2011), Nantes"},{"key":"9250_CR3","doi-asserted-by":"crossref","unstructured":"Bartlett M, Bate I, Kazakov D (2009) Guaranteed loop bound identification from program traces for WCET. In: Proceedings 15th IEEE real-time and embedded technology and applications symposium (RTAS\u201909), IEEE computer society, San Francisco, pp 287\u2013294","DOI":"10.1109\/RTAS.2009.29"},{"key":"9250_CR4","doi-asserted-by":"crossref","unstructured":"Bate I, Bernat G, Murphy G, Puschner P (2000) Low-level analysis of a portable java byte code WCET analysis framework In: Proceedings of 7th international conference on real-time computing systems and applications (RTCSA\u201900), pp 39\u201348","DOI":"10.1109\/RTCSA.2000.896369"},{"key":"9250_CR5","doi-asserted-by":"crossref","unstructured":"Bernat G, Burns A, Wellings A (2000) Portable worst-case execution time analysis using java byte code In: Proceedings of 12th Euromicro conference on real-time systems, (ECRTS\u201900), Stockholm pp. 81\u201388","DOI":"10.1109\/EMRTS.2000.853995"},{"key":"9250_CR6","doi-asserted-by":"publisher","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. doi: 10.1145\/2024716.2024718 , http:\/\/doi.acm.org\/10.1145\/2024716.2024718","DOI":"10.1145\/2024716.2024718"},{"issue":"3","key":"9250_CR7","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/268806.268810","volume":"25","author":"D Burger","year":"1997","unstructured":"Burger D, Austin TM (1997) The simpleScalar tool set, version 2.0. SIGARCH Comput Archit News 25(3):13\u201325","journal-title":"SIGARCH Comput Archit News"},{"key":"9250_CR8","doi-asserted-by":"crossref","unstructured":"Dubach C, Jones TM, Bonilla EV, Fursin G, O\u2019Boyle MFP (2009) Portable compiler optimisation across embedded programs and microarchitectures using machine learning. In: Albonesi DH, Martonosi M, August DI, Mart\u00ednez JF (eds) Proceedings of 42nd annual IEEE\/ACM international symposium on microarchitecture (MICRO-42 2009), ACM, New York, pp. 78\u201388","DOI":"10.1145\/1669112.1669124"},{"key":"9250_CR9","unstructured":"Ermedahl A, Gustafsson J, Lisper B (2011) Deriving WCET bounds by abstract execution. In: Healy C (ed) Proceedings of 11th international workshop on worst-case execution time analysis (WCET\u20192011), Porto"},{"key":"9250_CR10","doi-asserted-by":"crossref","unstructured":"Erpenbach E, Altenbernd P (1999) Worst-case execution times and schedulability analysis of statecharts models. In: Proceedings of 11th Euromicro conference on real-time systems, pp 70\u201377","DOI":"10.1109\/EMRTS.1999.777452"},{"key":"9250_CR11","doi-asserted-by":"crossref","unstructured":"Ferdinand C, Heckmann R (2008) Worst-case execution time\u2014a tool provider\u2019s perspective. In: Proceedings of 11th IEEE symposium on object oriented real-time distributed computing (ISORC2008), Orlando, pp 340\u2013345","DOI":"10.1109\/ISORC.2008.16"},{"key":"9250_CR12","unstructured":"Ferdinand C, Heckmann R, Franzen B (2007) Static memory and timing analysis of embedded systems code. In: Proceedings of 3rd European symposium on verification and validation of software systems (VVSS\u201907), No. 07\u201304 in TUE computer science reports, . Eindhoven, The Netherlands, pp 153\u2013163"},{"key":"9250_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand C, Wilhelm R (1999) Efficient and precise cache behavior prediction for real-time systems. Real-Time Syst 17:131\u2013181","journal-title":"Real-Time Syst"},{"key":"9250_CR14","doi-asserted-by":"crossref","unstructured":"Franke B (2008) Fast cycle-approximate instruction set simulation. In: Falk H (ed) Proceedings of 11 $${th}$$ t h international workshop on software and compilers for embedded systems (SCOPES\u201908), Munich, pp 69\u201378","DOI":"10.1145\/1361096.1361109"},{"key":"9250_CR15","volume-title":"Theoria motus corporum coelestium: in sectionibus conicis solem ambientium\/auctore Carolo Friderico Gauss","author":"CF Gauss","year":"1809","unstructured":"Gauss CF (1809) Theoria motus corporum coelestium: in sectionibus conicis solem ambientium\/auctore Carolo Friderico Gauss. Sumtibus F. Perthes et I.H, Besser, Hamburg"},{"key":"9250_CR16","unstructured":"Giusto P, Martin G, Harcourt E (2001) Reliable estimation of execution time of embedded software. In: Proceedings of conference on design, automation and test in Europe (DAC 2001). IEEE computer society, Los Alamitos (2001). http:\/\/doi.ieeecomputersociety.org\/10.1109\/DATE.2001.915082"},{"key":"9250_CR17","doi-asserted-by":"crossref","unstructured":"Gustafsson J, Altenbernd P, Ermedahl A, Lisper B (2009) Approximate worst-case execution time analysis for early stage embedded systems development. In: Lee S, Narasimhan P (eds) Proceedings of seventh IFIP workshop on software technologies for future embedded and ubiquitous systems (SEUS 2009), Springer-Verlag, Newport Beach, (2009), pp 308\u2013319. URL: http:\/\/www.mrtc.mdh.se\/index.php?choice=publications&id=1925","DOI":"10.1007\/978-3-642-10265-3_28"},{"key":"9250_CR18","unstructured":"Gustafsson J, Betts A, Ermedahl A, Lisper B (2010) The M\u00e4lardalen WCET benchmarks\u2014past, present and future. In: Lisper B (ed) Proceedings of 10th international workshop on worst-case execution time analysis (WCET\u20192010), OCG, Brussels, pp 137\u2013147"},{"key":"9250_CR19","unstructured":"Gustafsson J, Ermedahl A, Lisper B (2011) ALF (ARTIST2 language for flow analysis) specification. Technical report, M\u00e4lardalen University, V\u00e4ster\u00e5s (2011). http:\/\/www.es.mdh.se\/pdf_publications\/1138.pdf"},{"key":"9250_CR20","unstructured":"Gustafsson J, Ermedahl A, Lisper B, Sandberg C, K\u00e4llberg L (2009) ALF\u2014a language for WCET flow analysis. In: Holsti N (ed) Proceedings of 9th international workshop on worst-case execution time analysis (WCET\u20192009), OCG, Dublin, pp 1\u201311"},{"key":"9250_CR21","doi-asserted-by":"crossref","unstructured":"Hahn S, Grund D (2012) Relational cache analysis for static timing analysis. In: Davis R (ed) Proceedings of 24th Euromicro conference on real-time systems (ECRTS 2012), IEEE computer society, Pisa, pp 102\u2013111","DOI":"10.1109\/ECRTS.2012.14"},{"issue":"1","key":"9250_CR22","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s10009-012-0248-8","volume":"15","author":"R Heckmann","year":"2013","unstructured":"Heckmann R, Ferdinand C, K\u00e4stner D, Nenova S (2013) Architecture exploration and timing estimation during early design phases. Int J Softw Tools Technol Transf (STTT) 15(1):29\u201339","journal-title":"Int J Softw Tools Technol Transf (STTT)"},{"key":"9250_CR23","doi-asserted-by":"crossref","unstructured":"Holzer A, Januzaj V, Kugele S, Tautschnig M (2010) Timely time estimates. In: Margaria T, Steffen B (eds) Proceedings of vol 6415, 4th international symposium on leveraging applications of formal methods (ISOLA\u201910) part I lecture notes in computer science, Springer, Heraclion, Crete, pp 33\u201346","DOI":"10.1007\/978-3-642-16558-0_5"},{"key":"9250_CR24","unstructured":"Huber B, Puffitsch W, Puschner P (2011) Towards an open timing analysis platform. In: Healy C (ed) Proceedings of 11th international workshop on worst-case execution time analysis (WCET\u20192011), Porto"},{"key":"9250_CR25","unstructured":"Kincaid DR, Cheney EW (2002) Numerical analysis: mathematics of scientific computing, American Mathematical Society, vol 2"},{"key":"9250_CR26","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1007\/BF01009452","volume":"34","author":"S Kirkpatrick","year":"1984","unstructured":"Kirkpatrick S (1984) Optimization by simulated annealing: Quantitative studies. J Stat Phys 34:975\u2013986. doi: 10.1007\/BF01009452","journal-title":"J Stat Phys"},{"key":"9250_CR27","unstructured":"Kirner R, Lang R, Freiberger G, Puschner P (2002) Fully automatic worst-case execution time analysis for Matlab\/Simulink models. In: Proceedings of 14th Euromicro conference on real-time systems, (ECRTS\u201902). Washington, DC"},{"key":"9250_CR28","doi-asserted-by":"crossref","unstructured":"Leather H, Bonilla EV, O\u2019Boyle MFP (2009) Automatic feature generation for machine learning based optimizing compilation. In: Proceedings of seventh international symposium on code generation and optimization (CGO 2009), IEEE Computer Society, Seattle, pp 81\u201391","DOI":"10.1109\/CGO.2009.21"},{"key":"9250_CR29","doi-asserted-by":"crossref","unstructured":"Lee S, Ermedahl A, Min SL, Chang N (2001) An accurate instruction-level energy consumption model for embedded RISC processor. In: Proceedings of ACM SIGPLAN workshop on languages, compilers and tools for embedded systems (LCTES\u201901), pp 1\u201310","DOI":"10.1145\/384197.384201"},{"key":"9250_CR30","doi-asserted-by":"publisher","unstructured":"Lisper B (2014) SWEET\u2014a tool for WCET flow analysis (extended abstract). In: Margaria T, Steffen B (eds) Proceedings of 6th international symposium on leveraging applications of formal methods (ISOLA\u201914), lecture notes in computer science, Springer, Corfu, Crete (2014). 8803:482\u2013485. doi: 10.1007\/978-3-662-45231-8_38","DOI":"10.1007\/978-3-662-45231-8_38"},{"key":"9250_CR31","doi-asserted-by":"crossref","unstructured":"Lisper B, Santos M (2009) Model identification for WCET analysis. In: Proceedings of 15th IEEE real-time and embedded technology and applications symposium (RTAS\u201909), IEEE Computer Society, San Francisco, pp 55\u201364","DOI":"10.1109\/RTAS.2009.16"},{"key":"9250_CR32","unstructured":"LLVM homepage (2013) http:\/\/llvm.org"},{"key":"9250_CR33","unstructured":"Persson P, Hedin G (1998) Interactive execution time predictions using reference attributed grammars. In: Proceedings of the 2nd workshop on attribute grammars and their applications (WAGA\u201999), Netherlands, pp 173\u2013184"},{"key":"9250_CR34","unstructured":"Stappert F (2004) From low-level to model-based and constructive worst-case execution time analysis. Ph.D. thesis, Faculty of Computer Science, Electrical Engineering, and Mathematics, University of Paderborn, C-LAB Publication, vol 17, Shaker Verlag, ISBN 3-8322-2637-0"},{"key":"9250_CR35","doi-asserted-by":"crossref","unstructured":"Stattelmann S, Bringmann O, Rosenstiel W (2011) Fast and accurate source-level simulation of software timing considering complex code optimizations. In: Stok L, Dutt ND, Hassoun S (eds) Proceedings of 48th design automation conference (DAC 2011), ACM, San Diego, pp 486\u2013491","DOI":"10.1145\/2024724.2024838"},{"key":"9250_CR36","unstructured":"SWEET home page (2011) www.mrtc.mdh.se\/projects\/wcet\/sweet\/"},{"issue":"3","key":"9250_CR37","first-page":"20:1","volume":"10","author":"Z Wang","year":"2013","unstructured":"Wang Z, O\u2019Boyle MFP (2013) Using machine learning to partition streaming programs. ACM Trans Arch Code Optim 10(3):20:1\u201320:25","journal-title":"ACM Trans Arch Code Optim"},{"key":"9250_CR38","doi-asserted-by":"publisher","unstructured":"Wegener S (2012) Computing same block relations for relational cache analysis. In: Vardanega T (ed) Proceedings of 12th international workshop on worst-case execution time analysis, openAccess series in informatics (OASIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, 23:25\u201337. doi: 10.4230\/OASIcs.WCET.2012.25 , http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2012\/3554","DOI":"10.4230\/OASIcs.WCET.2012.25"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-016-9250-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-016-9250-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-016-9250-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:09:57Z","timestamp":1559387397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-016-9250-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,5]]},"references-count":38,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["9250"],"URL":"https:\/\/doi.org\/10.1007\/s11241-016-9250-7","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,5]]}}}