Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems

Authors:
Hojung Cha;Rhan Ha
Affiliations:
-;-
Venue:
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2002

Citing 7
Cited 0

Methods for validating real-time constraints

Journal of Systems and Software - Double issue on reengineering complex systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
A Systematic Approach to Designing Distributed Real-Time Systems

Computer
Bounding completion times of jobs with arbitrary release times and variable execution times

RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms

RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Schedulability Analysis of Acyclic Processes

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Schedulability Analysis for Tasks with Static and Dynamic Offsets

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

In multiprocessor and distributed real-time systems, scheduling jobs dynamically on processors can be used to achieve better performance. However, analytical and efficient validation methods for determining whether all the timing constraints are met do not yet exist for systems using modern dynamic scheduling strategies, and exhaustive methods are often infeasible or unreliable since the execution time and release time of each job may vary. In this paper, we present several upper bounds and efficient algorithms for computing the worst-case completion times of dependent jobs in dynamic systems where jobs are dispatched and scheduled on available processors in a priority-driven manner. The bounds and algorithms consider arbitrary release times and variable execution times. We present conditions under which dependent jobs execute in a predictable manner.