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

利用时间自动机理论探讨客专RBC控车流程

童超  
【摘要】:基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 姬莉霞;李俊锋;张雷;;实时系统验证工具UPPAAL[J];光盘技术;2006年01期
2 支小莉,童维勤,戎璐;时间自动机的自动抽象算法[J];西南交通大学学报;2004年05期
3 周清雷,姬莉霞;基于时间自动机的道岔自动控制研究[J];控制工程;2004年S2期
4 周清雷;王静;赵东明;;UPPAAL环境下通讯协议的自动验证[J];河南师范大学学报(自然科学版);2006年04期
5 郭华;庄雷;张习勇;;UPPAAL——一种适合自动验证实时系统的工具[J];微计算机信息;2006年15期
6 周清雷,姬莉霞,王艳梅;基于UPPAAL的实时系统模型验证[J];计算机应用;2004年09期
7 周清雷,王静;基于Uppaal的时延Petri网到时间自动机等价模型验证[J];计算机应用研究;2005年06期
8 廖伟志,古天龙,蔡国永,董荣胜;一类时间自动机的时间约束可满足性判定方法[J];计算机工程与应用;2002年13期
9 许何,赵建华,李宣东,郑国梁;自动验证并发实时系统的线性时段性质[J];计算机研究与发展;2001年09期
10 张泽莉,马华东;简单网络支付协议的形式模型[J];北京邮电大学学报;2002年04期
中国重要会议论文全文数据库 前2条
1 孙永虎;古桂雄;洪庆成;;铅对儿童HB、RBC的影响调查[A];第二届国际妇幼保健学术会议暨2006全国妇幼保健学术大会论文集[C];2006年
2 王东晓;刘屏;戴畅;陈桂芸;;同名异种鸡血藤的造血作用研究[A];2006第六届中国药学会学术年会论文集[C];2006年
中国博士学位论文全文数据库 前4条
1 庄雷;基于Gnutella协议的Peer-to-Peer网络研究及其协议验证[D];中国人民解放军信息工程大学;2004年
2 朱跃龙;基于反射的水利数据访问中间件技术研究[D];河海大学;2007年
3 易平;移动Ad Hoc网络入侵检测与主动响应机制研究[D];复旦大学;2005年
4 魏臻;企业铁路智能运输调度系统关键技术研究[D];合肥工业大学;2005年
中国硕士学位论文全文数据库 前10条
1 王静;基于时间自动机的模型验证理论及应用研究[D];郑州大学;2005年
2 张华;铁路信号系统中联锁软件形式化描述方法的研究[D];合肥工业大学;2007年
3 赵秀芳;基于SIP的视频会议服务器的设计、实现与分析[D];北京邮电大学;2006年
4 王兴梁;基于多系统联动的安全接入认证计费系统的研究与实现[D];北京邮电大学;2006年
5 刘栋;时间自动机可达性研究[D];郑州大学;2004年
6 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年
7 王从银;FR-Gnet网络模型及其实现方案[D];郑州大学;2004年
8 李晓鸋;基于时间自动机模型的联锁软件规则描述研究[D];合肥工业大学;2006年
9 徐雨波;实时系统模型检测工具FPTAT的算法与实现[D];中国科学院研究生院(软件研究所);2005年
10 朱维军;基于时间自动机若干新模型的研究[D];郑州大学;2005年
中国重要报纸全文数据库 前10条
1 记者 刘松针;rbc 坚持履行国企政治、经济、社会责任[N];中国石化报;2009年
2 本报记者 安国章;不败的三星保险[N];市场报;2001年
3 宇平;加拿大看好中国木结构住宅市场[N];中国建设报;2001年
4 首都医科大学附属北京友谊医院 李文燕 吴咏冬 李鹏;对一例腹泻患者的诊断[N];中国医学论坛报;2009年
5 林云;俄罗斯筑路设备国产化率47% 挖掘机进口多[N];中国工业报;2009年
6 张科;俄罗斯玻璃市场容量扩大[N];中国贸易报;2009年
7 赵刚;道富银行四季度债券巨亏 股价惨遭腰斩[N];第一财经日报;2009年
8 耿学鹏;共按“重启”键,美俄关系仍“超负荷”[N];新华每日电讯;2009年
9 ;俄郊区不动产销售依然保持高速增长[N];中俄经贸时报;2008年
10 ;俄罗斯乳制品消费结构将发生改变[N];中俄经贸时报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978