Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A General Model for Recurring Real-Time Tasks
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A Model of Hierarchical Real-Time Virtual Resources
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Toward Compiler Optimization of Distributed Real-Time Processes
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Preemptive Multiprocessor Scheduling Anomalies
IPDPS '02 Proceedings of the 16th International Symposium on Parallel and Distributed Processing
Periodic Resource Model for Compositional Real-Time Guarantees
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Convex Optimization
Real-time task scheduling anomaly: observations and prevention
Proceedings of the 2005 ACM symposium on Applied computing
Non-Preemptive Robustness under Reduced System Load
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Scheduling Anomaly Detection and Optimization for Distributed Systems with Preemptive Task-Sets
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Sustainable Scheduling Analysis
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
A design framework for real-time embedded systems with code size and energy constraints
ACM Transactions on Embedded Computing Systems (TECS)
Robust Priority Assignment for Fixed Priority Real-Time Systems
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Hi-index | 0.00 |
For real-time systems, most of the analysis involves efficient or exact schedulability checking. While this is important, analysis is often based on the assumption that the task parameters such as execution requirements and inter-arrival times between jobs are known exactly. In most cases, however, only a worst-case estimate of these quantities is available at the time of analysis. It is therefore imperative that schedulability analysis hold for better parameter values (Sustainable Analysis). On the other hand, if the task or system parameters turn out to be worse off, then the analysis should tolerate some deterioration (Robust Analysis). Robust analysis is especially important, because the implication of task schedulability is often weakened in the presence of optimizations that are performed on its code, or dynamic system parameters. In this work, we define and address sustainability and robustness questions for analysis of embedded real-time software that is modeled by conditional real-time tasks. Specifically, we show that, while the analysis is sustainable for changes in the task such as lower job execution times and increased relative deadlines, it is not the case for code changes such as job splitting and reordering. We discuss the impact of these results in the context of common compiler optimizations, and then develop robust schedulability techniques for operations where the original analysis is not sustainable.