Extended Static Analysis for Estimating WCET in Distributed Real Time Systems

Author

Hong, Y.S. ; Goo, H.W.

Author_Institution

Dongguk Univ., Seoul, South Korea

fYear

2009

fDate

17-17 March 2009

Firstpage

83

Lastpage

87

Abstract

In most distributed real-time systems, it is required to estimate the worst-case execution time (WCET) of a program. It is important to consider timing effects of the kernel service time and I/O operations in order to improve the accuracy of WCET. In this work, we attempt to extend the conventional static analysis of source programs for calculating WCET by adding the timing effects of queue wait time in I/O operations and scheduling modules. We analyzed the source code of system calls for queue handling and I/O operations in Linux-kernel. Our implementation experience demonstrates the effectiveness of the proposed approach.

Keywords

Linux; distributed processing; input-output programs; operating system kernels; program diagnostics; queueing theory; real-time systems; I/O operations; Linux-kernel; WCET; conventional static analysis; distributed real time systems; extended static analysis; kernel service time; queue handling; queue wait time; scheduling modules; source code; source programs; system calls; timing effects; worst-case execution time; distributed real-time system; static WCET analysis; timing effect; worst-case execution time;

fLanguage

English

Publisher

ieee

Conference_Titel

Future Dependable Distributed Systems, 2009 Software Technologies for

Conference_Location

Tokyo

Print_ISBN

978-0-7695-3572-2

Electronic_ISBN

978-0-7695-3572-2

Type

conf

DOI

10.1109/STFSSD.2009.45

Filename

4804577