RTComposer: a framework for real-time components with scheduling interfaces

  title={RTComposer: a framework for real-time components with scheduling interfaces},
  author={Rajeev Alur and Gera Weiss},
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used for sensing, computation, and actuation, along with a requirement given as a regular set of macro-schedules. Each macro-schedule is an infinite sequence that specifies, for every time slot, the set of component methods invoked in that slot. The macro-scheduler composes the specifications of all the components, along with… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
23 Citations
3 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 23 extracted citations


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…