{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T15:00:21Z","timestamp":1694444421527},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s11241-010-9091-8","type":"journal-article","created":{"date-parts":[[2010,4,8]],"date-time":"2010-04-08T20:38:01Z","timestamp":1270759081000},"page":"72-105","source":"Crossref","is-referenced-by-count":16,"title":["Transforming flow information during code optimization for timing analysis"],"prefix":"10.1007","volume":"45","author":[{"given":"Raimund","family":"Kirner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Puschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Prantl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,4,9]]},"reference":[{"key":"9091_CR1","volume-title":"Optimizing compilers for modern architectures","author":"R Allen","year":"2002","unstructured":"Allen R, Kennedy K (2002) Optimizing compilers for modern architectures. Morgan Kaufmann, San Mateo"},{"key":"9091_CR2","doi-asserted-by":"crossref","unstructured":"Ball T, Larus JR (1996) Efficient path profiling. In: Proc IEEE international symposium on microarchitecture, pp\u00a046\u201357","DOI":"10.1109\/MICRO.1996.566449"},{"key":"9091_CR3","unstructured":"Cullmann C, Martin F (2007) Data-flow based detection of loop bounds. In: Proc 7th international workshop on worst-case execution time analysis, Pisa, Italy"},{"key":"9091_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F Drewes","year":"2002","unstructured":"Drewes F, Hoffmann B, Plump D (2002) Hierarchical graph transformation. J\u00a0Comput Syst Sci 64:249\u2013283. Short version in Proc FOSSACS 2000, LNCS, vol\u00a01784","journal-title":"J\u00a0Comput Syst Sci"},{"key":"9091_CR5","unstructured":"Engblom J (1997) Worst-case execution time analysis for optimized code. Master\u2019s thesis, Uppsala University, Uppsala, Sweden"},{"key":"9091_CR6","unstructured":"Engblom J, Ermedahl A, Altenbernd P (1998) Facilitating worst-case execution time analysis for optimized code. In: Proc 10th Euromicro real-time workshop, Berlin, Germany"},{"key":"9091_CR7","doi-asserted-by":"crossref","unstructured":"Ferdinand C, Heckmann R, Langenbach M, Martin F, Schmidt M, Theiling H, Thesing S, Wilhelm R (2001) Reliable and precise WCET determination for a real-life processor. In: Proc of the 1st international workshop on embedded software (EMSOFT 2001), Tahoe City, CA, USA, pp\u00a0469\u2013485","DOI":"10.1007\/3-540-45449-7_32"},{"key":"9091_CR8","unstructured":"Gustafsson J, Ermedahl A (1998) Automatic derivation of path and loop annotations in object-oriented real-time programs. Parallel Distrib Comput Pract 1(2)"},{"key":"9091_CR9","doi-asserted-by":"crossref","unstructured":"Gustafsson J, Ermedahl A, Sandberg C, Lisper B (2006) Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In: Proc 27th IEEE real-time systems symposium (RTSS 2006), Rio de Janeiro, Brazil","DOI":"10.1109\/RTSS.2006.12"},{"key":"9091_CR10","doi-asserted-by":"crossref","unstructured":"Healy CA, Arnold RD, Mueller F, Whalley D, Harmon MG (1999) Bounding pipeline and instruction cache performance. IEEE Trans Comput 48(1)","DOI":"10.1109\/12.743411"},{"key":"9091_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1008189014032","volume":"18","author":"CA Healy","year":"2000","unstructured":"Healy CA, Sj\u00f6din M, Rustagi V, Whalley D, van Engelen R (2000) Supporting timing analysis by automatic bounding of loop iterations. Real-Time Syst 18:121\u2013148","journal-title":"Real-Time Syst"},{"key":"9091_CR12","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1109\/TSE.2002.1027799","volume":"28","author":"CA Healy","year":"2002","unstructured":"Healy CA, Whalley DB (2002) Automatic detection and exploitation of branch constraints for timing analysis. IEEE Trans Softw Eng 28:763\u2013781","journal-title":"IEEE Trans Softw Eng"},{"key":"9091_CR13","unstructured":"INFINEON (2000) C167CR derivatives. 16-bit single-chip microcontroller. User\u2019s manual, Version\u00a03.0. Infineon Technologies AG"},{"key":"9091_CR14","doi-asserted-by":"crossref","unstructured":"Jaramillo CI, Gupta R, Soffa ML (1998) Capturing the effects of code improving transformations. In: Proc international conference on parallel architectures and compilation techniques (PACT\u201998), Paris, France, pp\u00a0118\u2013123","DOI":"10.1109\/PACT.1998.727181"},{"key":"9091_CR15","unstructured":"Kirner R (2002) The programming language wcetC. Technical Report 02\/2002, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr 1-3\/182-1, 1040 Vienna, Austria"},{"key":"9091_CR16","unstructured":"Kirner R (2003) Extending optimising compilation to support worst-case execution time analysis. PhD\u00a0thesis, Technische Universit\u00e4t Wien, Vienna, Austria"},{"key":"9091_CR17","volume-title":"Compiler support for timing analysis of optimized code: precise timing analysis of machine code with convenient annotation of source code","author":"R Kirner","year":"2008","unstructured":"Kirner R (2008) Compiler support for timing analysis of optimized code: precise timing analysis of machine code with convenient annotation of source code. VDM Verlag, Saarbr\u00fccken"},{"key":"9091_CR18","doi-asserted-by":"crossref","unstructured":"Kirner R, Puschner P (2001) Transformation of path information for WCET analysis during compilation. In: Proc 13th IEEE Euromicro conference on real-time systems, Delft, The Netherlands, pp\u00a029\u201336","DOI":"10.1109\/EMRTS.2001.933993"},{"key":"9091_CR19","unstructured":"Kirner R, Puschner P (2003) Timing analysis of optimised code. In: Proc 8th IEEE international workshop on object-oriented real-time dependable systems (WORDS 2003), Guadalajara, Mexico, pp\u00a0100\u2013105"},{"key":"9091_CR20","unstructured":"Kirner R, Knoop J, Prantl A, Schordan M, Wenzel I (2007) WCET analysis: the annotation language challenge. In: Proc 7th international workshop on worst-case execution time analysis, Pisa, Italy, pp\u00a083\u201399"},{"key":"9091_CR21","unstructured":"Kirner R, Kadlec A, Puschner P, Prantl A, Schordan M, Knoop J (2008) Towards a common WCET annotation language: essential ingredients. In: Proc 8th international workshop on worst-case execution time analysis, Prague, Czech Republic, pp\u00a053\u201365"},{"key":"9091_CR22","unstructured":"Li Y-TS, Malik S (1995) Performance analysis of embedded software using implicit path enumeration. In: Proc 32nd ACM\/IEEE design automation conference, pp\u00a0456\u2013461"},{"issue":"7","key":"9091_CR23","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/32.392980","volume":"21","author":"S-S Lim","year":"1995","unstructured":"Lim S-S, Bae YH, Jang GT, Rhee B-D, Min SL, Park CY, Shin H, Park K, Moon S-M, Kim C-S (1995) An\u00a0accurate worst case timing analysis for RISC processors. Softw Eng 21(7):593\u2013604","journal-title":"Softw Eng"},{"key":"9091_CR24","unstructured":"Lim S-S, Kim J, Min SL (1998) A worst case timing analysis technique for optimized programs. In: Proc 5th international conference on real-time computing systems and applications (RTCSA), Hiroshima, Japan, pp\u00a0151\u2013157"},{"key":"9091_CR25","volume-title":"A WCET-aware compiler. Design, concepts and realization","author":"P Lokuciejewski","year":"2007","unstructured":"Lokuciejewski P (2007) A WCET-aware compiler. Design, concepts and realization. VDM Verlag, Saarbr\u00fccken"},{"key":"9091_CR26","doi-asserted-by":"crossref","unstructured":"Lokuciejewski P, Marwedel P (2009) Combining worst-case timing models, loop unrolling, and static loop analysis for WCET minimization. In: Proc 21st Euromicro conference on real-time systems, Dublin, Ireland","DOI":"10.1109\/ECRTS.2009.9"},{"key":"9091_CR27","doi-asserted-by":"crossref","unstructured":"Lokuciejewski P, Falk H, Marwedel P, Theiling H (2008) WCET-driven, code-size critical procedure cloning. In: Proc 11th international workshop on software and compilers for embedded systems, Munich, Germany, pp\u00a021\u201330","DOI":"10.1145\/1361096.1361100"},{"key":"9091_CR28","unstructured":"Lokuciejewski P, Cordes D, Falk H, Marwedel P (2009) A fast and precise static loop analysis based on abstract interpretation program slicing and polytope models. In: Proc international symposium on code generation and optimization, Seattle, USA"},{"key":"9091_CR29","doi-asserted-by":"crossref","unstructured":"Marlowe TJ, Masticola SP (1992) Safe optimization for hard real-time programming. In: Proc 2nd international conference on systems integration (ICSI), pp\u00a0436\u2013445","DOI":"10.1109\/ICSI.1992.217244"},{"key":"9091_CR30","unstructured":"Mok AK, Amerasinghe P, Chen M, Tantisirivat K (1989) Evaluating tight execution time bounds of programs by annotations. In: Proc 6th IEEE workshop on real-time operating systems and software, Pittsburgh, PA, USA, pp\u00a074\u201380"},{"key":"9091_CR31","unstructured":"MRTC Benchmarks (2009) M\u00e4lardalen research and technology centre WCET benchmarks. Web page http:\/\/www.mrtc.mdh.se\/projects\/wcet\/ . Accessed online in January 2010"},{"key":"9091_CR32","volume-title":"Advanced compiler design & implementation","author":"SS Muchnick","year":"1997","unstructured":"Muchnick SS (1997) Advanced compiler design & implementation. Morgan Kaufmann, San Mateo"},{"issue":"1","key":"9091_CR33","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"CY Park","year":"1993","unstructured":"Park CY (1993) Predicting program execution times by analyzing static and dynamic program paths. Real-Time Syst 5(1):31\u201362","journal-title":"Real-Time Syst"},{"issue":"5","key":"9091_CR34","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"CY Park","year":"1991","unstructured":"Park CY, Shaw AC (1991) Experiments with a program timing tool based on a source-level timing schema. Computer 24(5):48\u201357","journal-title":"Computer"},{"key":"9091_CR35","unstructured":"Pop S, Cohen A, Bastoul C, Girbal S, Silber GA, Vasilache N (2006) GRAPHITE: Loop optimizations based on the polyhedral model for GCC. In: Proc 4th GCC developer\u2019s summit, pp\u00a0179\u2013198"},{"key":"9091_CR36","unstructured":"Prantl A (2007a) The CoSTA transformer: integrating optimizing compilation and WCET flow facts transformation. In: Proceedings 14 Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS\u201907)"},{"key":"9091_CR37","unstructured":"Prantl A (2007b) Source-to-source transformations for WCET analysis: the CoSTA approach. In: Proc\u00a024. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte, Christian-Albrechts-Universit\u00e4t zu Kiel, Bad Honnef, Germany"},{"key":"9091_CR38","unstructured":"Prantl A, Schordan M, Knoop J (2008) TuBound\u2014a conceptually new tool for worst-case execution time analysis. In: Proc 8th international workshop on worst-case execution time analysis, Prague, Czech Republic"},{"key":"9091_CR39","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/A:1007905003094","volume":"13","author":"P Puschner","year":"1997","unstructured":"Puschner P, Schedl AV (1997) Computing maximum task execution times\u2014a graph-based approach. Real-Time Syst 13:67\u201391","journal-title":"Real-Time Syst"},{"issue":"2\u20133","key":"9091_CR40","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1002\/cpe.775","volume":"16","author":"DJ Quinlan","year":"2004","unstructured":"Quinlan DJ, Schordan M, Miller B, Kowarschik M (2004) Parallel object-oriented framework optimization. Concurr Comput Pract Exper 16(2\u20133):293\u2013302","journal-title":"Concurr Comput Pract Exper"},{"issue":"5","key":"9091_CR41","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/570886.570887","volume":"24","author":"G Ramalingam","year":"2002","unstructured":"Ramalingam G (2002) On loops, dominators, and dominance frontiers. ACM Trans Program Lang Syst 24(5):455\u2013490","journal-title":"ACM Trans Program Lang Syst"},{"key":"9091_CR42","volume-title":"Flow Facts f\u00fcr WCET-optimierende Compiler: Modellierung und Transformation","author":"D Schulte","year":"2007","unstructured":"Schulte D (2007) Flow Facts f\u00fcr WCET-optimierende Compiler: Modellierung und Transformation. VDM Verlag, Saarbr\u00fccken"},{"key":"9091_CR43","unstructured":"Vrchoticky A (1994) Compilation support for fine-grained execution time analysis. In: Proc ACM SIGPLAN workshop on language, compiler and tool support for real-time systems, Orlando, FL"},{"key":"9091_CR44","doi-asserted-by":"crossref","unstructured":"Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckman R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstrom P (2008) The worst-case execution time problem\u2014overview of methods and survey of tools. ACM Trans Embed Comput Syst (TECS) 7(3)","DOI":"10.1145\/1347375.1347389"},{"key":"9091_CR45","doi-asserted-by":"crossref","unstructured":"Younis MF, Marlowe TJ, Tsai G, Stoyenko AD (1996) Toward compiler optimization of distributed real-time processes. In: Proc 2nd international conference on engineering of complex computer systems, pp\u00a035\u201342","DOI":"10.1109\/ICECCS.1996.558328"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11241-010-9091-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T03:09:03Z","timestamp":1559012943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-010-9091-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,9]]},"references-count":45,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["9091"],"URL":"https:\/\/doi.org\/10.1007\/s11241-010-9091-8","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,9]]}}}