Efficient WCRT analysis of synchronous programs using reachability

Efficient WCRT analysis of synchronous programs using reachability
复制标题

使用可达性对同步程序进行高效 WCRT 分析

DOI：
--
复制
发表时间：
2011
期刊：
Design Automation Conference
影响因子：
--
通讯作者：
P. Roop
P. Roop
中科院分区：
--
文献类型：
--
作者：
Matthew M. Y. Kuo;R. Sinha;P. Roop

文献摘要

被引文献

相似文献

对同步程序的实时执行，需要进行最差的反应时间（WCRT）的静态计算。现有方法使用模型检查或整数线性编程。我们将其作为基于抽象的可及性分析，从而产生较低的最坏情况的复杂性。基准测试显示现有方法的总体加速度有64倍。
Static computation of the worst-case reaction time (WCRT) is required for the real-time execution of synchronous programs. Existing approaches use model checking or integer linear programming. we formulate this as an abstraction-based reachability analysis yielding a lower worst case complexity. Benchmarking shows a significant overall speed-up of 64-times over existing approaches.