TY - JOUR
T1 - Performance estimation of embedded software with instruction cache modeling
AU - Li, Yau Tsun Steven
AU - Malik, Sharad
AU - Wolfe, Andrew
PY - 1995/12/1
Y1 - 1995/12/1
N2 - Embedded systems generally interact with the outside world. Thus, some real-time constraints may be imposed on the system design. Verification of these constraints requires computing a tight upper bound on the worst case execution time (WCET) of a hardware/software system. The problem of bounding WCET is particularly difficult on modern processors, which use cache-based memory systems that vary memory access time significantly. This must be accurately modeled in order to tightly bound WCET. Existing approaches either search all possible program paths, an intractable problem, or they use pessimistic assumptions to limit the search space. In this paper we present a far more effective and accurate method for modeling instruction cache activity and computing a tight bound on WCET. It is implemented in the program Cinderella. We present some preliminary results of using this tool on sample embedded programs.
AB - Embedded systems generally interact with the outside world. Thus, some real-time constraints may be imposed on the system design. Verification of these constraints requires computing a tight upper bound on the worst case execution time (WCET) of a hardware/software system. The problem of bounding WCET is particularly difficult on modern processors, which use cache-based memory systems that vary memory access time significantly. This must be accurately modeled in order to tightly bound WCET. Existing approaches either search all possible program paths, an intractable problem, or they use pessimistic assumptions to limit the search space. In this paper we present a far more effective and accurate method for modeling instruction cache activity and computing a tight bound on WCET. It is implemented in the program Cinderella. We present some preliminary results of using this tool on sample embedded programs.
UR - http://www.scopus.com/inward/record.url?scp=0029547603&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0029547603&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0029547603
SN - 1092-3152
SP - 380
EP - 387
JO - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
JF - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
ER -