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 条
[1]  
Abella J, 2015, 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES), P39
[2]  
Agresti A., 2013, CATEGORICAL DATA ANA, P744
[3]  
Akaike H, 1998, Springer Series in Statistics, P199, DOI [DOI 10.1007/978-1-4612-1694-0_15, DOI 10.1007/978-1-4612-1694-015]
[4]   Towards two-phase scheduling of real-time applications in distributed systems [J].
Alghamdi, Mohammed I. ;
Jiang, Xunfei ;
Zhang, Ji ;
Zhang, Jifu ;
Jiang, Minghua ;
Qin, Xiao .
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2017, 84 :109-117
[5]  
[Anonymous], 2004, J. Mar. Biol. Ass.
[6]  
[Anonymous], 2014, Neural Network Design
[7]  
[Anonymous], 1996, 4 INT C SOFTW TEST A
[8]  
[Anonymous], 2000, NATURE STAT LEARNING, DOI DOI 10.1007/978-1-4757-3264-1
[9]  
[Anonymous], 2012, Reconfigurable communication-centric systems-on-chip (recosoc), 2012 7th international workshop on, DOI DOI 10.1109/RECOSOC.2012.6322869
[10]  
[Anonymous], 2005, Genetic algorithms. Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques, DOI [DOI 10.1007/0-387-28356-04, 10.1007/0-387-28356-0{_}4]