斯德哥尔摩应用联锁软件  

作　　者：范婷婷[1] 

机构地区：[1]北京全路通信信号研究设计院有限公司

出　　处：《铁路通信信号工程技术》2014年第6期95-95,共1页Railway Signalling & Communication Engineering

摘　　要：斯德哥尔摩交通管理局（SL）,已经批准使用本土公司Prover科技公司的i Lock软件生成联锁需求。 i Lock在采用拖放编辑器或者使用导入文件的标准PC上运行,利用一个正式的规范库,上述规范库定义瑞典联锁系统的基本原则,并且适应SL的需求。

关 键 词：斯德哥尔摩 联锁软件 应用 LOCK 软件生成 联锁系统 管理局 编辑器 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]