Please use this identifier to cite or link to this item:
Title: Scalable and precise refinement of cache timing analysis via model checking
Authors: Chattopadhyay, S.
Roychoudhury, A. 
Issue Date: 2011
Citation: Chattopadhyay, S.,Roychoudhury, A. (2011). Scalable and precise refinement of cache timing analysis via model checking. Proceedings - Real-Time Systems Symposium : 193-203. ScholarBank@NUS Repository.
Abstract: Hard real time systems require absolute guarantees in their execution times. Worst case execution time (WCET) of a program has therefore become an important problem to address. However, performance enhancing features of a processor (e.g. cache) make WCET analysis a difficult problem. In this paper, we propose a novel approach of combining abstract interpretation and model checking for different varieties of cache analysis ranging from single to multi-core platforms. Our modeling is used to develop a precise yet scalable timing analysis method on top of the Chronos WCET analysis tool. Experimental results demonstrate that we can obtain significant improvement in precision with reasonable analysis time overhead. © 2011 IEEE.
Source Title: Proceedings - Real-Time Systems Symposium
ISBN: 9780769545912
ISSN: 10528725
DOI: 10.1109/RTSS.2011.25
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Jan 13, 2020

Page view(s)

checked on Dec 30, 2019

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.