Constraints on the delay and execution rate of operations in an embedded application are needed to ensure its timely interaction with a reactive environment. In this paper, we present a static analysis of the timing constraints satis ability by a given system design consisting of interacting hardware and software components. We use this analysis to evaluate… (More)