Automatic generation of protocol converters from scenario-based specifications
Automatic generation of protocol converters from scenario-based specifications
复制标题
根据场景规范自动生成协议转换器
DOI：
10.1109/real.2004.12
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Vera A. Zvereva
中科院分区：
文献类型：
--
作者：
Abhik Roychoudhury;P. Thiagarajan;T. Tran;Vera A. Zvereva
IP块的重用是嵌入式系统的一个重要设计理念。这允许在紧迫的上市时间限制下缩短设计周期。然而，重用IP块通常需要设计转换器（粘合逻辑）来实现它们的通信。在本文中，我们研究了自动生成协议转换器的问题，该转换器使各种嵌入式系统组件（可能具有不兼容的协议）能够相互通信。我们的工作将组件间交互的丰富描述作为输入，描述为消息序列图的集合。然后我们在SystemC中自动地从这个输入合成一个协议转换器。我们的工作不局限于单向通信，转换器可以用于多个组件之间的代理通信。我们通过对一些简化的总线协议建模来证明我们方法的可行性，这些协议捕获了现有片上系统总线协议的关键特征。然后我们生成总线控制器作为协议转换器。
Reuse of IP blocks is an important design philosophy for embedded systems. This allows shorter design cycles under tight time-to-market constraints. However, reusing IP blocks often requires designing converters (glue logic) to enable their communication. In this paper, we study the problem of automatically generating a protocol converter which enables various embedded system components (possibly with incompatible protocols) to talk to each other. Our work takes as input, a rich description of inter-component interactions described as a collection of message sequence charts. We then automatically synthesize from this input a protocol converter in SystemC. Our work is not restricted to uni-directional communication and the converter can be used to broker communication among many components. We demonstrate the feasibility of our approach by modelling some simplified bus protocols that capture key features of existing system-on-chip bus protocols. We then generate the bus controller as the protocol converter.