This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)
Precise micro-architectural modeling for WCET analysis via AI+SAT
Philadelphia, PA, USA USA
April 09-April 11
ISBN: 978-1-4799-0186-9
Abhijeet Banerjee, National University of Singapore
Sudipta Chattopadhyay, National University of Singapore
Abhik Roychoudhury, National University of Singapore
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.
Citation:
Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury, "Precise micro-architectural modeling for WCET analysis via AI+SAT," rtas, pp.87-96, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013
Usage of this product signifies your acceptance of the Terms of Use.