文献类型：期刊文章

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

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

出　　处：《计算机应用》

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

年　　份：2012

卷　　号：32

期　　号：3

起止页码：855-860

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、ZGKJHX、核心刊

摘　　要：针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。

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

分 类 号：TP311.5]