期刊
2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC)
卷 -, 期 -, 页码 -出版社
IEEE
DOI: 10.1145/2593069.2593112
关键词
Real-time; WCET; Certification
资金
- European Community's Seventh Framework Programne FP7 under the PROXIMA Project [611085]
- Spanish Ministry of Science and Innovaion [TTN2012-34557]
- HiPEAC
- AC NetworkofExcellence
- EU COST Action [IC1 202]
- Spanish Ministry of Education under the EMT [AP2010-4208]
Measurement-Based Probabilistic Timing Analysis (MBPTA) techniques simplify deriving tight and trustworthy WCET estimates for industrial-size programs running on complex processors. MBPTA poses some requirements on the timing behaviour of the hardware/software platform: execution times of end-to-end runs have to be independent and identically distributed (i.i.d.). Hardware and software solutions have been deployed to accomplish MBPTA requirements. The latter has achieved the i.i.d. properties running on some commercial off-the-shelf (COTS) processor designs. Unfortunately, software randomisation challenges functional verification needed for certification since it introduces indirections through pointers in the code. In this paper we propose a new approach to software randomisation able to contain its functional verification costs. Our approach performs software randomisation statically, as opposed to current dynamic approaches. We carefully review the requirements of the new approach and prove its feasibility.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据