Feasibility analysis of real-time transactions
Real-Time Systems
Reducing the gap between design and scheduling
Proceedings of the 20th International Conference on Real-Time and Network Systems
| Hi-index | 0.00 |
Formal models used for representing recurrent real-time processes have traditionally been characterized with a period parameter that specifies the minimum amount of time that may elapse between successive invocations of the process. However a recently proposed model called the non-cyclic GMF model has the distinctive feature that there need be no single period parameter characterizing the recurrent behavior of the task. This paper studies the implications of removing the restriction of requiring a unique period parameter to other previously-proposed models for representing recurrent processes. It is shown that removing this restriction represents a significant generalization to these prior models. Despite the added generality, however, feasibility analysis on preemptive uniprocessors remains tractable.