Performance analysis of embedded software using implicit path enumeration

• Published in: IEEE transactions on computer-aided design of integrated circuits and systems 1997-12, Vol.16 (12), p.1477-1487
• Main Authors: Li, Y.-T.S., Malik, S.
• Format: Article
• Language: English
• Subjects: Application software; Application specific integrated circuits; Applied sciences; Computer science; control theory; systems; Computer systems performance. Reliability; Embedded computing; Embedded software; Embedded system; Exact sciences and technology; Job shop scheduling; Logic; Performance analysis; Processor scheduling; Real time systems; Software
• ISSN: 0278-0070; 1937-4151
• DOI: 10.1109/43.664229

Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the extreme (best and worst) case bounds on the running time of a given program on a given processor. This has several applications in the design of embedded systems with real-time constraints. An important aspect of this problem is determining which paths in the program are exercised in the extreme cases. The state-of-the-art solution here relies on an explicit enumeration of program paths. This solution runs out of steam rather quickly since the number of feasible program paths is typically exponential in the size of the program. We present a solution for this problem that does not require an explicit enumeration of program paths, i.e., the paths are considered implicitly. This solution is implemented in the program cinderella (in recognition of her hard real-time constraint-she had to be back home at the stroke of midnight), which currently targets a popular embedded processor-the Intel i960. The preliminary results of using this tool are also presented here.