
Departmental Papers (CIS)
Date of this Version
10-2008
Document Type
Conference Paper
Recommended Citation
Rajeev Alur and Gera Weiss, "RTComposer: A Framework for Real-Time Components With Scheduling Interfaces", Proceedings of the 8th ACM International Conference on Embedded Software (EMSOFT '08) , 159-168. October 2008. http://dx.doi.org/10.1145/1450058.1450080
Abstract
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 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 microscheduling is implemented on top of a native priority-based scheduler. With this approach, each component can be specified and analyzed in a platform-independent way, and at the same time, the performance can vary with changing load and changing processing speed. We describe an implementation using Real-Time Java. Scheduling specifications can be given as periodic tasks, or using temporal logic, or as omega-automata. Components can be added dynamically, and non-real-time components are allowed. We demonstrate the benefits of the approach using case studies.
Subject Area
CPS Real-Time
Publication Source
Proceedings of the 8th ACM International Conference on Embedded Software (EMSOFT '08)
Start Page
159
Last Page
168
DOI
10.1145/1450058.1450080
Copyright/Permission Statement
© 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date Posted: 17 July 2012