Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions
Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions
复制标题
一次注释，随处分析：通过用户定义的抽象进行上下文感知的 WCET 分析
DOI：
10.1145/3461648.3463847
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
W. Schröder-Preikschat
中科院分区：
文献类型：
--
作者：
S. Schuster;P. Wägemann;P. Ulbrich;W. Schröder-Preikschat
网络物理系统在安全关键（硬实时）领域的广泛采用伴随着代码重用程度的提高，直到跨越不同硬件平台的实际软件产品线。然而，静态最坏情况执行时间（WCET）分析的主要工具在二进制级别上对单个特定系统实例进行操作，进一步依赖于机器代码级别的注释进行精确分析。因此，这种时间验证既不是可移植的，也不是可重用的。PragMetis通过提供一种表达性的源代码级注释语言来解决这种分裂，该语言能够使用用户定义的抽象来表达库级别的上下文依赖。这些抽象允许用户一般地注释上下文相关的流事实，直到单个循环上下文的粒度。然后，我们使用控制流关系图将这些事实转移到机器代码级别的特定实例，即使在某些编译器优化的存在下，从而实现可移植性。我们的评估结果的基础上TACLeBench证实，PragMetis的强大的表达式产生更准确的WCET界限。
The widespread adoption of cyber-physical systems in the safety-critical (hard real-time) domain is accompanied by a rising degree of code-reuse up to actual software product lines spanning different hardware platforms. Nevertheless, the dominant tools for static worst-case execution-time (WCET) analysis operate on individual, specific system instances at the binary level, further depending on machine-code–level annotations for precise analysis. Thus, this timing verification is neither portable nor reusable.PragMetis addresses this schism by providing an expressive source-level annotation language that enables to express context dependence at the library level using user-defined abstractions. These abstractions allow users to generically annotate context-dependent flow facts down to the granularity of individual loop contexts. We then use control-flow–relation graphs to transfer these facts to machine-code level for specific instances, even in the presence of certain compiler optimizations, thus achieving portability. Our evaluation results based on TACLeBench confirm that PragMetis's powerful expressions yield more accurate WCET bounds.
登录
查看更多内容
实时操作系统 WCET 分析综述
DOI：
--
发表时间：
2009
期刊：
International Conference on Embedded Software and Systems
影响因子：
--
作者：
Mingsong Lv;Nan Guan;Yi Zhang;Qingxu Deng;Ge Yu;Jianming Zhang
通讯作者：
Jianming Zhang
Bound-T WCET 工具的状态
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
N. Holsti;S. Saarinen
通讯作者：
S. Saarinen
数字信号处理器最坏情况执行时间分析
DOI：
--
发表时间：
2000
期刊：
European Signal Processing Conference
影响因子：
--
作者：
N. Holsti;T. Långbacka;S. Saarinen
通讯作者：
S. Saarinen
精确参数 WCET 公式的正式框架
DOI：
--
发表时间：
2012
期刊：
Worst-Case Execution Time Analysis
影响因子：
--
作者：
Benedikt Huber;Daniel Prokesch;P. Puschner
通讯作者：
P. Puschner
r-TuBound：WCET 分析的循环边界（工具论文）
影响因子：
1.4
作者：
J. Knoop;L. Kovács;Jakob Zwirchmayr
通讯作者：
Jakob Zwirchmayr