Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques

References

• SimICS/Sun4m: A Virtual WorkstationPeter Magnusson, Fredrik Dahlgren, Håkan Grahn — 1998
• On the false path problem in hard real-time programsP. Altenbernd — 1996
• Complete worst-case execution time analysis of straight-line hard real-time programsFriedhelm Stappert, P. Altenbernd — 2000
• Embra: fast and flexible machine simulationEmmett Witchel, Mendel Rosenblum — 1996
• An accurate worst case timing analysis technique for RISC processorsSung-Soo Lim, Young Hyun Bae, Gyu Tae Jang — 1994
• Bounding loop iterations for timing analysisChristopher Healy, Mikael Sjödin, V. Rustagi — 1998
• Efficient worst case timing analysis of data cachingSung-Kwan Kim, Sang Lyul Min, Rhan Ha — 1996
• Hardware/Software Architectures for Real-Time CachingBruce Jacob — 1999
• Integrating the timing analysis of pipelining and instruction cachingChristopher Healy, David Whalley, Marion G. Harmon — 1995
• Timing analysis for data caches and set-associative cachesRandall T. White, Frank Mueller, Christopher Healy — 1997
• Efficient microarchitecture modeling and path analysis for real-time softwareY.-T.S. Li, Sharad Malik, A. Wolfe — 1995
• Worst-case execution time analysis for modern hardware architecturesG. Ottosson, S. Mikael — 1997
• Automatic Accurate Time-Bound Analysis for High-Level LanguagesY. Liu, G. Gomez — 1998
• Deriving Annotations for Tight Calculation of Execution TimeAndreas Ermedahl, J. Gustafsson — 1997

Cited by

• Breaking Down Complexity for Reliable System-Level Timing ValidationDirk Ziegenbein, Marek Jersak, Kai Richter — 2002
• An Approach to Symbolic Worst-Case Execution Time AnalysisGuillem Bernat, Alan Burns — 2000
• Specification, modelling, verification and runtime analysis of real time systemsGeorge Logothetis — 2004
• Estimation de temps d'éxécution au pire cas par analyse statique et application aux systèmes d'exploitation temps réelA. Colin — 2001
• Cache and Compiler Interaction : How to analyze, optimize and time cache behaviorX. Vera — 2003
• Symbolic representations in WCET analysisStephan Wilhelm — 2011
• Certifying execution time in multicoresVítor Rodrigues, Benny Åkesson, Mário Florido — 2015
• Ensuring Integrity and Service Availability in a Web-Based Control LaboratorySungsoo Lim, Kihwal Lee, Lui Sha — 2001
• A Modular Tool Architecture for Worst-Case Execution Time AnalysisAndreas Ermedahl — 2008
• Towards Industry-Strength Worst-Case Execution Time AnalysisJakob Engblom, Andreas Ermedahl, Mikael Sjödin — 1999
• A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application DevelopmentRaimund Kirner, Peter Puschner — 2003
• A WCET Analysis Method for Pipelined Microprocessors with Cache MemoriesThomas Lundqvist — 2002
• Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating SystemMartin Carlsson, Jakob Engblom, Andreas Ermedahl — 2002
• Integrated Control and SchedulingKarl-Erik Årzén, Bo Bernhardsson, Johan Eker — 1999
• Predicting Time and Memory Demands of Object-Oriented ProgramsPatrik Persson — 2000
• Supporting Timing Analysis by Automatic Bounding of Loop IterationsChristopher Healy, Mikael Sjödin, V. Rustagi — 2000
• Improving WCET by optimizing worst-case pathsWankang Zhao, William Kreahling, David Whalley — 2005
• Interactive Execution Time Predictions using Reference Attributed GrammarsPatrik Persson, Görel Hedin — 1999
• xBIL -- A Hardware Resource Oriented Binary Intermediate LanguageJianqi Shi, Longfei Zhu, Huixing Fang — 2012
• Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysisJakob Engblom — 1999

Related papers

No related papers recorded.