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

doi:10.3724/SP.J.1087.2012.00855

计算机应用 ›› 2012, Vol. 32 ›› Issue (03): 855-860.DOI: 10.3724/SP.J.1087.2012.00855

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

郭荣佐¹,黄君²,王霖³

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

收稿日期:2011-08-22 修回日期:2011-12-08 发布日期:2012-03-01 出版日期:2012-03-01
通讯作者: 郭荣佐
作者简介:郭荣佐(1973-),男,四川开江人,副教授,主要研究方向:嵌入式系统、物联网感知;黄君(1974-),女,重庆人,讲师,硕士,主要研究方向:代数学、形式化验证、本体演化;王霖(1970-),男,四川遂宁人,副教授,主要研究方向:语义Web、互联网、嵌入式系统。
基金资助:
四川省教育厅自然科学重点项目(10ZA008)。

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

GUO Rong-zuo¹, HUANG Jun², WANG Lin³

1.College of Computer Science, Sichuan Normal University, Chengdu Sichuan 610068, China;
2.Department of Basic Courses, Sichuan Technology and Business College, Dujiangyan Sichuan 611830, China;
3.Department of Electronic Information and Electrical Engineering, Chengdu Textile College, Chengdu Sichuan 611731, China

Received:2011-08-22 Revised:2011-12-08 Online:2012-03-01 Published:2012-03-01
Contact: Rong-Zuo Guo
Supported by:
Sichuan Provincial Department of Education Natural Science Key Project

摘要/Abstract

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

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

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

中图分类号:

TP311.5

郭荣佐黄君王霖. 基于π网的嵌入式系统软硬件划分方法[J]. 计算机应用, 2012, 32(03): 855-860.

GUO Rong-zuo HUANG Jun WANG Lin. Hardware/software partitioning method of embedded system based on π-nets[J]. Journal of Computer Applications, 2012, 32(03): 855-860.

参考文献

[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.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	李开荣, 刘爽, 胡倩倩, 唐亦媛. 基于转角约束的改进蚁群优化算法路径规划[J]. 计算机应用, 2021, 41(9): 2560-2568.
[2]	陈俊, 何庆. 基于余弦相似度的改进蝴蝶优化算法[J]. 计算机应用, 2021, 41(9): 2668-2677.
[3]	李蒙蒙, 秦伟, 刘艺, 刁兴春. 结合头脑风暴优化的混合蚁群优化算法[J]. 计算机应用, 2021, 41(8): 2412-2417.
[4]	汤安迪, 韩统, 徐登武, 谢磊. 混沌精英哈里斯鹰优化算法[J]. 计算机应用, 2021, 41(8): 2265-2272.
[5]	汤安迪, 韩统, 徐登武, 谢磊. 基于混沌麻雀搜索算法的无人机航迹规划方法[J]. 计算机应用, 2021, 41(7): 2128-2136.
[6]	张盟, 郭健全. 需求和回收不确定的闭环供应链渠道结构选择[J]. 计算机应用, 2021, 41(7): 2100-2107.
[7]	贾鹤鸣, 姜子超, 李瑶, 孙康健. 基于改进斑点鬣狗优化算法的同步优化特征选择[J]. 计算机应用, 2021, 41(5): 1290-1298.
[8]	许飞雪, 刘勤明, 欧阳海玲, 叶春明. 基于性能合同的多部件系统维修策略模型优化[J]. 计算机应用, 2021, 41(4): 1184-1191.
[9]	许红亮, 杨桂芹, 蒋占军. 基于软件定义网络的数据中心自适应多路径负载均衡算法[J]. 计算机应用, 2021, 41(4): 1160-1164.
[10]	冉家敏, 倪志伟, 彭鹏, 朱旭辉. 考虑空间众包工作者服务质量的任务分配策略及其萤火虫群优化算法求解[J]. 计算机应用, 2021, 41(3): 794-802.
[11]	樊小毛, 熊红林, 赵淦森. 带约束的清洁排班问题模型及其求解[J]. 计算机应用, 2021, 41(2): 577-582.
[12]	王泽昆, 贺毅朝, 李焕哲, 张发展. 基于新颖S型转换函数的二进制粒子群优化算法求解具有单连续变量的背包问题[J]. 计算机应用, 2021, 41(2): 461-469.
[13]	陆荣秀, 陈明明, 杨辉, 朱建勇. 基于溶液图像时序特征的元素组分含量动态监测系统[J]. 计算机应用, 2021, 41(10): 3075-3081.
[14]	汪虹余, 张彧, 杨恒, 穆楠. 基于蚁群优化算法的弱光图像显著性目标检测[J]. 计算机应用, 2021, 41(10): 2970-2978.
[15]	董海, 吴瑶, 齐新娜. 基于改进鲸鱼优化算法的血液供应链网络多目标鲁棒优化设计[J]. 计算机应用, 2021, 41(10): 3063-3069.