Performance analysis of embedded software using implicit path enumeration

Yau Tsun Steven Li, Sharad Malik

Research output: Contribution to journalConference articlepeer-review

217 Scopus citations

Abstract

Embedded computer systems are characterized by the presence of a processor running application specific software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the bound on the running time of a given program on a given processor. An important aspect of this problem is determining the extreme case program paths. 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, which considers all paths implicitly by using integer linear programming. This solution is implemented in the program cinderella which currently targets a popular embedded processor - the Intel i960. The preliminary results of using this tool are presented here.

Original languageEnglish (US)
Pages (from-to)456-461
Number of pages6
JournalProceedings - Design Automation Conference
DOIs
StatePublished - 1995
EventProceedings of the 32nd Design Automation Conference - San Francisco, CA, USA
Duration: Jun 12 1995Jun 16 1995

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Control and Systems Engineering

Fingerprint

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

Cite this