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

Jong In Lee, Ho Jung Bang, Tai Hyo Kim, Sungdeok Cha

Research output: Contribution to journalArticle

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.

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

Fingerprint

Visual languages
Finite automata
Visualization
Satellites

Keywords

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

ASJC Scopus subject areas

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

Cite this

Visualization and formalization of user constraints for tight estimation of worst-case execution time. / Lee, Jong In; Bang, Ho Jung; Kim, Tai Hyo; Cha, Sungdeok.

In: IEICE Transactions on Information and Systems, Vol. E92-D, No. 1, 01.12.2009, p. 24-31.

Research output: Contribution to journalArticle

@article{0cadc570b6cd46e5a3e2b1e14ee220a2,
title = "Visualization and formalization of user constraints for tight estimation of worst-case execution time",
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.",
keywords = "Control flow graph, Finite automata, User constraint, Worst-case execution time",
author = "Lee, {Jong In} and Bang, {Ho Jung} and Kim, {Tai Hyo} and Sungdeok Cha",
year = "2009",
month = "12",
day = "1",
doi = "10.1587/transinf.E92.D.24",
language = "English",
volume = "E92-D",
pages = "24--31",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "1",

}

TY - JOUR

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

AU - Lee, Jong In

AU - Bang, Ho Jung

AU - Kim, Tai Hyo

AU - Cha, Sungdeok

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

KW - Control flow graph

KW - Finite automata

KW - User constraint

KW - Worst-case execution time

UR - http://www.scopus.com/inward/record.url?scp=77950290217&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77950290217&partnerID=8YFLogxK

U2 - 10.1587/transinf.E92.D.24

DO - 10.1587/transinf.E92.D.24

M3 - Article

VL - E92-D

SP - 24

EP - 31

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 1

ER -