收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

列车通信网络系统形式化建模与验证方法研究

刘铭  
【摘要】:随着现场总线技术、计算机网络通信技术、嵌入式系统控制技术以及故障诊断技术的快速发展,现代列车控制系统已经从孤立的数字控制系统发展成为基于网络的分布式控制系统。列车通信网络系统应用总线技术对分布于列车上的设备进行控制,属于一种专用的混合分布式实时系统。随着我国铁路客运进入高速时代,列车通信网络系统的自主研发、设备制造、维护运营等问题成为近年的研究热点。近来,列车通信网络系统研究不断深入,在取得许多成果的同时,有些问题在系统设计过程中变得日益突出,如列车通信网络系统的形式化描述问题、符合列车通信网络标准的行为一致性验证问题等。本文以解决这些问题为目标,以面向应用为出发点,对列车通信网络系统的形式化建模、静态属性分析、动态属性验证和模拟验证等关键技术进行了研究。 本文首先对基于形式化方法和模拟方法的列车系统建模及验证的相关研究进行了综述,以列车系统的设计和验证流程为主线,从列车通信网络标准的分类、列车通信网络系统的形式化建模、动态属性验证、模拟验证等方面进行了研究,总结了该领域存在的问题和下一步的研究方向。 综合运用形式化语义、数学理论分析、模型检查和模拟验证技术,提出了一种适用于列车通信网络系统的形式化建模和验证方法,为列车通信网络系统的设计和验证提供了系统级的解决方案。 深入分析了IEC61375列车通信网络协议,将列车通信网络建模划分为网络拓扑结构和网络功能节点建模两部分工作,提出了一种分层次的列车通信网络系统形式化建模方法,为了满足建模需求,对Petri网进行扩展得到层次实时有色Petri网,建立了完整的列车通信网络系统模型,验证了形式化建模方法的有效性。 以列车通信网络标准和系统特征为依据,定义了列车通信网络系统的HRTCPN模型的静态属性,并以线性代数、图论等数学方法为基础提出了静态属性的检测规则。此外,基于关联矩阵和S-不变量运算对系统模型的实时性分析进行了研究,提出了一种系统时间参数的评估方法和系统实时性能优化方案。 针对已有方法在列车通信系统动态属性验证方面存在的完整性问题,提出了一种系统模型的形式化验证方法,以时间自动机模型和符号模型检查理论为基础,设计了HRTCPN模型到形式化验证输入语义的转换规则,并且基于假设/保证组合检查策略提出了系统的分解方法和假设、保证规则、完整地提取了动态属性,有效避免了状态空间爆炸问题,提高了针对列车通信网络标准进行动态属性验证的完整性。 列车通信网络系统协议大部分主要功能都在网络控制器中实现,对网络控制器的验证在某种意义上等同于系统协议实现级别的验证。基于高级验证方法学构造了列车通信网络控制器的模块级和系统级功能验证模型,设计了网络拓扑级验证模型,弥补了传统验证方法难以模拟通信过程的不足。提出了基于功能覆盖率的驱动测试生成方法、对多重覆盖率收集技术和组件重用技术进行了研究,优化了验证环境。根据列车通信网络标准和一致性测试标准设计了错误注入方法,解决了异常处理机制的验证问题,显著提高了验证的覆盖率和缺陷识别率。 最后,总结论文工作,并提出了下一步的研究方向。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李刚;师颖;刘兴堂;胡小江;;基于神经网络的复杂仿真系统验证方法[J];计算机仿真;2011年08期
2 张国春;张宪;;面向体系对抗仿真的毁伤模型建模框架研究[J];系统仿真学报;2011年S1期
3 彭立影;熊菊水;;平均严重故障间隔时间验证方法研究[J];电子产品可靠性与环境试验;2011年03期
4 王环环;詹永照;陈锦富;;可信软件分析与测试研究进展[J];计算机应用研究;2011年07期
5 佟佳慧;叶思染;;高频信号一致性比较方法研究[J];计算机仿真;2011年07期
6 罗婷;郭渊博;郝耀辉;;基于ACSL的密码软件形式化验证方法[J];信息安全与通信保密;2011年07期
7 张立明;曾海林;赵剑;欧阳丹彤;何丽莉;;结合约束满足消除误判的等价性验证方法[J];吉林大学学报(工学版);2011年05期
8 文良;刘佑宝;吴龙胜;;基于eRM建立自动化的验证平台[J];现代电子技术;2011年12期
9 罗莉;何鸿君;徐炜遐;窦强;;面向SOC芯片的跨时钟域设计和验证[J];计算机科学;2011年09期
10 何朝军;李哲英;;数字电路IP软核任务流方法验证[J];电子测量技术;2011年08期
11 吴晓燕;吴静;滕江川;陈永兴;;基于后验概率SVM的仿真模型验证方法[J];计算机应用研究;2011年07期
12 仝敏;徐晓光;;操作系统ARINC653标准符合性验证方法的研究[J];航空计算技术;2011年04期
13 常春贺;杨江平;王杰;;雷达装备测试性验证及应用研究[J];计算机测量与控制;2011年08期
14 侯超;彭大芹;曾俊威;;利用VMM搭建NAND Flash控制器验证平台[J];广东通信技术;2011年06期
15 张戈;雷英杰;薛梅;安和平;;直觉模糊综合评判在多源告警校验中的应用研究[J];小型微型计算机系统;2011年07期
16 张忠秋;董云卫;张雨;张凡;;基于Coq的微内核操作系统程序验证方法研究[J];计算机测量与控制;2011年08期
17 景博;杨洲;张劼;周宏亮;;故障预测与健康管理系统验证与确认方法综述[J];计算机工程与应用;2011年21期
18 舒振;陈洪辉;罗雪山;;基于对象Petri网的军事信息服务组合与验证方法[J];系统工程与电子技术;2011年07期
19 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期
20 郝莉莉;杨惠珍;谢攀;;CPN在FCM形式化建模与验证中的应用[J];计算机仿真;2011年06期
中国重要会议论文全文数据库 前10条
1 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
2 郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
3 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
4 张敏;洪澄;陈驰;;一种服务器透明的外包数据库查询验证方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
5 陈爱真;路长刚;吴魁;;飞行仿真计算精度验证方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
6 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
7 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年
8 赵红卫;;列车通信网络的应用与发展[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年
9 邓学良;何冬燕;潘德炉;孙照渤;;中国海域MODIS气溶胶光学厚度检验分析[A];中国气象学会2008年年会大气环境监测、预报与污染物控制分会场论文集[C];2008年
10 林涛;;中国产业集群研究中的主体能动性与多方验证方法[A];中国地理学会2006年学术年会论文摘要集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘铭;列车通信网络系统形式化建模与验证方法研究[D];哈尔滨工程大学;2011年
2 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
3 赵显琼;基于模型的高速列车运行控制系统可信性验证方法研究[D];北京交通大学;2012年
4 王永翔;TCN底层协议建模与实现[D];北京交通大学;2009年
5 朱琴跃;列车通信网络实时性理论与方法研究[D];同济大学;2008年
6 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
7 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
8 孙天亮;三端口Ethernet接口IP核的设计、验证方法研究及IAD专用SoC的研制[D];电子科技大学;2003年
9 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
10 罗春;基于仿真的系统芯片功能验证技术研究[D];东南大学;2006年
中国硕士学位论文全文数据库 前10条
1 贾亮;基于覆盖率驱动的自动化验证平台实现[D];西安电子科技大学;2011年
2 张晓宇;基于ASP.NET Web MIS安全体系中的验证和授权[D];吉林大学;2006年
3 李亚男;仿真系统模型验证方法和工具研究[D];哈尔滨工业大学;2008年
4 符伟杰;列车通信网络特性仿真研究分析[D];西南交通大学;2011年
5 李炎琨;基于VMM验证方法的研究[D];西安电子科技大学;2010年
6 万上宏;基于重用验证方法学的信道重编码系统功能验证研究[D];华南理工大学;2011年
7 张俊平;基于LAN的列车通信网络模拟及性能分析[D];西南交通大学;2002年
8 李青;典型网络安全事件模拟的真实性验证方法研究[D];哈尔滨工业大学;2011年
9 侯世良;CRH2列车通信网络软件仿真的研究与实现[D];西南交通大学;2012年
10 邓爱东;基于验证方法学的IC验证平台研究[D];武汉邮电科学研究院;2009年
中国重要报纸全文数据库 前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年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978