TY - GEN
T1 - Performance comparison of techniques on static path analysis of WCET
AU - Lv, Mingsong
AU - Gu, Zonghua
AU - Guan, Nan
AU - Deng, Qingxu
AU - Yu, Ge
N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].
PY - 2008
Y1 - 2008
N2 - 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. © 2008 IEEE.
AB - 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. © 2008 IEEE.
KW - ILP
KW - Model checking
KW - Real-time
KW - Static path analysis
KW - WCET
UR - https://www.scopus.com/pages/publications/63449125676
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-63449125676&origin=recordpage
U2 - 10.1109/EUC.2008.178
DO - 10.1109/EUC.2008.178
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9780769534923
VL - 1
T3 - Proceedings of The 5th International Conference on Embedded and Ubiquitous Computing, EUC 2008
SP - 104
EP - 111
BT - Proceedings of The 5th International Conference on Embedded and Ubiquitous Computing, EUC 2008
T2 - 5th International Conference on Embedded and Ubiquitous Computing, EUC 2008
Y2 - 17 December 2008 through 20 December 2008
ER -