Performance comparison of techniques on static path analysis of WCET

Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

11 Citations (Scopus)

Abstract

Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Currently, there is an argument in the research community whether model checking is another good solution for WCET analysis, besides ILP. To our knowledge, no paper so far has addressed this argument with real performance data. In this paper, we implement both ILP and model checking for static path analysis of WCET, and the experiment results show that ILP yields very good performance, while model checking only works well for simple programs, and it is inclined to scalability problems when dealing with programs that have complex structures and large loop counts.
Original languageEnglish
Title of host publicationProceedings of The 5th International Conference on Embedded and Ubiquitous Computing, EUC 2008
Pages104-111
Number of pages8
Volume1
DOIs
Publication statusPublished - 1 Dec 2008
Externally publishedYes
Event5th International Conference on Embedded and Ubiquitous Computing, EUC 2008 - Shanghai, China
Duration: 17 Dec 200820 Dec 2008

Conference

Conference5th International Conference on Embedded and Ubiquitous Computing, EUC 2008
Country/TerritoryChina
CityShanghai
Period17/12/0820/12/08

Keywords

  • ILP
  • Model checking
  • Real-time
  • Static path analysis
  • WCET

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software
  • Communication

Cite this