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: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET). Overestimation is mainly due to the existence of the execution paths that turn out to be infeasible or unrealistic when dynamic behavior of the program or environmental assumptions are fully considered. In this paper, we propose a new method and a visual language called User Constraint Language (UCL) to obtain a tight WCET estimation. In our method, both the program and flow information are represented by single formalism-finite automata. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize the execution paths of 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 from which we can obtain a tight WCET using a path-based or Implicit Path Enumeration Technique (IPET)-based calculation method. A case study using part of a satellite flight software program demonstrates the effectiveness of UCL and our approach.

Original languageEnglish
Title of host publicationIEEE Aerospace Conference Proceedings
DOIs
Publication statusPublished - 2008 Aug 19
Externally publishedYes
Event2008 IEEE Aerospace Conference, AC - Big Sky, MT, United States
Duration: 2008 Mar 12008 Mar 8

Other

Other2008 IEEE Aerospace Conference, AC
CountryUnited States
CityBig Sky, MT
Period08/3/108/3/8

Fingerprint

Finite automata
Visualization
Visual languages
Satellites

ASJC Scopus subject areas

  • Aerospace Engineering

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.

IEEE Aerospace Conference Proceedings. 2008. 4526588.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, JI, Bang, HJ, Kim, TH & Cha, S 2008, Visualization and formalization of User Constraints for tight estimation of worst-case execution time. in IEEE Aerospace Conference Proceedings., 4526588, 2008 IEEE Aerospace Conference, AC, Big Sky, MT, United States, 08/3/1. https://doi.org/10.1109/AERO.2008.4526588
Lee, Jong In ; Bang, Ho Jung ; Kim, Tai Hyo ; Cha, Sungdeok. / Visualization and formalization of User Constraints for tight estimation of worst-case execution time. IEEE Aerospace Conference Proceedings. 2008.
@inproceedings{916812fc98134529b8f5005c1ef2b813,
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). Overestimation is mainly due to the existence of the execution paths that turn out to be infeasible or unrealistic when dynamic behavior of the program or environmental assumptions are fully considered. In this paper, we propose a new method and a visual language called User Constraint Language (UCL) to obtain a tight WCET estimation. In our method, both the program and flow information are represented by single formalism-finite automata. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize the execution paths of 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 from which we can obtain a tight WCET using a path-based or Implicit Path Enumeration Technique (IPET)-based calculation method. A case study using part of a satellite flight software program demonstrates the effectiveness of UCL and our approach.",
author = "Lee, {Jong In} and Bang, {Ho Jung} and Kim, {Tai Hyo} and Sungdeok Cha",
year = "2008",
month = "8",
day = "19",
doi = "10.1109/AERO.2008.4526588",
language = "English",
isbn = "1424414881",
booktitle = "IEEE Aerospace Conference Proceedings",

}

TY - GEN

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 - 2008/8/19

Y1 - 2008/8/19

N2 - Automated static timing analysis methods provide a safe but usually overestimated worst-case execution time (WCET). Overestimation is mainly due to the existence of the execution paths that turn out to be infeasible or unrealistic when dynamic behavior of the program or environmental assumptions are fully considered. In this paper, we propose a new method and a visual language called User Constraint Language (UCL) to obtain a tight WCET estimation. In our method, both the program and flow information are represented by single formalism-finite automata. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize the execution paths of 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 from which we can obtain a tight WCET using a path-based or Implicit Path Enumeration Technique (IPET)-based calculation method. A case study using part of a satellite flight software program 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). Overestimation is mainly due to the existence of the execution paths that turn out to be infeasible or unrealistic when dynamic behavior of the program or environmental assumptions are fully considered. In this paper, we propose a new method and a visual language called User Constraint Language (UCL) to obtain a tight WCET estimation. In our method, both the program and flow information are represented by single formalism-finite automata. UCL provides intuitive visual notations with which users can easily specify various levels of flow information to characterize the execution paths of 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 from which we can obtain a tight WCET using a path-based or Implicit Path Enumeration Technique (IPET)-based calculation method. A case study using part of a satellite flight software program demonstrates the effectiveness of UCL and our approach.

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

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

U2 - 10.1109/AERO.2008.4526588

DO - 10.1109/AERO.2008.4526588

M3 - Conference contribution

AN - SCOPUS:49349102263

SN - 1424414881

SN - 9781424414888

BT - IEEE Aerospace Conference Proceedings

ER -