基于SCADE联锁逻辑实现与仿真分析 |
| |
引用本文: | 赵璐,张娜敏.基于SCADE联锁逻辑实现与仿真分析[J].现代城市轨道交通,2019(6). |
| |
作者姓名: | 赵璐 张娜敏 |
| |
作者单位: | 南京恩瑞特实业有限公司 |
| |
摘 要: | 联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现开发过程的自动化,不仅极大地提高软件开发过程中的效率,而且能够保证系统的安全性和可靠性。
|
本文献已被 CNKI 等数据库收录! |
|