Static Timing Analysis for Hard Real-Time Systems
Static Timing Analysis for Hard Real-Time Systems
复制标题
硬实时系统的静态时序分析
DOI：
10.1007/978-3-642-11319-2_3
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Stephan Wilhelm
中科院分区：
文献类型：
--
作者：
R. Wilhelm;S. Altmeyer;Claire Maiza;Daniel Grund;J. Herter;J. Reineke;Björn Wachter;Stephan Wilhelm
硬实时系统必须满足严格的时间限制。为了证明这些约束都得到了满足，时间分析的目标是得出任务执行时间的安全上限。高速缓存、无序流水线和推测等处理器组件会导致指令的执行时间发生很大变化，这可能会导致任务执行时间的很大变化。架构平台也决定了时序分析的精确度和复杂性。
本文件概述了我们的时间分析技术，特别是核查团体感兴趣的方法学方面。
Hard real-time systems have to satisfy strict timing constraints. To prove that these constraints are met, timing analyses aim to derive safe upper bounds on tasks’ execution times. Processor components such as caches, out-of-order pipelines, and speculation cause a large variation of the execution time of instructions, which may induce a large variability of a task’s execution time. The architectural platform also determines the precision and the complexity of timing analysis.
This paper provides an overview of our timing-analysis technique and in particular the methodological aspects of interest to the verification community.