|
|||||
|
|
| 斯德哥尔摩应用联锁软件 | |
| 引用本文： | 王冲.斯德哥尔摩应用联锁软件[J].铁路通信信号工程技术,2014(6):95-95. |
| 作者姓名： | 王冲 |
| 作者单位： | 北京全路通信信号研究设计院有限公司 |
| 摘 要： | <正>斯德哥尔摩交通管理局(SL),已经批准使用本土公司Prover科技公司的i Lock软件生成联锁需求。i Lock在采用拖放编辑器或者使用导入文件的标准PC上运行,利用一个正式的规范库,上述规范库定义瑞典联锁系统的基本原则,并且适应SL的需求。随后生成配置和要求,并且自动检查 |
| 关 键 词： | 斯德哥尔摩 联锁软件 应用 Lock 软件生成 联锁系统 管理局 编辑器 |
| 本文献已被 CNKI 维普 等数据库收录！ | |