A Survey on Static Cache Analysis for Real-Time Systems
Real-time systems are reactive computer systems that must produce their reaction to a stimulus within given time bounds. A vital verification requirement is to estimate the Worst-Case Execution Time (WCET) of programs. These estimates are then used to predict the timing behavior of the overall syste...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2016-06-01
|
Series: | Leibniz Transactions on Embedded Systems |
Subjects: | |
Online Access: | https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdf |