Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time
- Authors
- Lee, Jong-In; Bang, Ho-Jung; Kim, Tai-Hyo; Cha, Sung-Deok
- Issue Date
- 1월-2009
- Publisher
- IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG
- Keywords
- worst-case execution time; user constraint; control flow graph; finite automata
- Citation
- IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E92D, no.1, pp.24 - 31
- Indexed
- SCIE
SCOPUS
- Journal Title
- IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
- Volume
- E92D
- Number
- 1
- Start Page
- 24
- End Page
- 31
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/120866
- DOI
- 10.1587/transinf.E92.D.24
- ISSN
- 1745-1361
- Abstract
- Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET) due to infeasible execution paths. In this paper, we propose a visual language, User Constraint Language (UCL), to obtain a tight WCET estimation. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize valid execution paths of a program. The user constraints specified in UCL are translated into finite automata. The combined automaton, constructed by a cross-production of the automata for program and user constraints. reflects the static structure and possible dynamic behavior of the program. It contains only the execution paths satisfying user constraints. A case study using part of a software program for satellite flight demonstrates the effectiveness of UCL and our approach.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Department of Computer Science and Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.