Visualization and formalization of user constraints for tight estimation of worst-case execution time

Jong In Lee, Ho Jung Bang, Tai Hyo Kim, Sung Deok Cha

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)24-31
Number of pages8
JournalIEICE Transactions on Information and Systems
Issue number1
Publication statusPublished - 2009


  • Control flow graph
  • Finite automata
  • User constraint
  • Worst-case execution time

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence


Dive into the research topics of 'Visualization and formalization of user constraints for tight estimation of worst-case execution time'. Together they form a unique fingerprint.

Cite this