Compositional schedulability analysis for cyber-physical systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Wireless channel access reservation for embedded real-time systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Optimal virtual cluster-based multiprocessor scheduling
Real-Time Systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
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
CARTS: a tool for compositional analysis of real-time systems
ACM SIGBED Review
RT-Xen: towards real-time hypervisor scheduling in xen
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Multi-level hierarchical scheduling in ethernet switches
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Designing VM schedulers for embedded real-time applications
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Theoretical Computer Science
Proceedings of the 20th International Conference on Real-Time and Network 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)
Tractable schedulability analysis and resource allocation for real-time multimodal systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
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 |
Compositional schedulability analysis of hierarchical scheduling frameworks is a well studied problem, as it has wide-ranging applications in the embedded systems do- main. Several techniques, such as periodic resource model based abstraction and composition, have been proposed for this problem. However these frameworks are sub-optimal because they incur bandwidth overhead. In this work, we introduce the Explicit Deadline Periodic (EDP) resource model, and present compositional analysis techniques un- der EDF and DM. We show that these techniques are band- width optimal, in that they do not incur any bandwidth over- head in abstraction or composition. Hence, this framework is more efficient when compared to existing approaches.