{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:21:10Z","timestamp":1784182870498,"version":"3.55.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Austrian Science Fund","award":["P19230-N13"],"award-info":[{"award-number":["P19230-N13"]}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"crossref","award":["IC1202"],"award-info":[{"award-number":["IC1202"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ARTEMIS-JU","award":["295371"],"award-info":[{"award-number":["295371"]}]},{"name":"Austrian Science Fund","award":["P19230-N13"],"award-info":[{"award-number":["P19230-N13"]}]},{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"crossref","award":["IC1202"],"award-info":[{"award-number":["IC1202"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ARTEMIS-JU","award":["295371"],"award-info":[{"award-number":["295371"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1007\/s11241-015-9240-1","type":"journal-article","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:18:48Z","timestamp":1441009128000},"page":"38-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Calculating WCET estimates from timed traces"],"prefix":"10.1007","volume":"52","author":[{"given":"Michael","family":"Zolda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raimund","family":"Kirner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"key":"9240_CR1","doi-asserted-by":"crossref","unstructured":"Audsley NC, Burns A, Richardson MF, Wellings AJ (1991) Hard real-time scheduling: the deadline-monotonic approach. In: Halang WA, Ramamritham K (eds) Proceedings of 8th IEEE workshop on real-time operating systems and software (RTOSS\u201991), pp. 127\u2013132. Pergamon Press","DOI":"10.1016\/S1474-6670(17)51283-5"},{"key":"9240_CR2","doi-asserted-by":"crossref","unstructured":"Bernat G, Colin A, Petters S (2002) Wcet analysis of probabilistic hard real-time systems. In: Proceedings of 23rd real-time systems symposium (RTSS\u201902), pp. 279\u2013288, Austin, Texas, USA","DOI":"10.1109\/REAL.2002.1181582"},{"key":"9240_CR3","unstructured":"Bernat G, Colin A, Petters S (2003) pwcet: a tool for probabilistic worst-case execution time analysis of real-time systems. In: 3rd international workshop on worst-case execution time analysis (WCET\u201903), pp. 21\u201338, Porto, Portugal"},{"key":"9240_CR4","doi-asserted-by":"crossref","unstructured":"B\u00fcnte S, Zolda M, Kirner R (2011) Let\u2019s get less optimistic in measurement-based timing analysis. In: 6th IEEE international symposium on industrial embedded systems (SIES\u201911), Los Alamitos, CA. IEEE","DOI":"10.1109\/SIES.2011.5953663"},{"issue":"2","key":"9240_CR5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1008149332687","volume":"18","author":"A Colin","year":"2000","unstructured":"Colin A, Puaut I (2000) Worst case execution time analysis for a processor with branch prediction. Real-Time Syst 18(2):249\u2013274","journal-title":"Real-Time Syst"},{"key":"9240_CR6","unstructured":"Dijkstra E (1970) Notes on structured programming. Circulated privately"},{"issue":"12","key":"9240_CR7","doi-asserted-by":"crossref","first-page":"1497","DOI":"10.1109\/32.58762","volume":"15","author":"M Dertouzos","year":"1989","unstructured":"Dertouzos M, Mok AK (1989) Multiprocessor online scheduling of hard-real-time tasks. IEEE Trans Softw Eng 15(12):1497\u20131506","journal-title":"IEEE Trans Softw Eng"},{"key":"9240_CR8","doi-asserted-by":"crossref","unstructured":"Engblom J, Ermedahl A (1999) Pipeline timing analysis using a trace-driven simulator. In: Proceedings of 6th international conference on real-time computing systems and applications (RTCSA \u201999), pp. 88\u201395, Hong Kong, China","DOI":"10.1109\/RTCSA.1999.811197"},{"issue":"2\u20133","key":"9240_CR9","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0167-6423(99)00010-6","volume":"35","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand C, Martin F, Wilhelm R, Alt M (1999) Cache behavior prediction by abstract interpretation. Sci Comput Progr 35(2\u20133):163\u2013189","journal-title":"Sci Comput Progr"},{"key":"9240_CR10","doi-asserted-by":"crossref","unstructured":"Holzer A, Schallhart C, Tautschnig M, Veith H (2008) Fshell: systematic test case generation for dynamic analysis and measurement. In: Proceedings of 20th international conference on computer aided verification (CAV\u201908). LNCS, vol. 5123, pp. 209\u2013213. Springer, Princeton","DOI":"10.1007\/978-3-540-70545-1_20"},{"key":"9240_CR11","doi-asserted-by":"crossref","unstructured":"Holzer A, Schallhart C, Tautschnig M, Veith H (2011) An introduction to test specification in fql. In: Sharon B, Daniel K, Orna R (eds) Proceedings of Haifa Verification Conference (HVC\u201910), Lecture Notes in Computer Science, vol. 6504, pp. 9\u201322. Springer, Haifa","DOI":"10.1007\/978-3-642-19583-9_5"},{"key":"9240_CR12","unstructured":"Infineon Technologies AG (2000) St.-Martin-Strasse 53, D-81541 M\u00fcnchen, Germany. TriCore(TM) 1 Pipeline Behaviour and Instruction Execution Timing"},{"key":"9240_CR13","unstructured":"Infineon Technologies AG (2005) St.-Martin-Strasse 53, D-81541 M\u00fcnchen, Germany. TriBoard TC179X Hardware Manual"},{"key":"9240_CR14","unstructured":"Infineon Technologies AG (2006) St.-Martin-Strasse 53, D-81541 M\u00fcnchen, Germany. TriCore 1 32-bit Unified Processor Core"},{"key":"9240_CR15","unstructured":"Infineon Technologies AG (2007) St.-Martin-Strasse 53, D-81541 M\u00fcnchen, Germany. TC1796 32-Bit Single-Chip Microcontroller"},{"key":"9240_CR16","volume-title":"Intelligent systems at the service of mankind. Chapter using measurements as a complement to static worst-case execution time analysis","author":"R Kirner","year":"2005","unstructured":"Kirner R, Wenzel I, Rieder B, Puschner P (2005) Intelligent systems at the service of mankind. Chapter using measurements as a complement to static worst-case execution time analysis, vol 2. UBooks, Augsburg"},{"issue":"1","key":"9240_CR17","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"issue":"12","key":"9240_CR18","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/43.664229","volume":"16","author":"Y-TS Li","year":"1997","unstructured":"Li Y-TS, Malik S (1997) Performance analysis of embedded software using implicit path enumeration. IEEE Trans Comput-Aided Des Integr Circuits Syst 16(12):1477\u20131487","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9240_CR19","doi-asserted-by":"crossref","unstructured":"Li Y-TS, Malik S, Wolfe A (1995) Efficient microarchitecture modeling and path analysis for real-time software (rtss\u201995). In: 16th IEEE real-time systems symposium (RTSS\u201995), pp. 298\u2013307. Pisa","DOI":"10.1109\/REAL.1995.495219"},{"key":"9240_CR20","doi-asserted-by":"crossref","unstructured":"Li Y-TS, Malik S, Wolfe A (1996) Cache modeling for real-time software: beyond direct mapped instruction caches. In: Proceedings of 17th IEEE real-time systems symposium (RTSS\u201996), pp. 254 \u2013263. IEEE, Washington","DOI":"10.1109\/REAL.1996.563722"},{"issue":"3","key":"9240_CR21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/315773.315778","volume":"4","author":"Y-TS Li","year":"1999","unstructured":"Li Y-TS, Malik S, Wolfe A (1999) Performance estimation of embedded software with instruction cache modeling. ACM Trans Des Autom Electron Syst 4(3):257\u2013279","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"9240_CR22","doi-asserted-by":"crossref","unstructured":"Lundqvist T, Stenstr\u00f6m P (1998) Integrating path and timing analysis using instruction-level simulation techniques. In: Proceedings of ACM SIGPLAN workshop on languages, compilers, and tools for embedded systems (LCTES\u201998), pp. 1\u201315. Springer, New York","DOI":"10.1007\/BFb0057776"},{"issue":"2\u20133","key":"9240_CR23","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1008138407139","volume":"17","author":"T Lundqvist","year":"1999","unstructured":"Lundqvist T, Stenstr\u00f6m P (1999) An integrated path and timing analysis method based on cycle-level symbolic execution. Real-Time Syst 17(2\u20133):183\u2013207","journal-title":"Real-Time Syst"},{"issue":"8","key":"9240_CR24","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/953349.953350","volume":"8","author":"I Nassi","year":"1973","unstructured":"Nassi I, Shneiderman B (1973) Flowchart techniques for structured programming. SIGPLAN Not 8(8):12\u201326","journal-title":"SIGPLAN Not"},{"key":"9240_CR25","unstructured":"Ottosson G, Sj\u00f6din M (1997) Worst case execution time analysis for modern hardware architectures. In: ACM SIGPLAN workshop on languages, compilers and tools for real-time systems, pp. 47\u201355. ACM, Las Vegas"},{"key":"9240_CR26","unstructured":"Paparazzi (2012) The free autopilot. http:\/\/paparazzi.enac.fr\/ , August"},{"key":"9240_CR27","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"CY Park","year":"1991","unstructured":"Park CY, Shaw A (1991) Experiments with a program timing tool based on source-level timing schema. IEEE Comput 24:48\u201357","journal-title":"IEEE Comput"},{"issue":"2","key":"9240_CR28","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P Puschner","year":"1989","unstructured":"Puschner P, Koza C (1989) Calculating the maximum execution time of real-time programs. Real-Time Syst 1(2):159\u2013176","journal-title":"Real-Time Syst"},{"key":"9240_CR29","doi-asserted-by":"crossref","unstructured":"Puschner P, Schedl A (1993) A tool for the computation of worst case task execution times. In: Proceedings of 5th Euromicro workshop on real-time systems (EURO-RTS\u201993), pp. 224\u2013229. IEEE, Oulu","DOI":"10.1109\/EMWRT.1993.639099"},{"issue":"1","key":"9240_CR30","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P Puschner","year":"1997","unstructured":"Puschner P, Schedl A (1997) Computing maximum task execution time\u2014a graph-based approach. J Real-Time Syst 13(1):67\u201391","journal-title":"J Real-Time Syst"},{"key":"9240_CR31","doi-asserted-by":"crossref","unstructured":"Puschner P (1998) A tool for high-level language analysis of worst-case execution times. In: Proceedings of 10th Euromicro workshop on real-time systems (Euro-Rts\u201998), pp. 130\u2013137. Berlin","DOI":"10.1109\/EMWRTS.1998.685077"},{"key":"9240_CR32","unstructured":"Schoeberl M (2009) JOP reference handbook: building embedded systems with a java processor. CreateSpace"},{"issue":"7","key":"9240_CR33","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/315253.314432","volume":"34","author":"J Schneider","year":"1999","unstructured":"Schneider J, Ferdinand C (1999) Pipeline behavior prediction for superscalar processors by abstract interpretation. SIGPLAN Not 34(7):35\u201344","journal-title":"SIGPLAN Not"},{"issue":"7","key":"9240_CR34","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A Shaw","year":"1989","unstructured":"Shaw A (1989) Reasoning about time in higher-level language software. IEEE Trans Softw Eng 15(7):875\u2013889","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"9240_CR35","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/S1383-7621(99)00010-7","volume":"46","author":"F Stappert","year":"2000","unstructured":"Stappert F, Altenbernd P (2000) Complete worst-case execution time analysis of straight-line hard real-time programs. J Syst Architect 46(4):339\u2013355","journal-title":"J Syst Architect"},{"key":"9240_CR36","unstructured":"Stattelmann S, Martin F (2010) On the use of context information for precise measurement-based execution-time estimation. In: Bj\u00f6rn L (ed) Proceedings of 10th international workshop on worst-case execution time (WCET) Analysis (WCET\u201910). OpenAccess Series in Informatics (OASIcs), vol. 15, pp. 64\u201376. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Brussels"},{"key":"9240_CR37","doi-asserted-by":"crossref","unstructured":"Theiling H, Ferdinand C (1998) Combining abstract interpretation and ilp for microarchitecture modelling and program path analysis. In: Proceedings of 19th IEEE real-time systems symposium (RTSS\u201998), pp. 144\u2013153. Madrid","DOI":"10.1109\/REAL.1998.739739"},{"key":"9240_CR38","doi-asserted-by":"crossref","unstructured":"Thesing S, Souyris J, Heckmann R, Randimbivololona F, Langenbach M, Wilhelm R, Ferdinand C (2003) An abstract interpretation-based timing validation of hard real-time avionics software. In: Proceedings of 2003 international conference on dependable systems and networks (DSN\u201903). IEEE, San Francisco","DOI":"10.1109\/DSN.2003.1209972"},{"key":"9240_CR39","unstructured":"von Hanxleden R, Holsti N, Lisper B, Ploedereder E, Wilhelm R, Bonenfant A, Cass\u00e9 H, B\u00fcnte S, Fellger W, Gepperth S, Gustafsson J, Huber B, Islam NM, K\u00e4stner D, Kirner R, Kovacs L, Krause F, de\u00a0Michiel M, Olesen MC, Prantl A, Puffitsch W, Rochange C, Schoeberl M, Wegener S, Zolda M, Zwirchmayr J (2011) Wcet tool challenge 2011: Report. In: Proceedings of 11th international workshop on worst-case execution time (WCET) analysis (WCET\u201911), Porto, Portugal. The analysis problems for the WCET Tool Challenge can be found at http:\/\/www.mrtc.mdh.se\/projects\/WCC\/2011"},{"key":"9240_CR40","doi-asserted-by":"crossref","unstructured":"Wenzel I, Kirner R, Rieder B, Puschner P (2009) Measurement-based timing analysis. In: Proceedings of the 3rd international symposium on leveraging applications of formal methods, verification and validation (ISoLA\u201908). Communications in computer and information science, vol. 17, pp. 430\u2013444. Springer, Porto Sani","DOI":"10.1007\/978-3-540-88479-8_30"},{"issue":"3","key":"9240_CR41","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J Xu","year":"1990","unstructured":"Xu J, Parnas D (1990) Scheduling processes with release times, deadlines, precedence and exclusion relations. IEEE Trans Softw Eng 16(3):360\u2013369","journal-title":"IEEE Trans Softw Eng"},{"key":"9240_CR42","doi-asserted-by":"crossref","unstructured":"Zolda M (2012) Precise measurement-based worst-case execution time estimation. PhD thesis, Vienna University of Technology, Karlsplatz 13, Vienna","DOI":"10.1109\/RTCSA.2011.73"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9240-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-015-9240-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9240-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:23:02Z","timestamp":1748596982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-015-9240-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["9240"],"URL":"https:\/\/doi.org\/10.1007\/s11241-015-9240-1","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,1]]}}}