首页 | 本学科首页   官方微博 | 高级检索  
     

硬件构件的形式化描述及其组装机制
引用本文:黄万伟,兰巨龙,于婧,李鹏.硬件构件的形式化描述及其组装机制[J].计算机工程,2010,36(8):230-232.
作者姓名:黄万伟  兰巨龙  于婧  李鹏
作者单位:国家数字交换系统工程技术研究中心,郑州,450002
基金项目:国家“863”计划基金资助项目“可重构路由器构件组研制”(2008AA01A323)
摘    要:针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。

关 键 词:基础构件  形式化描述  原子组装  复合构件  粒度
修稿时间: 

Hardware Component Formal Specification and Its Composition Architectures
HUANG Wan-wei,LAN Ju-long,YU Jing,LI Peng.Hardware Component Formal Specification and Its Composition Architectures[J].Computer Engineering,2010,36(8):230-232.
Authors:HUANG Wan-wei  LAN Ju-long  YU Jing  LI Peng
Affiliation:(National Digital Switching System Engineering & Technological R&D Center, Zhengzhou 450002)
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.
Keywords:basic component  formal specification  atomic composition  compound component  granularity
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号