1 Introduction
Real-Time systems such as automobile and aircraft controllers have been widely used in our society. Besides performance, time predictability is also essential to these systems. Missing deadlines in those applications may either lead to catastrophic consequences or decrease quality of services. Consequently, it is important to know the worst-case execution time (WCET) of each task, which provides the basis for schedulability analysis in real-time systems, especially for hard real-time and safety-critical systems.