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

fYear

2009

fDate

20-24 April 2009

Firstpage

105

Lastpage

110

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.

Conference_Location

Nice

ISSN

1530-1591

Print_ISBN

978-1-4244-3781-8

Type

conf

DOI

10.1109/DATE.2009.5090641

Filename

5090641