Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis
Author:
- J. EngblomJEJ. Engblom
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 46-55
Abstract
We have used a modified C compiler to analyze a large number of commercial real-time and embedded applications written in C for 8- and 16-bit processors. Only static aspects of the programs have been studied, i.e. such information that can be obtained from the source code without running the programs.The purpose of the study is to provide guidance for the development of worst-case execution time (WCET) analysis tools, and to increase the knowledge about embedded programs in general. Knowing how real programs are written makes it easier to focus research in relevant areas and set priorities.The conclusion is that real-time and embedded programs are not necessarily simple just because they are written for small machines. This indicates that real-life WCET analysis tools need to handle advanced programming constructions, including function pointer calls and recursion.Keywords
This publication has 8 references indexed in Scilit:
- On the false path problem in hard real-time programs2002
- Bounding loop iterations for timing analysis2002
- Timing analysis for data caches and set-associative caches2002
- Why SpecInt95 should not be used to benchmark embedded systems tools1999
- Deriving annotations for tight calculation of execution time1997
- An accurate worst case timing analysis for RISC processorsIEEE Transactions on Software Engineering, 1995
- Performance analysis of embedded software using implicit path enumeration1995
- A Tool for the Computation of Worst Case Task Execution Times1993