ISBN:  Unavailable

Category: Unavailable

Page count: 22

Abstract: "We present TCEL (Time-Constrained Event Language), whose timing semantics is based solely on the constrained relationships between observable events. In this manner, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate-monotonic scheduling."