本文主要研究内容
作者赵璐,张娜敏(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 。
论文参考文献
论文详细介绍
论文作者分别是来自现代城市轨道交通的赵璐,张娜敏,发表于刊物现代城市轨道交通2019年06期论文,是一篇关于联锁逻辑论文,层次化设计论文,安全性论文,现代城市轨道交通2019年06期论文的文章。本文可供学术参考使用,各位学者可以免费参考阅读下载,文章观点不代表本站观点,资料来自现代城市轨道交通2019年06期论文网站,若本站收录的文献无意侵犯了您的著作版权,请联系我们删除。
标签:联锁逻辑论文; 层次化设计论文; 安全性论文; 现代城市轨道交通2019年06期论文;