KTA WCET工具简述
软件工程
2017-12-15 v1
摘要
KTA（KTH时序分析器）是一个用于对程序代码进行时序分析的研究工具。当前可用的工具链可以执行两种不同类型的分析：i) 穷举细粒度时序分析，可在函数内任意时序程序点之间提供时序信息；ii) 基于抽象搜索的时序分析，该工具可执行最优最坏情况执行时间（WCET）分析。后者基于一种结合分治搜索与抽象解释的技术。该工具正在开发中，目前支持MIPS指令集架构的一个子集。
引用
@article{arxiv.1712.05264,
title = {A Brief Overview of the KTA WCET Tool},
author = {David Broman},
journal= {arXiv preprint arXiv:1712.05264},
year = {2017}
}