Estimating WCET using prediction models to compute fitness function of a genetic algorithm

被引:14
作者
Shah, Syed Abdul Baqi [1 ,2 ]
Rashid, Muhammad [3 ]
Arif, Muhammad [4 ]
机构
[1] Univ South Australia, Sch Elect Engn, Adelaide, SA, Australia
[2] Umm Al Qura Univ, Sci & Technol Unit, Mecca, Saudi Arabia
[3] Umm Al Qura Univ, Dept Comp Engn, Mecca, Saudi Arabia
[4] Umm Al Qura Univ, Dept Comp Sci, Mecca, Saudi Arabia
关键词
Temporal verification; Real-time systems; Genetic algorithm; Prediction models; Worst-case execution time; Test data; TIME;
D O I
10.1007/s11241-020-09343-2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Genetic algorithms can be used to generate input data in a real-time system that produce the worst-case execution time of a task. While generating the test data, the fitness function is normally evaluated using a cycle-accurate simulator of the processor architecture, which consumes a significant computational effort and time. We propose to replace the simulator-based actual execution with a predictive model that is trained using the samples acquired on the simulator. The feasibility of this proposal was evaluated using four distinct predictive models, namely artificial neural networks, generalized linear regression, gaussian process regression and support vector regression. The results obtained on the four benchmarks Bubble sort, Insertion Sort, Gnome sort and Shaker sorts indicate that the proposed use of prediction models can significantly reduce the temporal verification time. The time gain achieved is up to 17.7 times and the best accuracy achieved is 98.5%.
引用
收藏
页码:28 / 63
页数:36
相关论文
共 55 条
[21]   Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey [J].
Cazorla, Francisco J. ;
Kosmidis, Leonidas ;
Mezzetti, Enrico ;
Hernandez, Carles ;
Abella, Jaume ;
Vardanega, Tullio .
ACM COMPUTING SURVEYS, 2019, 52 (01)
[22]  
Deng N. Y., 2012, Support vector machines. Optimization based theory, algorithms, and extensions, P363
[23]  
Dharmajee Rao DTV, 2012, INT J MOD ENG RES, V2, P2908
[24]  
Fahrmeir L, 2013, MULTIVARIATE STAT MO, P426
[25]  
Glorot X., 2010, P INT C ART INT STAT, P249
[26]  
Gustafsson Jan., 2010, WCET2010, P137
[27]   Parallel surrogate-assisted global optimization with expensive functions - a survey [J].
Haftka, Raphael T. ;
Villanueva, Diane ;
Chaudhuri, Anirban .
STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2016, 54 (01) :3-13
[28]   TRAINING FEEDFORWARD NETWORKS WITH THE MARQUARDT ALGORITHM [J].
HAGAN, MT ;
MENHAJ, MB .
IEEE TRANSACTIONS ON NEURAL NETWORKS, 1994, 5 (06) :989-993
[29]   Energy-Efficient Scheduling for Real-Time Systems Based on Deep Q-Learning Mode [J].
Zhang, Qingchen ;
Lin, Man ;
Yang, Laurence T. ;
Chen, Zhikui ;
Li, Peng .
IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING, 2019, 4 (01) :132-141
[30]  
Jain Brijnesh J., 2001, P 3 ANN C GENETIC EV, P768