Title :
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
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;
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
DOI :
10.1109/STFSSD.2009.45
