Please use this identifier to cite or link to this item:
https://doi.org/10.1109/RTSS.2011.25
DC Field | Value | |
---|---|---|
dc.title | Scalable and precise refinement of cache timing analysis via model checking | |
dc.contributor.author | Chattopadhyay, S. | |
dc.contributor.author | Roychoudhury, A. | |
dc.date.accessioned | 2013-07-04T08:40:55Z | |
dc.date.available | 2013-07-04T08:40:55Z | |
dc.date.issued | 2011 | |
dc.identifier.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. <a href="https://doi.org/10.1109/RTSS.2011.25" target="_blank">https://doi.org/10.1109/RTSS.2011.25</a> | |
dc.identifier.isbn | 9780769545912 | |
dc.identifier.issn | 10528725 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/42001 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/RTSS.2011.25 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1109/RTSS.2011.25 | |
dc.description.sourcetitle | Proceedings - Real-Time Systems Symposium | |
dc.description.page | 193-203 | |
dc.description.coden | PRSYE | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.