A Survey on Static Cache Analysis for Real-Time Systems

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...

Full description

Bibliographic Details
Main Authors: Lv, Mingsong, Guan, Nan, Reineke, Jan, Wilhelm, Reinhard, Yi, Wang
Format: Article
Language:English
Published: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik 2016-06-01
Series:Leibniz Transactions on Embedded Systems
Subjects:
hard real-time
cache analysis
worst-case execution time
Online Access:https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdf

Internet

https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdf

Similar Items