Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
On non-preemptive scheduling of recurring tasks using inserted idle times
Information and Computation
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Analysis of Hierar hical Fixed-Priority Scheduling
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
A Model of Hierarchical Real-Time Virtual Resources
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Periodic Resource Model for Compositional Real-Time Guarantees
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
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
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Compositional real-time scheduling framework with periodic model
ACM Transactions on Embedded Computing Systems (TECS)
Compositional schedulability analysis for cyber-physical 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
Enhancing the platform independence of the real-time specification for Java
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Refining SIRAP with a dedicated resource ceiling for self-blocking
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Improved SIRAP analysis for synchronization in hierarchical scheduled real-time systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Temporal isolation for the cohabitation of applications in automotive embedded software
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
A hierarchical scheduling model for component-based real-time systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Implementation of compositional scheduling framework on virtualization
ACM SIGBED Review
Sharing resources among independently-developed systems on multi-cores
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
A compositional framework for real-time embedded systems
ISAS'05 Proceedings of the Second international conference on Service Availability
A new data flow analysis model for TDM
Proceedings of the tenth ACM international conference on Embedded software
Proceedings of the Conference on Design, Automation and Test in Europe
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
Ada real-time services and virtualization
ACM SIGAda Ada Letters
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Partition configuration for real-time systems with dependencies
Proceedings of the 21st International conference on Real-Time Networks and Systems
Multi-core composability in the face of memory-bus contention
ACM SIGBED Review
Bandwidth allocation for fixed-priority-scheduled compositional real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Fair bandwidth sharing among virtual machines in a multi-criticality scope
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 0.01 |
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum level of interference. This can be achieved using temporal partitions, with each application assigned to its own partition and executing as if it was executing alone on a resource with lower bandwidth. The partitions are associated to servers that execute the application tasks according to a given application-level scheduler. On the other hand, the set of servers is scheduled by a system-level scheduler. This paper addresses the particular case of fixed priorities-based application-level schedulers together with a periodic server model at the system level. It starts with an adequate response time analysis based on the notion of server availability for a known server. Then it addresses the inverse problem of designing a server with minimum system-level resource requirements to fulfill the application time constraints. In this context, the paper shows that response time based schedulability tests with linear time bounds do not need to consider all tasks but just a small subset, which may lead to substantial speed-ups. The proposed method goes a step further with respect to other recent works in the literature by considering a more complete task model, effectively computing the server parameters and establishing a better trade-off concerning complexity and tightness.