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

摘要

Concerning the partitioning problems of the embedded system software and hardware, a method based on it-nets was proposed to partition the software and hardware of the embedded system. This paper gave a brief introduction to the definition and ir-nets rules, and then described and defined the target, and established the division Embedded-system Software and Hardware Partition Model ( ESHPM) applying the ir-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.%针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法.首先介绍π网的定义及其规则；然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM)；最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化.所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的；同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法.