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

摘要：

软硬件划分技术是软硬件协同设计中的一个估提供了形式化的方法和工具.另一方面.将系统功能集中到Petri网的迁移上.从而将Petri网直接作为划分模型.并利用了Petri网的不变量分析技术求出系统的关键路径作为系统性能评估的依据.另外,使用遗传算法来解决划分中的优化问题.最后通过对比实验.说明了时间Petri网性能评估和遗传算法优化的有效性.

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

所属期刊栏目：24

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

资助基金：广西自然科学基金0542036

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

页数：共3页

页码：26-28