首页 > 《铁路通信信号工程技术》 > 2014年6期 > 斯德哥尔摩应用联锁软件

斯德哥尔摩应用联锁软件

在线阅读下载PDF 导出详情

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

DOI 54y9n913d0/1468052

作者范婷婷

机构地区不详

出处《铁路通信信号工程技术》 2014年6期

关键词斯德哥尔摩联锁软件应用 LOCK 软件生成联锁系统

分类 [交通运输工程][道路与铁道工程]

出版日期 2014年06月16日（中国期刊网平台首次上网日期，不代表论文的发表时间）