R. Tools and .. , 71 3.1.1 WCET analysis tools, p.72

. Implementation-within-the and .. Llvm-compiler-infrastructure, 75 3.3.2 Representation of flow information (WCETInfo) 76 3.3.3 Input of flow information The comparison with original Heptane estimation process, ., p.81

.. Experiments-for-traceability-with-vectorization, 91 4.2.1 Benchmarks for vectorization, p.95

$. Improvement and $. , Abs] AbsInt. aiT Worst-Case Execution Time Analyzers

A. Frances and E. Allen, Control flow analysis, In ACM Sigplan Notices, vol.5, pp.1-19, 1970.

A. Hassan, A. Aljifri, . Pons, A. Moiez, and . Tapia, Tighten the computation of worst-case execution-time by detecting feasible paths, Performance , Computing, and Communications Conference IPCCC'00. Conference Proceeding of the IEEE International, pp.430-436, 2000.

[. Barany, SATIrE within ALL-TIMES: Improving timing technology with source code analysis, Kolloquium Programmiersprachen und Grundlagen der Programmierung, p.230, 2009.

A. Bonenfant, H. Cassé, M. De-michiel, J. Knoop, L. Kovács et al., FFX, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.91-100, 2012.
DOI : 10.1145/2392987.2392999

[. Bernat, A. Colin, M. Stefan, and . Petters, WCET analysis of probabilistic hard real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., pp.279-288, 2002.
DOI : 10.1109/REAL.2002.1181582

[. Bernat, A. Colin, and S. Petters, pwcet: A tool for probabilistic worst-case execution time analysis of real-time systems, REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 2003.

[. Ballabriga, H. Cassé, C. Rochange, and P. Sainrat, OTAWA: An Open Toolbox for Adaptive WCET Analysis, Software Technologies for Embedded and Ubiquitous Systems, pp.35-46, 2010.
DOI : 10.1007/978-3-642-16256-5_6
URL : https://hal.archives-ouvertes.fr/hal-01055378

A. Bonenfant, M. De-michiel, and P. Sainrat, oRange: A tool for static loop bound analysis, Workshop on Resource Analysis, p.8, 2008.

[. Blackham, M. Liffiton, and G. Heiser, Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.2014-2034, 2014.
DOI : 10.1109/RTAS.2014.6926000

A. Betts, N. Merriam, and G. Bernat, Hybrid measurement-based WCET analysis at the source level using object-level traces Barany and A. Prantl. Source-level support for timing analysis, WCET Conference on Leveraging Applications of Formal Methods, Verification, and Validation, pp.54-63, 2010.

T. Bray, J. Paoli, C. Michael-sperberg-mcqueen, E. Maler, and F. Yergeau, Extensible markup language (XML) World Wide Web Consortium Recommendation REC-xml-19980210, 1998.

[. Callahan, J. Dongarra, and D. Levine, Vectorizing compilers: a test suite and results, Proceedings. SUPERCOMPUTING '88, pp.98-105, 1988.
DOI : 10.1109/SUPERC.1988.44642

[. Chapman, Worst-case timing analysis via finding longest paths in SPARK Ada basic-path graphs, 1994.

M. Chen, A Timing Analysis Language-(TAL), 1987.

[. Cassé, C. Maiza, C. Parent-vigouroux, and P. Raymond, Schedulability and modular analysis: how to fit timing model? In OPRTC, 2014.

I. [. Colin and . Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, pp.249-274, 2000.

[. Cplex, Optimization Studio?High-performance mathematical programming engine

[. Caspi, P. Raymond, and S. Tripakis, Synchronous programming . Handbook of Real-Time and Embedded Systems, 2008.

M. De-michiel, A. Bonenfant, C. Ballabriga, and H. Cassé, Partial Flow Analysis with oRange (short paper) In Symposium On Leveraging Applications of Formal Methods, Verification and Validation, number 6416 in LNCS, pp.479-482, 2010.

A. [. Engblom, P. Ermedahl, and . Altenbernd, Facilitating worst-case execution times analysis for optimized code, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.146-153, 1998.
DOI : 10.1109/EMWRTS.1998.685079

A. Emurian, L. Raghavan, J. M. Shao, M. Rosen, K. P. Papaefthymiou et al., Pitfalls of accurately benchmarking thermally adaptive chips, Workshop on Duplicating, Deconstructing, and Debunking (WDDD), 2014.

C. Ferdinand and R. Heckmann, aiT: Worst-Case Execution Time Prediction by Static Program Analysis, Building the Information Society, pp.377-383, 2004.
DOI : 10.1007/978-1-4020-8157-6_29

[. Ferdinand, R. Heckmann, and B. Franzen, Static memory and timing analysis of embedded systems code, Proceedings of VVSS2007-3rd European Symposium on Verification and Validation of Software Systems, 23rd of March, pp.7-11, 2007.

R. Fhl-+-01-]-christian-ferdinand, M. Heckmann, F. Langenbach, M. Martin, H. Schmidt et al., Reliable and precise WCET determination for a real-life processor, Embedded Software, pp.469-485, 2001.

H. Finkel, Autovectorization with LLVM

H. Falk, C. Jan, and . Kleinsorge, Optimal static WCET-aware scratchpad allocation of program code, Proceedings of the 46th Annual Design Automation Conference on ZZZ, DAC '09, pp.732-737, 2009.
DOI : 10.1145/1629911.1630101

[. Falk, P. Lokuciejewski, and H. Theiling, Design of a WCETaware C compiler, Proceedings of the Embedded Systems for Real Time Multimedia, pp.121-126, 2006.

H. Falk and M. Schwarzer, Loop nest splitting for WCEToptimization and predictability improvement, Embedded Systems for Real Time Multimedia, Proceedings of the, pp.115-120, 2006.

J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, The Mälardalen WCET Benchmarks: Past, Present And Future, pp.136-146, 2010.

[. Gustafsson, A. Ermedahl, and B. Lisper, Algorithms for infeasible path calculation, WCET. Citeseer, 2006.

J. Gustafsson, A. Ermedahl, C. Sandberg, and B. Lisper, Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.57-66, 2006.
DOI : 10.1109/RTSS.2006.12

S. Robert, G. L. Garfinkel, and . Nemhauser, Integer programming, 1972.

J. Gustafsson, The worst case execution time tool challenge In Leveraging Applications of Formal Methods, Verification and Validation, Second International Symposium on, pp.233-240, 2006.

[. Gwennap, Digital, mips add multimedia extensions, Microprocessor Report, vol.10, issue.15, pp.24-28, 1996.

N. Holsti, J. Gustafsson, L. Källberg, and B. Lisper, Combining Bound-T and SWEET to Analyse Dynamic Control Flow in Machine- Code Programs, 2014.

D. [. Huber, P. Prokesch, and . Puschner, Combined WCET Analysis of Bitcode and Machine Code Using Control-flow Relation Graphs, Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp.163-172, 2013.

[. Holsti and S. Saarinen, Status of the Bound-T WCET tool. Space Systems Finland Ltd, 2002.

S. Hepp and M. Schoeberl, Worst-Case Execution Time Based Optimization of Real-Time Java Programs, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.64-70, 2012.
DOI : 10.1109/ISORC.2012.17

D. [. Healy and . Whalley, Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering, vol.28, issue.8, p.28, 2002.
DOI : 10.1109/TSE.2002.1027799

. Heptane, Hades embedded processor timing analyzer) static WCET estimation tool

]. R. Kir02 and . Kirner, The programming language wcetC, 2002.

]. R. Kir03 and . Kirner, Extending optimising compilation to support worst-case execution time analysis, 2003.

. Kkp-+-07-]-r, J. Kirner, A. Knoop, M. Prantl, I. Schordan et al., WCET analysis: The annotation language challenge, PostWorkshop Proceedings of the 7th Int'l Workshop on WorstCase Execution Time Analysis, pp.83-99, 2007.

R. Kirner, A. Kadlec, A. Prantl, M. Schordan, and J. Knoop, Towards a Common WCET Annotation Language: Essential Ingredients, 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, Germany. also published in print by Austrian Computer Society (OCG) under, 2008.

R. Kirner, J. Knoop, A. Prantl, M. Schordan, and A. Kadlec, Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Software & Systems Modeling, pp.411-437, 2011.

[. Knoop, L. Kovács, and J. Zwirchmayr, An Evaluation of WCET Analysis using Symbolic Loop Bounds. na, 2011.

]. J. Kkz12a, L. Knoop, J. Kovács, and . Zwirchmayr, Symbolic Loop Bound Computation for WCET Analysis, Perspectives of Systems Informatics, pp.227-242, 2012.

J. Knoop, L. Kovács, and J. Zwirchmayr, r-TuBound: Loop Bounds for WCET Analysis (Tool Paper), Logic for Programming, Artificial Intelligence, and Reasoning, pp.435-444, 2012.
DOI : 10.1007/978-3-642-28717-6_34

A. Apostolos and . Kountouris, Safe and efficient elimination of infeasible execution paths in wcet estimation, Real-Time Computing Systems and Applications, 1996. Proceedings., Third International Workshop on, pp.187-194, 1996.

R. Kirner and P. Puschner, Transformation of path information for WCET analysis during compilation, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.29-36, 2001.
DOI : 10.1109/EMRTS.2001.933993

R. Kirner and P. Puschner, Timing analysis of optimized code In Object-Oriented Real-Time Dependable Systems, Proceedings of the Eighth International Workshop on, pp.100-105, 2003.

P. [. Kirner, A. Puschner, and . Prantl, Transforming flow information during code optimization for timing analysis. Real-Time Systems, pp.72-105, 2010.

[. Kirner, P. Puschner, and I. Wenzel, Measurementbased worst-case execution time analysis using automatic test-data generation . na, 2004.

E. Kligerman and A. D. Stoyenko, Real-Time Euclid: A language for reliable real-time systems, IEEE Transactions on Software Engineering, vol.12, issue.9, pp.941-949, 1986.
DOI : 10.1109/TSE.1986.6313049

[. Larsen and S. Amarasinghe, Exploiting superword level parallelism with multimedia instruction sets, 2000.
DOI : 10.1145/358438.349320
URL : http://cag.lcs.mit.edu/commit/papers/00/SLarsen-SM.pdf

V. [. Lattner and . Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.75-88, 2004.
DOI : 10.1109/CGO.2004.1281665

P. Lokuciejewski, D. Cordes, H. Falk, and P. Marwedel, A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models, Int'l Symp. on Code Generation and Optimization (CGO), 2009.

A. Luppold and H. Falk, Schedulability-oriented wcet-optimization of hard real-time multitasking systems, Proceedings of JRWRTC, pp.9-12, 2014.

H. Lokuciejewski, M. Falk, P. Schwarzer, H. Marwedel, and . Theiling, Influence of procedure cloning on WCET prediction, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis , CODES+ISSS '07, pp.137-142, 2007.
DOI : 10.1145/1289816.1289852

P. Lokuciejewski, F. Gedikli, P. Marwedel, and K. Morik, Automatic WCET reduction by machine learning based heuristics for function inlining, 3rd Workshop on Statistical and Machine Learning Approaches to Architectures and Compilation (SMART), pp.1-15, 2009.

B. Lisper, SWEET?A tool for WCET flow analysis In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, pp.482-485, 2014.

X. Li, Y. Liang, T. Mitra, and A. Roychoudhury, Chronos: A timing analyzer for embedded software, Science of Computer Programming, vol.69, issue.1-3, pp.56-67, 2007.
DOI : 10.1016/j.scico.2007.01.014

. Yau-tsun-steven, S. Li, and . Malik, Performance Analysis of Embedded Software Using Implicit Path Enumeration, 32nd Design Automation Conference, pp.88-98, 1995.
DOI : 10.1109/DAC.1995.249991

P. Lokuciejewski and P. Marwedel, Combining Worst-Case Timing Models, Loop Unrolling, and Static Loop Analysis for WCET Minimization, 2009 21st Euromicro Conference on Real-Time Systems, pp.35-44, 2009.
DOI : 10.1109/ECRTS.2009.9

[. Li, I. Puaut, and E. Rohou, Traceability of Flow Information, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, p.97, 2014.
DOI : 10.1145/2659787.2659805
URL : https://hal.archives-ouvertes.fr/hal-01072138

[. Li, I. Puaut, and E. Rohou, Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, 2015.
DOI : 10.1109/RTCSA.2015.18
URL : https://hal.archives-ouvertes.fr/hal-01177902

[. Mok, P. Amerasinghe, M. Chen, and K. Tantisirivat, Evaluating tight execution time bounds of programs by annotations, IEEE Real-Time Systems Newsletter, vol.5, issue.2-3, pp.81-86, 1989.

J. Merrill, Generic and Gimple: A new tree representation for entire functions, Proceedings of the 2003 GCC Developers' Summit, pp.171-179, 2003.

Y. Maleki, M. J. Gao, T. Garzaran, . Wong, A. David et al., An Evaluation of Vectorizing Compilers, 2011 International Conference on Parallel Architectures and Compilation Techniques, pp.372-382, 2011.
DOI : 10.1109/PACT.2011.68

[. Naishlos, Autovectorization in GCC, Proceedings of the 2004 GCC Developers Summit, pp.105-118, 2004.

[. Nuzman, GCC-loops benchmarks for LLVM. https

[. Park, Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, pp.31-62, 1993.

A. Prantl, J. Knoop, M. Schordan, and M. Triska, Constraint solving for high-level WCET analysis, 2009.

[. Plazar, P. Lokuciejewski, and P. Marwedel, A retargetable framework for multi-objective WCET-aware high-level compiler optimizations, Proceedings of The 29th IEEE Real-Time Systems Symposium (RTSS) WiP, pp.49-52, 2008.

[. Parsa and S. Mehdi, A XML-Based Representation of Timing Information for WCET Analysis, Journal of mathematics and computer science, vol.8, pp.205-214, 2014.

D. Peter-puschner, B. Prokesch, J. Huber, S. Knoop, G. Hepp et al., The T-CREST approach of compiler and WCETanalysis integration, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on, pp.1-8, 2013.

C. Park, C. Alan, and . Shaw, Experiments with a program timing tool based on source-level timing schema, Real-Time Systems Symposium, 1990. Proceedings., 11th, pp.72-81, 1990.

P. Peter, . Puschner, V. Anton, and . Schedl, Computing maximum task execution times?a graph-based approach. Real-Time Systems, pp.67-91, 1997.

A. Prantl, M. Schordan, and J. Kiel, Tubound?a conceptually new tool for worst-case execution time analysis, p.117, 2008.

P. Raymond, A general approach for expressing infeasibility in implicit path enumeration technique, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, pp.1-9, 2014.
DOI : 10.1145/2656045.2656046

[. Rodrigues, M. Florido, S. Melo, and . Sousa, Back annotation in action: from wcet analysis to source code verification, 2011.

[. Roeser, A. Luppold, and H. Falk, Multi-criteria optimization of hard real-time systems, Proceedings of the JRWRTC, 2014.

C. [. Raymond, C. Maiza, F. Parent-vigouroux, and . Carrier, Timing analysis enhancement for synchronous program, Int'l Conference on Real-Time and Network Systems (RTNS), pp.141-150, 2013.

[. Rohou, K. Williams, and D. Yuste, Vectorization technology to improve interpreter performance, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-2622, 2013.
DOI : 10.1145/2400682.2400685
URL : https://hal.archives-ouvertes.fr/hal-00747072

. Sat and . Satire, Static Analysis Tool Integration Engine

[. Schoeberl, W. Puffitsch, R. Ulslev-pedersen, and B. Huber, Worst-case execution time analysis for a Java processor . Software: Practice and Experience, pp.507-542, 2010.

[. Ltd, Bound-T time and stack analyser

. Tra, . Traces, U. P. Irit, and . Sabatier, OTAWA: Open Tool for Adaptive WCET Analyses

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case executiontime problem?overview of methods and survey of tools, ACM Trans. Embed . Comput. Syst, vol.736, issue.3, pp.1-36, 2008.

[. Zhao, W. Kreahling, D. Whalley, C. Healy, and F. Mueller, Improving WCET by optimizing worst-case paths, Real Time and Embedded Technology and Applications Symposium, RTAS 2005. 11th IEEE, pp.138-147

]. Zhao, P. Kulkarni, D. Whalley, C. Healy, F. Mueller et al., Timing the WCET of embedded applications, Real-Time and Embedded Technology and Applications Symposium Proceedings. RTAS 2004. 10th IEEE, pp.472-481, 2004.