收藏本站
《长沙理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于随机Petri网的软件可靠性分析研究

邹峥  
【摘要】: 随着软件系统应用范围的日趋广泛,我们的日常生活越来越依赖应用软件所提供的服务,目前软件已经应用于航空航天、核电技术、军事、电子机械、金融等许多重要的特殊工程领域,在这些应用领域里,一个小的软件故障可能会导致灾难性的生命和财产损失。同时随着近年来软件规模越来越大,软件系统的复杂性也急剧地增加,解决软件可靠性问题变得越来越迫切。 软件可靠性分析主要分为软件可靠性建模和可靠性指标分析。其中软件可靠性建模在可靠性分析起着核心的作用,目前所提出的模型大部分是基于故障树进行分析,不能全面地描述系统的动态行为,因而存在一定的应用范围和条件的局限性,不能很好地适应复杂多变的应用环境的需求;在可靠性指标分析方面,目前的计算方法大多只能针对失效的稳定状态进行可靠性分析,因此无法掌握整个系统的可靠度动态的变化趋势;此外,大多数软件失效是随机的、间歇的,软件可靠性模型在形式上符合随机过程的特性,这使得在可靠性分析中,时间比其他的特性更加重要。 本文首先把随机Petri网应用于可靠性建模,随机Petri网把时间参数与变迁关联,有助于定义可靠性模型的动态行为。同时本文通过比较随机Petri网及软件可靠性技术的概念、特点及它们之间的关系,从软件故障产生与传递的表述方面着眼给出了具体的可靠性建模方法;然后,针对随机Petri网应用中常常会碰到的复杂的空间爆炸问题给出了两种解决方案;其次,引入了一种计算瞬时可靠度的方法对简化后的随机Petri网进行分析,提高了评价和预测可靠性的精确度和正确性,并且所获得的结果有助于实时监控软件运行一定时间内的可靠性变化情况,从而可以指导可靠性设计的后期开发;最后,通过实验结果验证了该可靠性分析方法的可行性及有效性。
【学位授予单位】:长沙理工大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.52

【引证文献】
中国期刊全文数据库 前1条
1 杨丽;袁志华;印明昂;王宇宁;;基于随机Petri网的弹药销毁系统可靠性分析[J];科技信息;2013年08期
中国硕士学位论文全文数据库 前3条
1 邝景胜;分布式企业服务总线可靠性机制的研究与实现[D];浙江大学;2011年
2 邹晓晨;软件重构调度方法研究[D];哈尔滨工程大学;2012年
3 郑汉耕;四轮轮毂电动车电驱动系统失效控制研究[D];电子科技大学;2013年
【参考文献】
中国期刊全文数据库 前10条
1 汪凯;张恒喜;王卓健;;基于Petri网的复杂可修复系统可靠性仿真研究[J];电光与控制;2006年05期
2 詹惠琴;古军;习友宝;;正态分布随机Petri网的串并行结构化简[J];电子科技大学学报;2008年03期
3 蔡鉴明;曾峰;;基于GO法的供应链可靠性分析[J];公路交通科技;2007年03期
4 李培松;刘觉夫;周娟;;基于随机高级Petri网改进型网格资源调度算法[J];华东交通大学学报;2008年01期
5 沈祖培,黄卫刚,李晓东,梅启智,黄祥瑞;大亚湾核电站外电源系统可靠性分析中GO法的应用[J];核动力工程;2003年01期
6 方来华;吴宗之;刘骥;康荣学;关磊;;基于可靠性框图法的安全功能失效概率定量分析[J];化工自动化及仪表;2008年02期
7 张君一;谢里阳;王正;;基于广义随机Petri网的CIMS多任务可靠性研究[J];计算机工程与应用;2007年33期
8 陈俊文;谷建华;张凡;董云卫;;一种改进的基于架构的软件可靠性模型[J];计算机工程与应用;2009年33期
9 龙士工;罗文俊;;随机Petri网性能等价化简与分析方法研究[J];计算机工程;2006年12期
10 蒋乐天,徐国治;软件缺陷及软件可靠性技术[J];计算机仿真;2004年02期
【共引文献】
中国期刊全文数据库 前10条
1 邓勤;若干个不同部件并联可修系统可用度的研究[J];阿坝师范高等专科学校学报;2005年03期
2 赵炜;;火灾探测器可靠性的Monte Carlo仿真方法浅析[J];安防科技;2011年10期
3 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
4 李龙澍;;软件体系结构风格综述[J];安庆师范学院学报(自然科学版);2006年04期
5 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
6 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
7 杜美萍;;基于.NET的高校教务管理系统的设计与实现[J];办公自动化;2009年12期
8 李根成;姜同敏;;导弹战斗部任务可靠性评估方法分析[J];火炸药学报;2006年04期
9 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
10 高大化,马月娜,郭波;可修部件的面向任务备件优化配置技术[J];兵工自动化;2005年03期
中国重要会议论文全文数据库 前10条
1 王华;向刚;张法江;;信息系统应用软件可靠性设计技术[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
2 孙引朝;叶宋阳;石成英;;加强可靠性管理 提高装备质量水平[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
3 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
4 于琦;邹安全;;GO-FLOW与FTA相结合的集气站系统可靠性研究[A];中国职业安全健康协会2007年学术年会论文集[C];2007年
5 房灵申;赵明扬;徐志刚;;激光拼焊生产线规划设计及应用[A];第二届中国CAE工程分析技术年会论文集[C];2006年
6 何付军;张炜;王明章;;故障树分析法在屏蔽泵故障诊断中的应用[A];第九届全国振动理论及应用学术会议论文集[C];2007年
7 赵静一;姚成玉;;液压系统的可靠性研究进展[A];第四届全国流体传动与控制学术会议论文集[C];2006年
8 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
9 翟国芳;周妮娜;陈红亮;;FMEA在玻璃钢产品开发过程中的应用实例[A];第十七届玻璃钢/复合材料学术年会论文集[C];2008年
10 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 叶海智;面向分布式关键任务系统的自律恢复机制研究[D];哈尔滨工程大学;2010年
3 卜志国;海洋生态环境监测系统数据集成与应用研究[D];中国海洋大学;2010年
4 郭丽娜;修理工可休假的可修复系统的可靠性研究[D];北京信息控制研究所;2010年
5 汪隆君;电网可靠性评估方法及可靠性基础理论研究[D];华南理工大学;2010年
6 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
7 宋晓梅;常规公交网络运行可靠性多层次评价模型与算法[D];北京交通大学;2010年
8 孟江涛;Xen虚拟机研究[D];电子科技大学;2010年
9 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
10 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
3 徐成功;智能CCD垂线坐标仪[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
7 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
8 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
9 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 王伟达;丁能根;徐向阳;张为;;汽车DYC模糊PID控制方法[J];北京航空航天大学学报;2009年07期
2 汪凯;张恒喜;王卓健;;基于Petri网的复杂可修复系统可靠性仿真研究[J];电光与控制;2006年05期
3 皮大伟;陈南;王金湘;;模糊逻辑在车辆稳定性控制系统中的应用[J];东南大学学报(自然科学版);2008年01期
4 王斌国;;Petri网分析方法综述[J];福建电脑;2007年10期
5 蒋昌俊,张兆庆,乔如良;基于 PN 的并行程序设计方法[J];高技术通讯;1998年01期
6 欧阳星明;胡青海;;基于有色Petri网的逻辑电路仿真模型设计[J];华中科技大学学报(自然科学版);2006年03期
7 麦中凡,戴彩霞;软件体系结构的概念[J];计算机工程与应用;2001年11期
8 张兆庆,蒋昌俊,乔如良,叶志宝,周杰;PVM并行程序验证系统的原理与实现[J];计算机学报;1999年04期
9 李心科,刘宗田,潘飚,邢大红;一个面向对象软件度量工具的实现和度量实验研究[J];计算机学报;2000年11期
10 周学功;梁樑;黄勋章;彭澄廉;;可重构系统中的实时任务在线调度与放置算法[J];计算机学报;2007年11期
中国博士学位论文全文数据库 前6条
1 刘明辉;混合动力客车整车控制策略及总成参数匹配研究[D];吉林大学;2005年
2 郭建华;双轴汽车电子稳定性协调控制系统研究[D];吉林大学;2008年
3 张缓缓;采用电动轮驱动的电动汽车转矩协调控制研究[D];吉林大学;2009年
4 杨福广;4WID/4WIS电动车辆防滑与横摆稳定性控制研究[D];山东大学;2010年
5 王博;四轮独立电驱动车辆实验平台及驱动力控制系统研究[D];清华大学;2009年
6 陈国迎;四轮独立线控电动汽车试验平台搭建与集成控制策略研究[D];吉林大学;2012年
中国硕士学位论文全文数据库 前10条
1 瞿晓东;电动汽车四轮驱动控制策略的研究[D];武汉理工大学;2011年
2 张钦爽;四轮驱动电动汽车转向稳定性控制研究[D];沈阳工业大学;2012年
3 王俊;容错CORBA系统中ORB的设计与实现[D];中国人民解放军国防科学技术大学;2002年
4 高时芳;四轮独立驱动电动汽车的电子差速系统研究[D];西北工业大学;2006年
5 周勇;四电动轮独立驱动电动车ABS/ASR控制策略研究[D];西北工业大学;2006年
6 张安莉;基于随机Petri网的航空电子综合化系统可靠性建模与分析[D];西北工业大学;2006年
7 马海峰;轮毂式电动汽车的研究与开发[D];武汉理工大学;2009年
8 马江;服务可靠性度量及改善的研究[D];上海交通大学;2009年
9 周丽;四轮转向车辆横向稳定性模糊控制仿真研究[D];长沙理工大学;2009年
10 胡欢;基于虚拟样机的主动前轮转向控制研究[D];武汉理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
2 詹柔莹;网络传输层协议的随机Petri网模型及性能分析[J];电子科技大学学报;2001年01期
3 张涛,武小悦,谭跃进;Petri网在系统可靠性分析中的应用[J];电子产品可靠性与环境试验;2003年01期
4 宋晓秋;软件可靠性及维修性评估工具(SRMET 2.0)[J];电子产品可靠性与环境试验;1999年03期
5 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
6 林闯,曲扬,郑波,田立勤;一种随机Petri网性能等价化简与分析方法[J];电子学报;2002年11期
7 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
8 李修全;帅典勋;;用马尔可夫预测法决策电力设备的维护停运[J];发电设备;2006年02期
9 武小悦,沙基昌;几种典型系统可靠性分析的GOOPN模型[J];系统工程;1999年04期
10 单夫惟,马乐梅;光纤陀螺发展及应用[J];光电子技术与信息;2004年04期
中国博士学位论文全文数据库 前1条
1 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 黄锡滋;;软件可靠性预测方法的进展[J];自动化学报;1985年01期
2 杨志飞,车骥;关于软件可靠性的探讨[J];电子产品可靠性与环境试验;1994年01期
3 文长康;软件工程与软件可靠性[J];电子产品可靠性与环境试验;1999年06期
4 刘骏跃;单片机应用系统软件可靠性研究[J];煤矿机械;2002年05期
5 邹丰忠,徐仁佐;软件可靠性多模型综合评估[J];同济大学学报(自然科学版);2002年10期
6 张飞云,彭小晖,李长福;软件可靠性测试充分性工程技术研究[J];质量与可靠性;2003年05期
7 邱洪云;;软件可靠性和有效性的检验[J];飞行器测控学报;1987年04期
8 杨世林;认真实施软件工程,提高软件可靠性[J];电子产品可靠性与环境试验;1997年06期
9 周瑞,杨晓青,何平,徐仁佐;软件可靠性指标分配工具Asitool[J];小型微型计算机系统;1998年11期
10 周育才,马聪颖;某类产品的软件可靠性保证大纲[J];航空兵器;2000年01期
中国重要会议论文全文数据库 前10条
1 吴礼发;余莉;;软件可靠性模型及应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 蒋乐天;徐国治;应忍冬;周玲玲;张昊;;基于预测的软件Rejuvenation技术[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年
3 林雯;赵辉煌;赵晏;;制造业工厂设备软件可靠性探讨[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
4 应晓慧;;关于软件可靠性的若干认识[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年
5 沈云秋;殷维刚;李霄;张立新;;提高军用软件可靠性途径浅析[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
6 齐俊臣;刘海敏;李祥臣;;武器系统软件可靠性工作分析与建议[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
7 贲可荣;王淑雪;;软件可靠性测试模型探讨[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 侯海梅;宁云晖;;对系统可靠性工程的再认识[A];2010第十五届可靠性学术年会论文集[C];2010年
9 张毅;王鸿;;软件可靠性测试实例分析[A];第五届中国测试学术会议论文集[C];2008年
10 周方;周光霞;;分布式系统软件可靠性评估的研究[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 刘京和;积极推行软件可靠性工程管理[N];科技日报;2004年
2 中国科学院院士 高庆狮;计算机产业未来展望[N];大众科技报;2011年
3 ;技术亮点[N];网络世界;2002年
4 本报记者 许继楠;Roy Singham:从敏捷开发中获益[N];中国计算机报;2010年
5 吴勇毅;财务能否云计算[N];中国冶金报;2011年
6 科技日报 济南日报特别报道组 (执笔 胡凌凌);横看成岭侧成峰[N];科技日报;2004年
7 本报记者 晏燕;未来软件共性技术:机会来了[N];科技日报;2004年
8 ;容错技术的发展与应用展望[N];计算机世界;2001年
9 徐伟 李振;挑战科技前沿[N];解放军报;2005年
10 郭莹;三赢合作打造ERP知名品牌[N];中国计算机报;2002年
中国博士学位论文全文数据库 前10条
1 樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年
2 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
3 张楠;基于排队论的软件可靠性增长模型研究[D];哈尔滨工业大学;2013年
4 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
5 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
6 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年
7 吴震;网管软件可靠性工程框架及若干关键技术研究[D];北京邮电大学;2008年
8 王晓华;敏捷开发环境下软件可靠性分析及相关问题研究[D];贵州大学;2008年
9 汪北阳;加权软件网络的建模、分析及其应用[D];武汉大学;2013年
10 马东超;支持业务有效承载的宽带接入网关键技术研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前10条
1 曹思千;软件可靠性一致性评价方法研究及原型辅助工具设计与实现[D];北京交通大学;2010年
2 蔺军;车载组合导航系统软件可靠性研究[D];东北大学;2008年
3 于涛;基于动态权重和静态权重的软件可靠性混合模型研究[D];西南大学;2013年
4 陆华;超速离心机可靠性研究[D];湖南大学;2013年
5 伍小荟;面向软件可靠性的性能测试方法研究与应用[D];上海交通大学;2012年
6 朱厚英;软件可靠性计量模型及ELM算法研究[D];中国计量学院;2012年
7 董秋;面向软件可靠性的性能测试模型研究与应用[D];长春理工大学;2014年
8 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
9 崔正斌;软件可靠性预测技术研究[D];解放军信息工程大学;2010年
10 蒋春萍;NHPP类软件可靠性度量方法研究[D];兰州理工大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026