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

@inproceedings{Alur2008RTComposerAF,
  title={RTComposer: a framework for real-time components with scheduling interfaces},
  author={Rajeev Alur and Gera Weiss},
  booktitle={EMSOFT},
  year={2008}
}
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… CONTINUE READING