Real-Time Task Models

Abstract

AbstractIn safe-critical real-time systems, it is required that the timing constraints must be respected under any circumstance at runtime. To provide such guarantees, the designers need to describe the system behaviors with formal models, based on which timing correctness of the system can be proved. There have been many different real-time task models developed over the years describing different timing behaviors of real-time systems. This article briefly reviews some of the representative real-time task models, focusing on the expressiveness aspect. In particular, this article will cover the basic periodic/sporadic task models with extensions of bursts and jitters, the graph-based real-time task models which can model different possible workload release patterns in a compact model, the parallel real-time task models that can describe the internal parallel workload structures, and the arrival curves in real-time calculus as a general workload representation.