Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems

An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these external constraints translate to time budgets, called the internal constraints, on the tasks of the system. Knowing these time budgets reduces the complexity of the system's design and validation problem and helps the designers have a simultaneous control on the system's functional as well as temporal correctness from the beginning of the design ow. The translation is carried out by rst deriving the rate of each task in the system, hence the term rate derivation", using the system's task structure and the rates of the input stimuli coming into the system from its environment. The derived task rates are later used to derive and validate the rest of the internal as well as external constraints. This paper proposes a general task graph model to represent the system's task structure, tech...

• Type: Conference
• Year: 1998
• Where: DAC
• Authors: Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
• Keywords: DAC 1998, Design Automation, External Constraints, Internal Constraints, Strict Timing Constraints