Trends in timing analysis

IFIP International Federation for Information Processing

Volumn 225, Issue , 2006, Pages 85-94

  Lisper, Björn ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

Program analysis; Real time system; Timing analysis

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; TIMING CIRCUITS;

PERSONAL PERSPECTIVE; PROGRAM ANALYSIS; TIMING ANALYSIS; UPPER BOUND; WCET ANALYSIS; WORST-CASE EXECUTION TIME ANALYSIS;

EMBEDDED SYSTEMS;

EID: 33846663509     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-39362-9_10     Document Type: Conference Paper

References (27)

1. Guillem Bernat, Antoine Colin, and Stefan M. Fetters. WCET analysis of probabilistic hard real-time systems. In Proc. 23rd IEEE Real-Time Systems Symposium, 2002.
2. François Bodin and Isabelle Puaut. A WCET-oriented static branch prediction scheme for real time systems. In Proc. 17th Euromicro Conference of Real-Time Systems, pages 33-40, July 2005.
3. Bound-T tool homepage, 2006. www.tidorum.fi/bound-t/.
4. Jakob Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, Sweden, April 2002.
5. Andreas Ermedahl, Jan Gustafsson, and Björn Lisper. Experiences from industrial WCET analysis case studies. In Reinhard Wilhelm, editor, Proc. 5th Int. Workshop on Worst-Case Execution Time Analysis, pages 19-22, Palma de Mallorca, July 2005.
6. Christian Ferdinand and Reinhard Wilhelm. Efficient and precise cache behavior prediction for real-time systems. Real-Time Systems, 17:131-181, 1999.
7. Jan Gustafsson, Andreas Ermedahl, and Björn Lisper. Towards a flow analysis for embedded system C programs. In Proc. 10th IEEE Int. Workshop on Object-oriented Real-time Dependable Systems, Sedona, USA, February 2005.
8. C. Healy, R. Arnold, Frank Müller, David Whalley, and M. Harmon. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers, 48(1), January 1999.
9. John Hughes, Lars Pareto, and Amr Sabry. Proving the correctness of reactive systems using sized types. In Proc. 23rd ACM Symposium on Principles of Programming Languages, pages 410-423, 1996.
10. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, Hertfordshire, UK, 1993.
11. Raimund Kirner. Extending Optimising Compilation to Support Worst-Case Execution Time Analysis. PhD thesis, Technische Universität Wien, Austria, 2003.
12. Raimund Kirner, R. Lang, G. Freiberger, and Peter Puschner. Fully automatic worst-case execution time analysis for matlab/simulink models. In Proc. 14th Euromicro Conf. of Real-Time Systems, pages 31-40, June 2002.
13. Raimund Kirner and Peter Puschner. Transformation of path information for WCET analysis during compilation. In Proc. 13th Euromicro Conf. of Real-Time Systems, pages 29-36, Delft, June 2001. IEEE Computer Society Press.
14. Y-T. S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In Proc. 32:nD Design Automation Conf., pages 456-461, 1995.
15. S. Lim, J. Han, J. Kim, and S. L. Min. A worst case timing analysis technique for multiple-issue machines. In Proc. 19th IEEE Real-Time Systems Symposium, December 1998.
16. Björn Lisper. Fully automatic, parametric worst-case execution time analysis. In Jan Gustafsson, editor, Proc. 3rd International Workshop on Worst-Case Execution Time Analysis), pages 77-80, Porto, July 2003.
17. Thomas Lundqvist and Per Stenström. An integrated path and timing analysis method based on cycle-level symbolic execution. Journal of Real-Time Systems, May 2000.
18. Chang Yun Park and Alan C. Shaw. Experiments with a program timing tool based on a source-level timing schema. IEEE Computer, 24(5):48-57, 1991.
19. Peter Puschner and Guillem Bernat. WCET analysis of reusable portable code. In Proc. 13th Euromicro Conf of Real-Time Systems, pages 45-52, Delft, June 2001.
20. Peter P. Puschner and Alan Burns. Writing temporally predictable code. In Proc. 7th IEEE Int. Workshop on Object-oriented Real-time Dependable Systems, pages 85-94, San Diego, January 2002. IEEE Computer Society.
21. Peter P. Puschner and Anton V. Schedl. Computing maximum task execution times - a graph-based approach. Journal of Real-Time Systems, 13(1):67-91, July 1997.
22. D. Sandell, A. Ermedahl, J. Gustafsson, and B. Lisper. Static Timing Analysis of Real-Time Operating System Code. In Proc. 1st Int. Symposium on Leveraging Applications of Formal Methods, October 2004.
23. Friedhelm Stappert, Andreas Ermedahl, and Jakob Engblom. Efficient longest executable path search for programs with complex flows and pipeline effects. In Proc. 4th Int. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems, November 2001.
24. S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University, 2004.
25. Xavier Vera, Björn Lisper, and Jingling Xue. Data Cache Locking for Higher Program Predictability. In Proc. Int. Conf. on Measurement and Modeling of Computer Systems, pages 272-282, San Diego, CA, June 2003. ACM Press.
26. Lars Wehmeyer and Peter Marwedel. Influence of onchip scratchpad memories on WCET prediction. In Isabelle Puaut, editor, Proc. 4th Int. Workshop on Worst-Case Execution Time Analysis, pages 15-18, Catania, June 2004.
27. Stephan Wilhelm. Efficient analysis of pipeline models for WCET computation. In Reinhard Wilhelm, editor, Proc. 5th Int. Workshop on Worst-Case Execution Time Analysis, pages 19-22, Palma de Mallorca, July 2005.