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