| 基于时间Petri网的嵌入式系统软硬件划分方法 |
| |
| 引用本文： | 黄源,钟艳如,陈洺均. 基于时间Petri网的嵌入式系统软硬件划分方法[J]. 微计算机信息, 2008, 24(8): 26-28 |
| |
| 作者姓名： | 黄源 钟艳如 陈洺均 |
| |
| 作者单位： | 桂林电子科技大学计算机与控制学院,广西桂林,541004 |
| |
| 基金项目： | 广西自然科学基金资助项目(0542036) |
| |
| 摘 要： | 软硬件划分技术是软硬件协同设计中的一个估提供了形式化的方法和工具.另一方面.将系统功能集中到Petri网的迁移上.从而将Petri网直接作为划分模型.并利用了Petri网的不变量分析技术求出系统的关键路径作为系统性能评估的依据.另外,使用遗传算法来解决划分中的优化问题.最后通过对比实验.说明了时间Petri网性能评估和遗传算法优化的有效性.
|
| 关 键 词： | 软硬件划分 Petri网 遗传算法 |
| 文章编号： | 1008-0570(2008)03-2-0026-03 |
| 修稿时间： | 2008-01-05 |
HardWare/software Partitioning Method for Embedded System Based on Timed-Petri Net |
| |
| HUANG YUAN,ZHONG YANRU,CHEN MINGJUN. HardWare/software Partitioning Method for Embedded System Based on Timed-Petri Net[J]. Control & Automation, 2008, 24(8): 26-28 |
| |
| Authors: | HUANG YUAN ZHONG YANRU CHEN MINGJUN |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
