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