收藏本站
《西北大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的嵌入式系统高层级设计方法与技术研究

郭军  
【摘要】: 近年来,蓬勃发展的嵌入式计算技术已经渗透到人类生产生活的每个角落,成为计算机科学的一个重要研究、应用领域。传统的设计方法难以满足当前大规模复杂嵌入式系统设计的要求,研究高抽象级的设计方法是嵌入式系统设计者面临的挑战。本文根据嵌入式系统的特点,结合对现有设计方法的分析比较,提出了一种基于扩展Petri网模型的嵌入式系统高层级设计方法和技术,研究了高层级系统建模方法和系统功能验证技术,探讨了基于该模型的嵌入式系统设计流程和开发模式,通过设计实例,说明了设计方法的可行性和实用性。 本文主要内容简述如下: ●概述了嵌入式系统的发展状况和面临的问题,分析了各种嵌入式系统设计建模方法的特点和不足,指出形式化、可执行模型是当前高层级设计建模研究的主要方向。 ●针对传统Petri网在嵌入式系统建模中存在数据处理能力不强、没有考虑时间因素和没有层次结构的问题,提出了一种面向对象的计时双流Petri网模型(OO-TDPN),给出了模型的形式化定义;通过扩展端口、引入开放网概念,增强了模型的交互能力;与其他类似模型相比,本文模型在数据流描述、层次化建模、主动交互能力方面都有较大提高,适合有时间约束的复杂嵌入式系统建模。 ●研究了嵌入式系统Pelri网模型的分析验证方法。阐述了仿真分析和模型检测方法的基本原理和技术特点,详细讨论了Petri网模型的电路仿真分析方法,提出了一种采用硬件描述语言Verilog HDL描述OO-TDPN模型的技术,通过实例仿真证明了方法的可行性和实用性;与以往的Petri网分析软件相比,该方法适用范围更广,简明实用,仿真工具容易获得,便于向底层设计综合。 ●研究提出了基于OO-TDPN模型的嵌入式系统高抽象级设计流程,依据设计流程,结合应用实例——嵌入式入侵检测系统和电梯控制系统设计,分析评述了设计方法的特性,表明本文方法满足嵌入式系统的设计要求。 最后,概括总结了本文的研究成果,指出有待解决的问题和进一步的研究方向。
【学位授予单位】:西北大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 相春雷;;嵌入式系统:应机而动,日进无疆[J];软件世界;2010年02期
2 ;2011年嵌入式系统联谊会5月份主题 “MCU中国设计与中国应用”主题讨论会[J];单片机与嵌入式系统应用;2011年05期
3 张娜;;浅析自动化嵌入式系统的选择与调试[J];黑龙江科技信息;2011年16期
4 杨辉;王毅;;物联网与嵌入式系统的关系研究[J];计算机与现代化;2011年08期
5 杨剑锋;谢银波;吴静;沈海;;校企合作,共谱嵌入式教学新篇章[J];计算机教育;2011年15期
6 雷鸿;汪海;;基于嵌入式处理器的研究[J];软件导刊;2011年08期
7 包云霞;鲁法明;;求取S-不变量基的新算法[J];系统仿真学报;2011年S1期
8 方娇莉;刘明;;嵌入式系统中UDP协议可靠数据传输的实现[J];云南电大学报;2011年02期
9 ;2011中国国际嵌入式大会暨展览会即将举行[J];自动化与仪表;2011年08期
10 本刊编辑部;;嵌入式系统联谊会“MCU中国设计与中国应用”主题讨论会成功举办[J];单片机与嵌入式系统应用;2011年07期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈福;周树杰;林小竹;杨跃翔;;应用嵌入式系统进行数据采集的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
中国重要报纸全文数据库 前10条
1 记者 武钢;嵌入式系统迎来新机遇[N];中国计算机报;2009年
2 本报记者 王臻 汤铭;嵌入式系统应用美景背后是人才匮乏[N];计算机世界;2009年
3 周石 记者 王春;嵌入式系统“嵌入”智能生活[N];科技日报;2010年
4 IDG电讯;Linux“钻”进嵌入式系统[N];计算机世界;2001年
5 徐卫华;嵌入式系统产业链亟需完善产业链条[N];中国计算机报;2006年
6 ;嵌入式系统无处不在[N];中国电子报;2005年
7 为新;嵌入式系统进入千家万户[N];中国计算机报;2001年
8 李柠;Linux与嵌入式系统的绝配[N];中国计算机报;2000年
9 龚炳铮;嵌入式系统大有作为[N];中国石油报;2003年
10 深圳商报记者 段煜第;嵌入式系统令顺德电子业如虎添翼[N];深圳商报;2006年
中国博士学位论文全文数据库 前10条
1 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
2 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
3 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年
4 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
5 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
6 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
7 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
8 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
9 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
10 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
8 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026