节点文献

硬件构件的形式化描述及其组装机制

Hardware Component Formal Specification and Its Composition Architectures

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 黄万伟兰巨龙于婧李鹏

【Author】 HUANG Wan-wei,LAN Ju-long,YU Jing,LI Peng (National Digital Switching System Engineering & Technological R&D Center,Zhengzhou 450002)

【机构】 国家数字交换系统工程技术研究中心

【摘要】 针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。

【Abstract】 An abstract model of hardware basic component is presented to design router and switch platform based on components,providing formal specification of disposal process inside the basic component,four atomic composition architectures used to construct higher layer compound component are described in formal semantic,including sequential architecture,parallel architecture,embranchment architecture and polymerization architecture,providing the abstract model and formal specifications of disposal process inside the compound component.The proposed approach offers a facility to construct compound hardware platform by components with higher granularity.

【基金】 国家“863”计划基金资助项目“可重构路由器构件组研制”(2008AA01A323)
  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2010年08期
  • 【分类号】TP393.05
  • 【被引频次】7
  • 【下载频次】55
节点文献中: 

本文链接的文献网络图示:

本文的引文网络