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...
| Príomhchruthaitheoirí: | , , , , |
|---|---|
| Formáid: | Alt |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2016-06-01
|
| Sraith: | Leibniz Transactions on Embedded Systems |
| Ábhair: | |
| Rochtain ar líne: | https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdf |