Title :
Improved worst-case response-time calculations by upper-bound conditions
Author :
Pollex, Victor ; Kollmann, Steffen ; Albers, Karsten ; Slomka, Frank
Author_Institution :
Inst. of Embedded Syst./Real-Time Syst., Ulm Univ., Ulm, Germany
Abstract :
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal 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.
Keywords :
program diagnostics; program testing; real-time systems; fast real-time feasibility analysis; fast real-time feasibility tests; fixed-priority task set; formal techniques; industrial software engineers; jitter; upper-bound condition; worst-case response time; worst-case response-time calculation; Algorithm design and analysis; Computer industry; Delay; Embedded system; Jitter; Real time systems; Runtime; Software algorithms; Software testing; System testing;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location :
Nice
Print_ISBN :
978-1-4244-3781-8
DOI :
10.1109/DATE.2009.5090641