Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems

Authors:
H. H. Park;Jiman Hong;S. M. Yang
Affiliations:
Graduate School of Computing, Soongsil University, Seoul, Korea 156-743;School of Computing, Soongsil University, Seoul, Korea 156-743;School of Computing, Soongsil University, Seoul, Korea 156-743
Venue:
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Year:
2008

Citing 4
Cited 0

Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis

Real-Time Systems - Special issue on worst-case execution-time analysis
A Modular & Retargetable Framework for Tree-Based WCET Analysis

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Static timing analysis of real-time operating system code

ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-time support of embedded Operating Systems is essential for contemporary embedded systems. In order to achieve supporting real-time property, it is crucial that schedulability analysis for real-time task is finished before implementing the embedded systems. Acquiring Worst-Case Execution Time (WCET) of task is a core part of this schedulability analysis. In this paper, we design and implement WATERk, WCET analysis tool which deliberates on scheduling primitives of system using embedded Linux. WATERk can estimate WCET of both normal application tasks and corresponding primitives which influence the schedulability of embedded systems. Evaluation Results show that WATERk provides more reliable estimation results compared with traditional WCET tools.