基于时间Petri网的嵌入式系统软硬件划分方法  

Hardware/software Partitioning Method for Embedded System Based on Timed-Petri Net

作　　者：黄源[1] 钟艳如[1] 陈洺均[1] 

机构地区：[1]桂林电子科技大学计算机与控制学院,广西桂林541004

出　　处：《微计算机信息》2008年第8期26-28,共3页Control & Automation

基　　金：广西自然科学基金资助项目(0542036)

摘　　要：软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri网应用到软硬件划分当中,为系统的性能评估提供了形式化的方法和工具。另一方面,将系统功能集中到Petri网的迁移上,从而将Petri网直接作为划分模型。并利用了Petri网的不变量分析技术求出系统的关键路径作为系统性能评估的依据。另外,使用遗传算法来解决划分中的优化问题。最后通过对比实验,说明了时间Petri网性能评估和遗传算法优化的有效性。Hardware/software partitioning is a key technology in hardware/software co-design. A partitioning approach is proposed by introducing timed-Petri net as formal method and tool for system performance evaluation. On the other hand, the transitions of the timed-Petri net represent all the system function units, as a result, the timed-Petri net can be used as partitioning model directly. The invariants analysis methods are used to get the critical path of the system. The genetic algorithm is used to deal with t...

关 键 词：软硬件划分 PETRI网 遗传算法 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]