The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347389
Advanced compiler design and implementation, 1997. ,
Fast and precise WCET prediction by separated cache and path analyses, Real-Time Systems, vol.18, issue.2/3, pp.157-179, 2000. ,
DOI : 10.1023/A:1008141130870
A compiler framework for the reduction of worst-case execution times, Real-Time Systems, vol.33, issue.5, pp.251-300, 2010. ,
DOI : 10.1007/s11241-010-9101-x
Performance analysis of embedded software using implicit path enumeration, Design Automation Conference, pp.456-461, 1995. ,
Pipeline timing analysis using a trace-driven simulator, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999. ,
DOI : 10.1109/RTCSA.1999.811197
Modeling out-oforder processors for WCET estimation, Time Systems Journal, vol.34, issue.3, 2006. ,
Worst case execution time analysis for a processor with branch prediction, Real-Time Systems, vol.18, issue.2/3, pp.249-274, 2000. ,
DOI : 10.1023/A:1008149332687
Efficient microarchitecture modeling and path analysis for real-time software, Proceedings 16th IEEE Real-Time Systems Symposium, pp.298-307, 1995. ,
DOI : 10.1109/REAL.1995.495219
Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.12-21, 1999. ,
DOI : 10.1109/REAL.1999.818824
Static cache simulation and its applications, 1994. ,
Cache behavior prediction for real-time systems, 1997. ,
Reliable and Precise WCET Determination for a Real-Life Processor, EMSOFT '01: Proceedings of the First International Workshop on Embedded Software, ser. Lecture Notes in Computer Science, pp.469-485, 2001. ,
DOI : 10.1007/3-540-45449-7_32
The influence of processor architecture on the design and the results of WCET tools, Proceedings of the IEEE, vol.91, issue.7, p.7, 2003. ,
DOI : 10.1109/JPROC.2003.814618
Timing analysis for data and wrap-around fill caches, Real-Time Systems, vol.17, issue.2/3, pp.209-233, 1999. ,
DOI : 10.1023/A:1008190423977
Unified Cache Modeling for WCET Analysis and Layout Optimizations, 2009 30th IEEE Real-Time Systems Symposium, pp.47-56, 2009. ,
DOI : 10.1109/RTSS.2009.20
WCET analysis of instruction cache hierarchies, Journal of Systems Architecture, vol.57, issue.7, 2010. ,
DOI : 10.1016/j.sysarc.2010.08.007
URL : https://hal.archives-ouvertes.fr/hal-00639454
Compositional static instruction cache simulation, Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, ser. LCTES '04, pp.136-145, 2004. ,
A modular and retargetable framework for tree-based WCET analysis, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.37-44, 2001. ,
DOI : 10.1109/EMRTS.2001.933995
Scope-Aware Data Cache Analysis for WCET Estimation, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011. ,
DOI : 10.1109/RTAS.2011.27
Timing predictability of cache replacement policies, Real-Time Systems, vol.28, issue.2???3, pp.99-122, 2007. ,
DOI : 10.1007/s11241-007-9032-3