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

Hardware/software partitioning method of embedded system based on π-nets

作　　者：郭荣佐[1] 黄君[2] 王霖[3] 

机构地区：[1]四川师范大学计算机科学学院,成都610068 [2]四川工商职业技术学院基础部,四川都江堰611830 [3]成都纺织高等专科学校电子信息与电气工程系,成都611731

出　　处：《计算机应用》2012年第3期855-860,共6页journal of Computer Applications

基　　金：四川省教育厅自然科学重点项目(10ZA008)

摘　　要：针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。Concerning the partitioning problems of the embedded system software and hardware,a method based on π-nets was proposed to partition the software and hardware of the embedded system.This paper gave a brief introduction to the definition and π-nets rules,and then described and defined the target,and established the division Embedded-system Software and Hardware Partition Model（ESHPM） applying the π-nets of software and hardware of embedded system.Finally this paper analyzed the consistency,deadlock and compatibility;at the same time,optimized the ERSHPM.The ESHPM established in this paper satisfied the consistency and no deadlock between the various processes.And the interaction between the various processes was compatible.The ESHPM effectively improves the accuracy of division,and a more reasonable division method of software and hardware has been got.

关 键 词：π网 Π演算 嵌入式系统 软硬件划分 优化算法 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]