دورية أكاديمية
A Survey on Static Cache Analysis for Real-Time Systems
العنوان: | A Survey on Static Cache Analysis for Real-Time Systems |
---|---|
المؤلفون: | Lv, Mingsong, Guan, Nan, Reineke, Jan, Wilhelm, Reinhard, Yi, Wang |
المصدر: | Leibniz Transactions on Embedded Systems, Vol 3, Iss 1, Pp 05:1-05:48 (2016) |
بيانات النشر: | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2016. |
سنة النشر: | 2016 |
المجموعة: | LCC:Technology LCC:Electrical engineering. Electronics. Nuclear engineering LCC:Electronics |
مصطلحات موضوعية: | hard real-time, cache analysis, worst-case execution time, Technology, Electrical engineering. Electronics. Nuclear engineering, TK1-9971, Electronics, TK7800-8360 |
الوصف: | 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 system. The execution time of a program heavily depends on the underlying hardware, among which cache has the biggest influence. Analyzing cache behavior is very challenging due to the versatile cache features and complex execution environment. This article provides a survey on static cache analysis for real-time systems. We first present the challenges and static analysis techniques for independent programs with respect to different cache features. Then, the discussion is extended to cache analysis in complex execution environment, followed by a survey of existing tools based on static techniques for cache analysis. An outlook for future research is provided at last. |
نوع الوثيقة: | article |
وصف الملف: | electronic resource |
اللغة: | English |
تدمد: | 2199-2002 |
العلاقة: | https://drops.dagstuhl.de/storage/07lites/lites_vol003/lites_vol003_issue001/LITES-v003-i001-a005/LITES-v003-i001-a005.pdfTest; https://doaj.org/toc/2199-2002Test |
DOI: | 10.4230/LITES-v003-i001-a005 |
الوصول الحر: | https://doaj.org/article/2857c05012294b51a8fa177b507bace4Test |
رقم الانضمام: | edsdoj.2857c05012294b51a8fa177b507bace4 |
قاعدة البيانات: | Directory of Open Access Journals |
تدمد: | 21992002 |
---|---|
DOI: | 10.4230/LITES-v003-i001-a005 |