Performance analysis of embedded software using implicit path enumeration

Yau Tsun Steven Li, Sharad Malik

Research output: Contribution to conferencePaperpeer-review

26 Scopus citations

Abstract

Embedded computer systems are characterized by the presence of a processor running application specific dedicated software. A large number of these systems must satisfy realtime 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 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 c inderel la 1 which currently targets a popular embedded processor-the Intel i960. The preliminary results of using this tool are also presented here.

Original languageEnglish (US)
Pages88-98
Number of pages11
DOIs
StatePublished - Nov 1 1995
Event1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995 - San Diego, United States
Duration: Jun 21 1995Jun 22 1995

Other

Other1995 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, LCTES 1995
CountryUnited States
CitySan Diego
Period6/21/956/22/95

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Performance analysis of embedded software using implicit path enumeration'. Together they form a unique fingerprint.

Cite this