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: | , , , , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2016-06-01
|
| 丛编: | Leibniz Transactions on Embedded Systems |
| 主题: | |
| 在线阅读: | https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdf |