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

摘要

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