arrow
返回

Nonlinear approach for estimating WCET during programming phase

delete2016-07-22
delete5
PRE
AI
M
Meng, Fanqi
苏
苏小红 (Xiaohong Su) *
Z
Zhaoyang Qu
DOI:10.1007/s10586-016-0606-5delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
For the safety of real-time systems, it is very important that the execution time of programs must meet all time constraints, even under the worst case. To expose timeliness defects which may cause an execution timeout as early as possible, we have studied a novel nonlinear approach for estimating worst case execution time (WCET) during programming phase, called NL-WCET. In this paper, we propose a program features model, based on which NL-WCET employs least square support vector machine (LSSVM) to learn the program features, and then estimates WCET. To improve the accuracy of NL-WCET, we develop an algorithm for training samples optimization. The experimental results show that both the model and the algorithm have distinct effects on the accuracy of NL-WCET. When static similarity is 80 %, cosine similarity is 99.5 % and max quotient between corresponding items is 50, the average error of NL-WCET is merely 0.82 %, quite lower than conventional WCET measurement. Meanwhile it also has higher efficiency than conventional WCET analysis. Thus NL-WCET is suitable for being used during programming phase, and can help programmers to discover timeliness defects as early as possible.
Keyword:
Machine learning
Least square support vector machine
Software safety
Real-time system
Worst case execution time
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

C
Cluster Computing-The Journal of Networks Software Tools and Applications
IF:
4.1
论文数:
5.1K
被引数:
7.5K

机构

H
harbin institute of technology
学者数:
8.0W
论文数: 6.6W
被引数: 66
N
northeast electric power university
学者数:
5.8K
论文数: 3.3K
被引数: 1
引用论文

引用论文

err分享
err收藏
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation
err2012-05-01
err14
errOAAI
errHarmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R.
err分享
err收藏
Uncertainty Analysis for the Keyword System of Web Events
err2016-06-01
err56
errOAAI
errXuan, Junyu; Luo, Xiangfeng; Zhang, Guangquan; Lu, Jie; Xu, Zheng
err分享
err收藏
Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources
err2016-05-01
err25
PREAI
errBiondi, Alessandro; Buttazzo, Giorgio C.; Bertogna, Marko
err分享
err收藏
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
err2013-05-01
err71
PREAI
errMoy, Yannick; Ledinot, Emmanuel; Delseny, Herve; Wiels, Virginie; Monate, Benjamin
err分享
err收藏
1,4‐Diphospha‐1,3‐butadienes
err2003-12-22
err0
PREAI
errRolf Appel; Johannes Hünerbein; Nikolaos Siabalis
err分享
err收藏
err分享
err收藏
学者 查看更多内容