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

doi:10.3724/SP.J.1087.2012.00855

摘要
图/表
参考文献
相关文章 (15)

全文: PDF (941 KB) HTML (1 KB)
输出: BibTeX | EndNote (RIS)

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

	服务

	把本文推荐给朋友
	加入我的书架
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章
	郭荣佐

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

Abstract：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.

Key words： π-net π-calculus embedded system software/hardware partitioning optimization algorithm

收稿日期: 2011-08-22 出版日期: 2012-03-01

基金资助:

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

通讯作者: 郭荣佐 E-mail: gyz00001@163.com

作者简介: 郭荣佐(1973-),男,四川开江人,副教授,主要研究方向:嵌入式系统、物联网感知;黄君(1974-),女,重庆人,讲师,硕士,主要研究方向:代数学、形式化验证、本体演化;王霖(1970-),男,四川遂宁人,副教授,主要研究方向:语义Web、互联网、嵌入式系统。

引用本文:

郭荣佐黄君王霖. 基于π网的嵌入式系统软硬件划分方法[J]. 计算机应用, 2012, 32(03): 855-860. GUO Rong-zuo HUANG Jun WANG Lin. Hardware/software partitioning method of embedded system based on π-nets. Journal of Computer Applications, 2012, 32(03): 855-860.

链接本文:

http://www.joca.cn/CN/10.3724/SP.J.1087.2012.00855 或 http://www.joca.cn/CN/Y2012/V32/I03/855

[1]	ERNST R, HENKEL J, BENNER T. Hardware-software cosynthesis for microcontrollers[J]. IEEE Design & Test of Computers, 1993,10(4): 64-75.
[2]	GUPTA R K, COELHO C, de MICHELI G. Synthesis and simulation of digital systems containing interacting hardware and software components[C]// DAC'92: Proceedings of the 29th ACM/IEEE Design Automation Conference. Los Alamitos, CA: IEEE Computer Society Press, 1992：225-230.
[3]	MACIEL P, BARROS E, ROSENSTIEL W. A Petri net model for hardware software codesign[J]. Design Automation for Embedded Systems,1999, 4(10): 243-310.
[4]	曹木亮.基于π-演算的Petri网和密码协议的形式化分析[D]. 上海:上海交通大学, 2007:20-75.
[5]	LEILA S, AUGUSTO S, EDNA B. A constructive approach to hardware/software partitioning[J].Formal Methods in System Design,2004, 24(1):45-90.
[6]	徐海涛.基于SOPC的软硬件划分算法研究[D].哈尔滨:哈尔滨理工大学,2009:48-52.
[7]	李兰英,冯宏伟.基于多性能指标的SoC软硬件划分方法研究[J].计算机工程与应用,2008,44(12):126-129.
[8]	郭荣佐,郭进,王霖.嵌入式系统软件体系结构动态建模及应用研究[J].计算机应用,2009,29(4):1153-1158.
[9]	曲长征,于永利,金伟,等.基于ExSpect的复杂离散事件动态系统建模[J].系统仿真学报,2005,17(12):3011-3013.
[10]	MILNER R, PARROW J, WALKER D. A calculus of mobile processes Pt.2[J]. Journal of Information and Computation, 1992,100(1):41-77.
[11]	MILNER R. Communicating and mobile systermsahe π-calculus[M]. Cambridge: Cambridge University Press,1999:20-30.
[12]	SANGIORGI D, WALKER D. The π-calculus: A theory of mobile process[M].Cambridge: Cambridge University Press,2001:32-42.
[13]	邓水光.Web服务自动组合与形式化验证的研究[D].杭州:浙江大学,2007:93-116.
[14]	贾志淳,陈荣,张维石.航空订票业务的Web服务建模及组合兼容性验证[J].计算机工程与应用,2010,46(24):237-242.
[15]	李康顺,李元香,康立山,等.一种基于输运理论的多目标演化算法[J].计算机学报,2007,30(5):797-805.
[16]	彭春华,孙惠娟,郭剑峰.求解PMU多目标优化配置问题的非劣排序微分进化算法[J].控制理论与应用,2009,26(10):1075-180.
[17]	纪颖,李兰英,石敏,等.基于遗传和禁忌搜索混合的软硬件划分算法[J].计算机工程与应用,2009,45(20):81-84.