位置：成果数据库 > 期刊 > 期刊详情页
Model checking-based safety verification for railway signal safety protocol-I
  • ISSN号：0952-8091
  • 期刊名称：International Journal of Computer Application in T
  • 时间：2013.3.3
  • 页码：195-202
  • 相关项目：高速铁路列控系统安全性验证的一阶可判定形式理论研究
作者： Mei Meng|Xu Zhongwei|Wang Xi|Wan Yongbing|
同期刊论文项目
高速铁路列控系统安全性验证的一阶可判定形式理论研究
期刊论文 68
同项目期刊论文
基于铈-锰基催化剂的微粒捕集器微粒的燃烧特性
基于变量预测模型的模式识别方法在滚动轴承故障诊断中的应用
基于灰烬沉积的微粒捕集器热再生特性
Agent-based Simulation Framework for Safety Critical System
A Test Suite Reduction Method based on Test Requirement Partition
柴油机壁流式过滤体灰烬滤饼沉积流动阻力特性
柴油机微粒捕集器灰烬深床沉积压降特性
微粒捕集器捕集效率影响因素的模糊综合评价
基于启发式SCCs的广义Büchi自动机判空检测算法
基于ASM的元模型形式化语义的研究
铁路信号安全通信协议中的MAC改进算法
基于场景分析的系统形式化模型生成方法
基于XML的安全苛求系统测试脚本生成
基于脚本技术的高速铁路列控中心系统安全性自动化测试研究
UML模型形式化B方法转换的实现
基于HLA的CBTC仿真管理器研究与应用
基于图元属性的进路搜索算法与研究
Port-Based Composable Modeling and Simulation for Safety Critical System Testbed
A Formal Method for Testing Reactive System from Symbolic Model
CTCS-3级列控系统临时限速服务器建模与形式化验证
CBTC线路仿真系统的站场图设计与实现
高速铁路列控中心软件安全性需求形式化建模
引入接口中间件的基于通信的列车控制系统仿真
Initial State Modeling of Interlocking System Using Maude
一种符号化执行的实时系统一致性测试生成方法
A simulation architecture description language for hardware-in-loop simulation of safety critical sy
故障模型驱动的软件安全性测试研究
基于Event—B的一种联锁逻辑的形式化建模研究
基于梯形逻辑的联锁系统形式化验证方法
基于铈基添加剂的微粒捕集器催化再生研究
基于改进的ITD和模糊熵的滚动轴承故障诊断方法
基于项重写系统的联锁系统模型检测方法研究
基于贝叶斯网络的高铁系统概率安全评估方法研究
基于接口参数的列控中心测试用例生成算法
基于Event-B的控制系统形式化建模方法研究
基于振动传递率函数和奇异值熵的结构损伤检测方法
基于启发式NDFS的模型检测新算法
一种基于场景模型的安全性分析算法研究
汽油机涡轮增压系统数值模拟与优化匹配特性分析
基于耦合分析法的涡轮增压器浮环轴承数值仿真
发动机减压制动性能的仿真与实验研究
电控旁通阀涡轮增压器匹配计算研究
基于启发式on-the-fly的扩展TGBA模型检测算法
碟式太阳能聚光器风载仿真
基于6σ稳健性方法的汽车行驶平顺性优化
基于MATLAB的菱形客车平顺性研究
发动机辅助制动性能仿真研究
尾随运动车辆识别与超车检测方法研究
基于差动制动的车道偏离辅助控制
基于耦合传热的涡轮增压器涡轮箱有限元分析
基于有限转动张量的转向机构分析及多岛遗传算法优化
基于嵌套树模型检测的研究
列控系统临时限速服务器仿真测试平台研究
涡轮增压器水冷轴承体冷却性能仿真研究
发动机泄气式辅助制动性能仿真研究
基于多特征融合的道路理解方法
基于嵌套树的对等博弈应用研究
基于TCSP的实时并发系统测试方法
机械系统接触碰撞界面显式计算的算法综述
高速车辆车道偏离辅助控制研究
基于不定Bezier变形模板的城市道路检测算法
基于热固耦合的柴油机气缸盖有限元分析
Fretting instability characteristics for gear shaft shoulder
孔道结构对柴油机微粒捕集器工作特性的影响