首页> 中文会议>2013年全国开放式分布与并行计算学术年会 >基于梯形逻辑的联锁系统形式化验证方法

基于梯形逻辑的联锁系统形式化验证方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

铁路联锁系统设计通常采用梯形逻辑进行建模.为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证.

著录项

来源
《2013年全国开放式分布与并行计算学术年会》|2013年|3419-34223431|共5页
会议地点昆明
作者
YU Lizhen; 于丽贞; XU Zhongwei; 徐中伟; CHEN Zuxi; 陈祖希; ZHANG Shuqing; 张舒青;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 U291.12;
关键词
铁路联锁系统; 形式化验证; 梯形逻辑; 模型检测;
入库时间 2022-08-17 10:41:37

相似文献

中文文献
外文文献
专利

1. 基于梯形逻辑的联锁系统形式化验证方法 [J] . 于丽贞 ,徐中伟 ,陈祖希 . 计算机应用 . 2013,第012期
2. 基于逻辑的形式化验证方法:进展及应用 [J] . 陈钢 ,于林宇 ,裘宗燕 . 北京大学学报：自然科学版 . 2016,第2期
3. 一种基于SVO逻辑的新形式化验证方法 [J] . 王茜 ,杨德礼 . 计算机集成制造系统 . 2004,第003期
4. 基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证 [J] . 王鲲 . 中国铁道科学 . 2018,第003期
5. 基于Event-B的中断管理需求和设计形式化建模与验证方法 [J] . 周育逵 ,杨桦 ,乔磊 . 空间控制技术与应用 . 2017,第003期
6. 安全协议形式化分析的新进展:基于逻辑程序的验证方法 [C] . 林瀚 ,徐艳艳 ,苏开乐 . 2004年全国理论计算机科学学术年会 . 2004
7. 铁路信号联锁系统安全规范的形式化描述与验证方法 [A] . 张越 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号