基于XML的时间自动机状态可达性分析在RBC子系统中的应用

来源 :铁路计算机应用 | 被引量 : 0次 | 上传用户：taitaixiangle

【摘要】

：

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中

【作者】

：

宋海锋唐涛李开成吕继东

【机构】

：

北京交通大学轨道交通运行控制系统国家工程研究中心,北京交通大学轨道交通控制与安全国家重点实验室

【出处】

：

铁路计算机应用

【发表日期】

：

2014年6期

【关键词】

：

模型检验 CTCS-3 可达性分析形式化建模测试分析 model checking CTCS-3 reachability analysis form

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心（RBC）[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.

其他文献

第二讲解放思想,实事求是的思想路线——邓小平理论的精髓

<正> 解放思想,实事求是,是我党的思想路线。搞革命,要解放思想,实事求是;建设社会主义,也要解放思想,实事求是。解放思想,实事求是,是马克思列宁主义、毛泽东思想的精髓,也

期刊

邓小平理论解放思想思想路线实践证明大胆地试本质论思想解放辩证统一现代化建设伟大创举

让幸福追得上你

没有人不向往幸福的生活.一旦发现幸福的端倪，人们的第一反应就是蜂拥而上，异型旷日持久的追逐，

期刊

散文课外阅读文学生活哲学

理想透视简便作法

本文对理想二点透视的量点。提供一种简捷，实用的作图方法，尤其当二个灭点位于图纸之外时，仍可以十分简便地作出量点，从而达到作出理想透视的效果。

期刊

建筑工程透视图投影图

微波合加减通窍活血汤治疗慢性肥厚性鼻炎178例

慢性肥厚性鼻炎属难治性疾病,以持续性鼻塞为主要症状.由于长期鼻塞而易致慢性咽炎、喉炎、耳鸣、听力减退、头痛、头昏、失眠、精神萎靡等症,严重影响人们的身心健康.笔者3

期刊

慢性肥厚性鼻炎通窍活血汤微波治疗中医药疗法疗效

马来西亚王妃逃离性虐待

长着翅膀的未必是天使，可能是鸟人，而王子中，也可能有性变态，　　这是一个典型的豪门悲剧：她是年少成名、美艳高挑的印尼名模，他则是马来西亚权倾一方苏丹家族的爱子，2008年8月，两人的结合堪称一场世纪梦幻婚礼。然而，王子与灰姑娘的故事毕竟只是传说，王子儒雅温润外貌的背后竟隐藏着残酷暴虐的一面，每个黑夜来临，他都会用尽种种非人的手段对王妃进行性折磨……少女梦碎。面对这令人窒息绝望的“豪门生活”，年轻王

期刊

马来西亚王妃逃离性虐待灰姑娘印尼王子悲剧

基于桌面虚拟化的铁路调度台工作站解决方案设计与实现

本文针对调度人员在访问铁路调度系统时,所使用的PC机存在高功耗、高辐射、噪声大、运维麻烦、安全性及可靠性低等问题,提出了一种采用虚拟桌面代替传统PC机的可行方案.此方

期刊

桌面虚拟化调度调度台铁路调度系统

基于数字签名的移动电子商务研究

本文针对移动电子商务的安全问题,研究数字签名技术和应用,设计移动终端数字签名方案,依据移动电子商务安全体系框架,通过使用加密、数字证书、数字签名等安全技术,保证电子

期刊

移动通信电子商务数字签名信息安全mobile communication electronic commerce digital signature

铁路站段材料管理系统的开发

大站段管理模式下,材料管理由于管理地域广,出现了管理难度大,管理成本增高的问题.针对存在问题,分析了规范材料管理的需求,采用基于Java EE的MVC架构体系,JavaEE的Internet/

期刊

铁路材料管理系统开发railway Material Management System development

铁路客运票价策略研究综述

价格策略是收益管理的重要组成部分之一.总结了国内外铁路客运票价策略的理论研究及应用现状;对铁路客运票价策略需要解决的问题进行了拆解,描述并分析了各关键环节主要任务

期刊

收益管理价格策略市场细分动态票价最优化revenue management pricing strategies market segmentat

施工企业党员队伍建设中的新问题

期刊

施工企业党员队伍建设企业改制工程管理

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

与本文相关的学术论文