Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

RTComposer: A Framework for Real-Time Components with Scheduling Interfaces

Summary: RTComposer: A Framework for Real-Time
Components with Scheduling Interfaces
Rajeev Alur and Gera Weiss
University of Pennsylvania
alur@cis.upenn.edu, gera@seas.upenn.edu
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 ev-
ery time slot, the set of component methods invoked in that
slot. The macro-scheduler composes the specifications of
all the components, along with the platform specification
that constrains which methods can be executed within a
single slot, to generate a feasible macro-schedule. Within a
slot, we use logical execution time semantics, and this micro-
scheduling is implemented on top of a native priority-based
scheduler. With this approach, each component can be spec-


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania


Collections: Computer Technologies and Information Sciences