Hybrid measurement-based WCET analysis at the source level using object-level traces

OpenAccess Series in Informatics

Volumn 15, Issue , 2010, Pages 54-63

  Betts, Adam ^a   Merriam, Nicholas ^a   Bernat, Guillem ^a  

^a RAPITA SYSTEMS LTD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCIAL TOOLS; CORRECTIVE ACTIONS; HARDWARE SUPPORTS; INSTRUMENTATION CODE; MEASUREMENT-BASED; MEASUREMENT-BASED APPROACH; SOFTWARE STRUCTURES; WORST-CASE EXECUTION TIME ANALYSIS;

EMBEDDED SYSTEMS; HARDWARE; INSTRUMENTS; PROBES; TOOLS;

STATIC ANALYSIS;

EID: 84880101511     PISSN: 21906807     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/OASIcs.WCET.2010.54     Document Type: Conference Paper

References (14)

1. The Nexus 5001" Forum. http://www.nexus5001.org, April 2010.
2. T. Austin, E. Larson, and D. Ernst. SimpleScalar: an Infrastructure for Computer System Modeling. IEEE Computer, 35(2): 59-67, February 2002.
3. G. Bernat, A. Colin, and S. M. Petters. WCET Analysis of Probabilistic Hard Real-Time Systems. In Proceedings of the 23rd Real-Time Systems Symposium (RTSS'02), December 2002.
4. G. Bernat, M.J. Newby, and A. Burns. Probabilistic Timing Analysis: an Approach using Copulas. Journal of Embedded Computing, 1(2): 179-194, November 2005.
5. J. J. Chilenski and S. P. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, 9(5): 193-200, September 1994.
6. A. Colin and G. Bernat. Scope-tree: a Program Representation for Symbolic Worst-Case Execution Time Analysis. In Proceedings of the 14th Euromicro Conference of Real-Time Systems (ECRTS'02), July 2002.
7. A. Colin and S. M. Petters. Experimental Evaluation of Code Properties for WCET Analysis. In Proceedings of the 24th Real-Time Systems Symposium (RTSS'03), December 2003.
8. ARM development tools. http://www.arm.com, April 2010.
9. J. Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, April 2002.
10. T. W. Harmon. Interactive Worst-case Execution Time Analysis of Hard Real-time Systems. PhD thesis, University of California, Irvine, 2009.
11. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.
12. P. Puschner and C. Koza. Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems, 1(2): 159-176, September 1989.
13. P. Puschner and A. V. Schedl. Computing Maximum Task Execution Times - A GraphBased Approach. Real-Time Systems, 13(1): 67-91, July 1997.
14. F. Stappert, A. Ermedahl, and J. Engblom. Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects. In Proceedings of the international conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'01), November 2001.