WCET Analysis meets Virtual Prototyping
作者: Martin BeckerMarius PazajSamarjit Chakraborty
作者单位: Technical University of Munich, Real-Time Computer Systems, Munich, Germany;;Technical University of Munich, Real-Time Computer Systems, Munich, Germany;;Technical University of Munich, Real-Time Computer Systems, Munich, Germany
论文集英文名称: Software and Compilers for Embedded Systems
来源数据库: Association for Computing Machinery
DOI: 10.1145/3323439.3323978
关键词: Computation In MemoryMemristorNon-Volatile MemoryNon-Von Neumann ArchitectureSimulator
原始语种摘要: In this paper we discuss the problem of relating machine instructions to source level constructs, and how it has been addressed in the domains of Virtual Prototyping (VP) and Worst-Case Execution Time (WCET) analysis. It has been handled in different ways, although the goals and requirements between both domains are not far from another. This paper shows that there exists a mutual benefit in exchanging solutions between the two research domains, by demonstrating the applicability and utility of VP methods for WCET analysis, and highlighting their shortcomings. After an evaluation of existing methods, we carefully rework and combine them to a sound and generic mapping algorithm for source-level WCET analysis. As a result, we obtain WCET estimates that outperform classic binary analyzers...
全文获取路径: ACM  (合作)
分享到:

×
关键词翻译
关键词翻译
  • speculative 推测性
  • discuss 议论
  • shortcomings 缺点
  • rework 再制
  • Analysis 分析
  • level 水准
  • combine 联合收割机
  • between 在中间
  • addressed 收信地址
  • analysis 分析