Please use this identifier to cite or link to this item:
|Title:||Precise micro-architectural modeling for WCET analysis via AI+SAT|
|Source:||Banerjee, A.,Chattopadhyay, S.,Roychoudhury, A. (2013). Precise micro-architectural modeling for WCET analysis via AI+SAT. Real-Time Technology and Applications - Proceedings : 87-96. ScholarBank@NUS Repository. https://doi.org/10.1109/RTAS.2013.6531082|
|Abstract:||Hard real-time systems are required to meet critical deadlines. Worst case execution time (WCET) is therefore an important metric for the system level schedulability analysis of hard real-time systems. However, performance enhancing features of a processor (e.g. pipeline, caches) makes WCET analysis a very difficult problem. In this paper, we propose a novel approach to combine abstract interpretation (AI) and satisfiability (SAT) checking (hence the name AI+SAT) for different varieties of micro-architectural modeling. Our work in this paper is inspired by the research advances in program flow analysis(e.g. infeasible path analysis). We show that the accuracy of WCET estimates can be improved in a scalable fashion by using SAT checkers to integrate infeasible path analysis results into micro-architectural modeling. Our modeling is implemented on top of the Chronos WCET analysis tool and we improve the accuracy of WCET estimates for instruction cache, data cache, branch predictors and shared caches. © 2013 IEEE.|
|Source Title:||Real-Time Technology and Applications - Proceedings|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 13, 2018
checked on Feb 17, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.