基于项重写的动态可重构系统建模与仿真框架

摘要：

可重构系统建模与仿真是一项复杂的任务.本文从可重构计算模式的基本特征出发,建立计算与通讯并重的生产者-消费者系统架构,并提取其数据、计算、通讯基本元素,解决运行时的调度和加载问题,形成基于项重写理论的动态可重构计算系统建模框架.最后指出基于本框架进行系统规范描述、系统设计和仿真验证的方法与步骤.并以实例说明了不同的调度策略产生满足不同规范的应用系统,显示了本框架的通用性.

关键词：可重构计算、项重写系统、建模、仿真、验证

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：教育部高等学校博士学科点专项科研基金20050358040

在线出版日期：2007-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1652-1659