收藏本站
《北京交通大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型的高速列车运行控制系统可信性验证方法研究

赵显琼  
【摘要】:随着列车运行控制系统的飞速发展,人们对于其能否安全可靠的完成承载运输任务越来越关注,而列控系统的可信性是否达到需求是影响这一点的关键。采用科学、系统的可信性验证方法对高速列控系统的复杂结构和功能进行可信性的验证是这一类系统设计开发过程不可缺少的环节。随着计算机技术的飞速发展,系统的结构复杂性、嵌入式特性和功能逻辑复杂性,给高速列控系统的可信性验证带来了极大的挑战。 论文针对高速列控系统的特点,在深入分析现有可信性验证方法侧重点和局限性的基础上,将可信性验证的内容确定为四个属性和两个部分。四个属性包括:可靠性,可用性,可维修性和安全性;两个部分包括:结构可信性验证和功能可信性验证。对基于嵌入式系统的高速列控系统来说,结构可信性是功能可信性的基础。本文针对当前列控系统结构可信性验证验证存在的问题,提出了多形式化语义融合方法,在对扩展参数化故障树(Extended Parametric Fault Tree, EPFT)、可维修故障树(Repairable Fault Tree, RFT)、混成马尔可夫链(Hybrid Morkov Chain, HMC和扩展有色Petri网(Extended Colored P etri Net, ECPN)四种方法进行融合后,得到混成马尔可夫——参数化可维修故障树(HMC-PRFT)结构可信性验证方法,为系统结构可信性验证提供了更加准确、高效的分析方法。针对功能可信性的重要组成——功能安全性,研究了功能安全性自动测试方法,提出了基于CPN模型和贝叶斯假设的功能安全性自动测试方法,通过概率描述的定量方式来反应系统功能是否达到安全需求,从而有效提高了测试效率,降低了测试负荷,同时也为系统安全性测试提供了理论支持。 论文的主要创新点如下: (1)针对既有结构可信性验证方法的建模能力局限,包括复杂冗余策略建模能力局限和复杂维修策略建模能力局限,提出一种对参数化故障树的扩展机制,并运用这种机制将传统的“热备门”引入到参数化故障树中,扩展了参数化故障树的热备策略描述能力;提出了混成马尔可夫链维修策略描述方法; (2)针对既有结构可信性验证方法的可信性数值计算困难的缺陷,扩展了有色Petri网的随机事件描述能力和数值计算能力;在此基础上,提出多形式化语义融合方法,得到HMC-PRFT结构可信性建模分析方法,提高了建模能力并实现了可信性数值计算; (3)针对目前功能安全性测试内容不明确问题,提出了安全性自动测试方法,运用基于CPN的面向测试生成的建模方法和测试生成算法实现,包括:测试案例生成算法,功能测试序列及其输入域生成方法和诱导功能执行序列生成方法; (4)针对目前功能安全性测试评判标准的不明确问题,提出了基于贝叶斯假设的功能SIL等级定量评价测试方法,针对无历史测试数据和有历史测试数据两种情况下,分别提出了与SIL等级对应的无失效通过的测试案例数目计算方法。 论文最后以中国列车运行控制系统第3级(CTCS-3)中的重要子系统——无线闭塞中心(Radio Block Center, RBC)子系统为例,采用HMC-PRFT方法完成其结构可信性验证,通过维修策略对比分析、部件可信性灵敏度分析和冗余策略可信性灵敏度分析对RBC系统结构设计提出了建议;采用基于CPN和贝叶斯假设的安全性自动测试方法,对RBC进行了功能安全性测试过程设计,通过这样的测试直接为RBC系统的安全性检验提供依据。
【学位授予单位】:北京交通大学
【学位级别】:博士
【学位授予年份】:2012
【分类号】:TP273

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 高继祥,郑俊杰;双机热备计算机联锁系统可靠性与安全性指标分析[J];北方交通大学学报;1998年05期
2 沈洁,单冬;三模冗余计算机联锁系统可靠性安全性分析[J];北方交通大学学报;1998年05期
3 陈雪松,陆民燕,阮镰;软件可靠性测试数据生成方法研究[J];航空学报;2001年06期
4 陆民燕;软件可靠性增长测试的研究[J];航空学报;1995年S1期
5 肖伟,赵嵩正;设备可靠性与维修决策关系研究[J];机械科学与技术;2004年01期
6 季学胜;唐涛;;CTCS-3级列车运行控制系统综合测试平台研究[J];铁道通信信号;2007年07期
7 上官伟;苟晨曦;蔡伯根;王剑;王海龙;;基于故障注入的CTCS-3级列控系统可靠性评估技术研究[J];铁道通信信号;2010年07期
8 王俊峰,张勇,程荫杭,王化深;青藏铁路无线机车信号系统研究[J];铁道学报;2002年03期
9 赵明,宁滨,汪希时;列车超速防护系统的容错设计[J];铁道学报;1995年S2期
10 唐涛;LCF型列车超速防护系统可靠性设计[J];铁道学报;1995年S2期
【共引文献】
中国期刊全文数据库 前10条
1 李午峰,唐祯敏;青藏铁路的环境与安全[J];安全与环境学报;2003年03期
2 唐涛,郜春海,张方,刘波;高速铁路列车运行控制系统车载设备安全性设计[J];北方交通大学学报;1999年05期
3 王俊峰;高速列车控制数据无线传输的实时性及可靠性分析[J];北方交通大学学报;2000年05期
4 马连川,刘波;一种分布式三模冗余控制系统的实现[J];北方交通大学学报;2000年05期
5 闫剑平,唐涛;LCF-96Ⅱ型列车超速防护系统的可靠性和安全性分析[J];北方交通大学学报;2000年05期
6 齐志华;王海峰;;一种嵌入式二乘二取二容错计算机联锁系统设计[J];北京交通大学学报;2006年05期
7 王俊峰;刘实秋;;列控车载设备控制程序及参数远程实时更新方法[J];北京交通大学学报;2010年02期
8 吴江娇;罗四维;;分层结构热备冗余系统的可靠性分析[J];北京交通大学学报;2011年06期
9 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
10 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
中国重要会议论文全文数据库 前5条
1 孙立欧;唐应辉;;排错效率为时间函数的软件测试费用模型[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年
2 王颖利;徐肖豪;;软件可靠性模型选择加权算法[A];2007年全国机械可靠性学术交流会论文集[C];2007年
3 皇安伟;韩正平;王晓海;穆源;;双机热备份机群的可信性建模分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
4 杨其国;;一种提高软件可靠性预计质量的方法[A];2009第十三届全国可靠性物理学术讨论会论文集[C];2009年
5 侯晨光;汪启华;;基于UML分层模型的机载软件可靠性测试用例生成技术探讨[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张本宏;控制系统中多模冗余与网络可靠性研究[D];合肥工业大学;2010年
2 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
3 郑建祥;基于可靠性和经济性的城市公交车辆维修策略研究[D];江苏大学;2012年
4 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
5 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
6 王平;嵌入式计算机控制系统容错策略研究[D];中国科学院研究生院(上海微系统与信息技术研究所);2004年
7 魏臻;企业铁路智能运输调度系统关键技术研究[D];合肥工业大学;2005年
8 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
9 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
10 周达天;基于多传感器信息融合的列车定位方法研究[D];北京交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 邹峥;基于随机Petri网的软件可靠性分析研究[D];长沙理工大学;2010年
2 陈锃基;软件测试过程管理系统的研究与实现[D];华南理工大学;2010年
3 杨帆;CTCS-3通信故障诊断专家系统[D];北京交通大学;2011年
4 郭丽娜;CTCS-2/3列控系统兼容性仿真研究[D];北京交通大学;2011年
5 尹南;基于XML的CTCS-3级车载测试数据管理方法研究及应用[D];北京交通大学;2011年
6 邓昌琪;基于U2TP的CTCS-3级车载设备测试用例的生成方法研究[D];北京交通大学;2010年
7 修桂生;CTCS-3级列车载设备测试平台—列车运行仿真器的建模与实现[D];北京交通大学;2011年
8 吴晓丹;CTCS-3级列控系统的UML建模与模型检验研究[D];北京交通大学;2010年
9 司继渊;一种基于FPGA的可演化CPU的设计与实现[D];北京交通大学;2010年
10 靖焱林;基于UML-XML的车载设备测试用例生成方法研究和实现[D];北京交通大学;2011年
【二级参考文献】
中国期刊全文数据库 前5条
1 汪希时;;论我国开发研制列车超速防护系统的方向和道路[J];北方交通大学学报;1993年S1期
2 唐涛;;容错BITBUS总线及其在列车超速防护系统中的应用[J];北方交通大学学报;1993年S1期
3 赵明;汪希时;;列车超速防护系统中主机自诊断方法[J];北方交通大学学报;1993年S1期
4 王俊峰;高速列车控制数据无线传输的实时性及可靠性分析[J];北方交通大学学报;2000年05期
5 汪希时;我国LCF系列新型列车超速防护系统的研制[J];北方交通大学学报;1995年01期
【相似文献】
中国期刊全文数据库 前10条
1 庄文青;;IEC/TC56会议议题[J];信息技术与标准化;2010年Z1期
2 杨洪斌;韩霞;吴悦;;验证平台中的可重用监视器[J];上海大学学报(自然科学版);2007年05期
3 周玉清;;关于并行程序验证方法的讨论[J];计算机研究与发展;1982年09期
4 石兵;冉平;马晓星;陶先平;吕建;;软件体系结构的属性图文法描述及其约束验证[J];计算机应用研究;2007年03期
5 郭祥法;程震;;密码协议验证中的Petri网方法[J];计算机工程与设计;2007年06期
6 莫宏波;田云飞;孙靖;;TD-SCDMA终端一致性测试例的验证方法[J];电信网技术;2007年06期
7 曾红卫;缪淮扣;;一种验证Web应用设计的方法[J];上海大学学报(自然科学版);2007年05期
8 刘燕;王京梅;张帆;兰中文;;基于VMM的流量管理芯片验证[J];现代电子技术;2009年12期
9 闫华;张伟;赵海燕;梅宏;;基于二分决策图的特征模型验证方法[J];软件学报;2010年01期
10 李智慧;夏银水;;基于混合技术的时序电路等价性验证[J];宁波大学学报(理工版);2010年03期
中国重要会议论文全文数据库 前10条
1 孙明;张申;马亚龙;;一种基于事件逻辑分析的作战仿真可信性评估方法[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
2 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
3 梁剑华;江建慧;靳昂;胡瑾;;Linux上软件实现的故障注入方案及其实现[A];第三届中国测试学术会议论文集[C];2004年
4 郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
5 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
6 张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
7 陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
8 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
9 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年
10 邓学良;何冬燕;潘德炉;孙照渤;;中国海域MODIS气溶胶光学厚度检验分析[A];中国气象学会2008年年会大气环境监测、预报与污染物控制分会场论文集[C];2008年
中国重要报纸全文数据库 前10条
1 ;如何自定义用户身份验证方法?[N];网络世界;2007年
2 记者 周颖;大力提倡科学验证方法[N];中国中医药报;2000年
3 孙昭友 夏 敏;浅议采购产品的抽样验证方法[N];中国国门时报;2004年
4 陈先勇;几种主流的验证技术[N];计算机世界;2007年
5 清水 编译;如何对WLAN实行强验证[N];计算机世界;2006年
6 飘零雪;打假网上行[N];中国电脑教育报;2005年
7 ;新型身份验证:图形密码[N];中国计算机报;2006年
8 清水 编译;让身份验证更智能[N];计算机世界;2006年
9 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
10 胡英;闭环跟踪改变软件开发模式[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
2 吕宏武;面向分布式关键任务系统的自律可信性模型及其分析[D];哈尔滨工程大学;2011年
3 唐见兵;作战仿真系统可信性研究[D];国防科学技术大学;2009年
4 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
5 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
6 孙世霞;复杂大系统建模与仿真的可信性评估研究[D];国防科学技术大学;2005年
7 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
8 张海涛;自律计算系统的自律可信性评估研究[D];哈尔滨工程大学;2010年
9 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
10 孙天亮;三端口Ethernet接口IP核的设计、验证方法研究及IAD专用SoC的研制[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前10条
1 左彩霞;复杂全数字仿真系统的可信性评估方法的研究与应用[D];电子科技大学;2010年
2 贾亮;基于覆盖率驱动的自动化验证平台实现[D];西安电子科技大学;2011年
3 张晓宇;基于ASP.NET Web MIS安全体系中的验证和授权[D];吉林大学;2006年
4 李炎琨;基于VMM验证方法的研究[D];西安电子科技大学;2010年
5 王芳;基于VMM覆盖率导向验证方法的研究和应用[D];哈尔滨工程大学;2011年
6 万上宏;基于重用验证方法学的信道重编码系统功能验证研究[D];华南理工大学;2011年
7 李帅;基于Vera语言的GPS/北斗Ⅱ双模基带芯片的验证方法及实现[D];暨南大学;2011年
8 张智钧;多功能车辆总线控制器MVBC综合验证研究[D];哈尔滨工程大学;2011年
9 李青;典型网络安全事件模拟的真实性验证方法研究[D];哈尔滨工业大学;2011年
10 邓爱东;基于验证方法学的IC验证平台研究[D];武汉邮电科学研究院;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026