从片上系统执行轨迹中挖掘消息流
软件工程
2020-05-25 v1
摘要
全面且定义明确的规范对于执行片上系统（SoC）设计的严格和彻底验证是必要的。消息流规定了 SoC 设计的各个组件如何相互通信和协调以实现各种系统功能。消息流规范对于 SoC 设计的高效系统级验证和调试至关重要。然而，在实践中，此类规范通常不可用，往往模糊不清、不完整，甚至包含错误。本文通过提出一个名为 FlowMiner 的规范挖掘框架来解决该问题，该框架能从 SoC 执行轨迹中自动提取消息流，这些轨迹与软件轨迹不同，表现出高度的并发性。文中提出了一组推理规则和优化技术，以提高挖掘性能并降低挖掘复杂度。在多个实验中对本框架的评估显示了有前景的结果。
引用
@article{arxiv.2005.11221,
title = {Mining Message Flows from System-on-Chip Execution Traces},
author = {MD Rubel Ahmed and Hao Zheng and Parijat Mukherjee and Mahesh C. Ketkar and Jin Yang},
journal= {arXiv preprint arXiv:2005.11221},
year = {2020}
}