Improved worst-case response-time calculations by upper-bound conditions
Victor Pollex, Steffen Kollmann, Karsten Albers, Frank Slomka · 2009
Fast real-time feasibility tests and analysis algo-rithms are necessary for a high acceptance of the for-mal techniques by industrial software engineers. This paper presents a possibility to reduce the computation time required to calculate the worst-case response time of a task in a fixed-priority task set with jitter by a considerable amount of time. The correctness of the approach is proven analytically and experimental comparisons with the currently fastest known tests show the improvement of the new method. 1.