Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Performance analysis of multimedia applications using correlated streams
Proceedings of the conference on Design, automation and test in Europe
SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Compositional real-time scheduling framework with periodic model
ACM Transactions on Embedded Computing Systems (TECS)
Towards verifiable deeply embedded systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Optimal virtual cluster-based multiprocessor scheduling
Real-Time Systems
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A process algebraic framework for modeling resource demand and supply
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Implementation of compositional scheduling framework on virtualization
ACM SIGBED Review
Sharing resources among independently-developed systems on multi-cores
ACM SIGBED Review
Toward probabilistic real-time calculus
ACM SIGBED Review
RT-Xen: towards real-time hypervisor scheduling in xen
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Demand bound server: generalized resource reservation for hard real-time systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Theoretical Computer Science
On the use of greedy shapers in real-time embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A compositional framework for real-time embedded systems
ISAS'05 Proceedings of the Second international conference on Service Availability
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
Synchronous interface theories and time triggered scheduling
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Compositional real-time scheduling framework for periodic reward-based task model
Journal of Systems and Software
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Bandwidth allocation for fixed-priority-scheduled compositional real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Design synthesis and optimization for automotive embedded systems
Proceedings of the 2014 on International symposium on physical design
| Hi-index | 0.00 |
Our goal is to develop a compositional real-time scheduling framework so that global (system-level) timing properties can be established by composing independently (specified and) analyzed local (component-level) timing properties. The two essential problems in developing such a framework are (1) to abstract the collective real-time requirements of a component as a single real-time requirement and (2) to compose the component demand abstraction results into the system-level real-time requirement. In our earlier work, we addressed the problems using the Liu and Layland periodic model. In this paper, we address the problems using another well-known model, a bounded-delay resource partition model, as a solution model to the problems. To extend our framework to this model, we develop an exact feasibility condition for a set of bounded-delay tasks over a bounded-delay resource partition. In addition, we present simulation results to evaluate the overheads that the component demand abstraction results incur in terms of utilization increase. We also present new utilization bound results on a bounded-delay resource model.