Skip to main navigation Skip to search Skip to main content

Interactive WCET Prediction with Warning for Timeout Risk

  • Fanqi Meng
  • , Xiaohong Su*
  • , Zhaoyang Qu
  • *Corresponding author for this work
  • School of Computer Science and Technology, Harbin Institute of Technology
  • Northeast Electric Power University

Research output: Contribution to journalArticlepeer-review

Abstract

Worst case execution time (WCET) analysis is essential for exposing timeliness defects when developing hard real-time systems. However, it is too late to fix timeliness defects cheaply since developers generally perform WCET analysis in a final verification phase. To help developers quickly identify real timeliness defects in an early programming phase, a novel interactive WCET prediction with warning for timeout risk is proposed. The novelty is that the approach not only fast estimates WCET based on a control flow tree (CFT), but also assesses the estimated WCET with a trusted level by a lightweight false path analysis. According to the trusted levels, corresponding warnings will be triggered once the estimated WCET exceeds a preset safe threshold. Hence developers can identify real timeliness defects more timely and efficiently. To this end, we first analyze the reasons of the overestimation of CFT-based WCET calculation; then we propose a trusted level model of timeout risks; for recognizing the structural patterns of timeout risks, we develop a risk data counting algorithm; and we also give some tactics for applying our approach more effectively. Experimental results show that our approach has almost the same running speed compared with the fast and interactive WCET analysis, but it saves more time in identifying real timeliness defects.

Original languageEnglish
Article number1750012
JournalInternational Journal of Pattern Recognition and Artificial Intelligence
Volume31
Issue number5
DOIs
StatePublished - 1 May 2017
Externally publishedYes

Keywords

  • Pattern recognition
  • embedded Java
  • interactive WCET analysis
  • risk warning
  • software safety

Fingerprint

Dive into the research topics of 'Interactive WCET Prediction with Warning for Timeout Risk'. Together they form a unique fingerprint.

Cite this