赵璐：基于SCADE联锁逻辑实现与仿真分析论文

本文主要研究内容

作者赵璐,张娜敏（2019）在《基于SCADE联锁逻辑实现与仿真分析》一文中研究指出：联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现开发过程的自动化,不仅极大地提高软件开发过程中的效率,而且能够保证系统的安全性和可靠性。

Abstract

lian suo ji tong dui an quan deng ji yao qiu gao ,cai yong gao an quan xing ruan jian kai fa shi fen bi yao 。wen zhang jie shao ji yu SCADEgong ju shi xian lian suo luo ji ruan jian de kai fa guo cheng ,shi yong mo xing hua de fang fa cong lian suo luo ji de ceng ci hua she ji dao zui zhong dai ma yan zheng ,shi xian kai fa guo cheng de zi dong hua ,bu jin ji da de di gao ruan jian kai fa guo cheng zhong de xiao lv ,er ju neng gou bao zheng ji tong de an quan xing he ke kao xing 。

论文参考文献

[1].面向安全的计算机联锁系统联锁逻辑测试实施规范[J]. 王芳萌. 城市轨道交通研究.2015(S2)

[2].铁路信号联锁逻辑形式化建模研究[J]. 陈邦兴,吴芳美. 铁道学报.2002(06)

[3].基于SCADE和梯形图的可视化联锁逻辑实现方法[J]. 王东,崔佳诺. 铁路通信信号工程技术.2018(09)

[4].枢纽车站信号机设计及联锁逻辑的实现[J]. 张校瑞. 铁路通信信号工程技术.2017(06)

[5].基于SCADE的列车调度软件设计[J]. 高博文. 铁道通信信号.2010(08)

[6].铁路信号联锁逻辑形式化建模研究[J]. 王玉麟. 科学技术创新.2018(18)

[7].联锁逻辑模型可靠性分析[J]. 陈东. 黑龙江科技信息.2016(08)

[8].基于SCADE的区间占用逻辑检查功能设计与实现[J]. 崔佳诺,张阳. 铁道通信信号.2018(09)

[9].基于SCADE的列控系统车载ATP软件建模研究[J]. 王锡奎,田建兆,王若昆,张菊. 高速铁路技术.2019(01)

[10].SCADE软件在城市轨道交通中的应用[J]. 袁晴. 铁道通信信号.2016(05)

论文详细介绍

论文作者分别是来自现代城市轨道交通的赵璐,张娜敏，发表于刊物现代城市轨道交通2019年06期论文，是一篇关于联锁逻辑论文,层次化设计论文,安全性论文,现代城市轨道交通2019年06期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自现代城市轨道交通2019年06期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。

本文来源: https://www.lw00.cn/article/744b79edd6cda0fc9723e6e0.html