IIT-Kharagpur开发防止列车碰撞工具

火车旅行可能很快会更安全，因为哈拉格布尔工业研究所的科学家成功测试了一种电子铁路联锁系统的新工具，该系统可以防止火车相互碰撞。该工具套件由研究所计算机科学和工程部与印度铁路研究、设计和标准组织(RDSO)和服务改进小组(SIG)合作开发。

该项目的首席研究员pallab Dasgupta教授表示，由于联锁系统应用程序逻辑中的错误可能会产生灾难性的后果，这项发展有可能将此类错误的机会降至最低。“在所提出的方法中，院子布局被用作自动生成安全属性列表的参考，然后使用后端模型检查工具在应用程序逻辑上证明这些属性。正式属性的生成是专门针对该院子中使用的继电器组合而定制的，“他说。

达斯古普塔声称，该工具已经在几个铁路站场成功测试。印度理工学院的研究人员表示，该项目有潜力进一步推广，以研究和制定最佳交通运营计划，紧急情况下的替代计划。

印度铁路公司通过RDSO向印度铁道部哈拉格布尔铁路研究中心授予了12个研究项目，涉及铁路车辆、基础设施、运营和维修的分析和设计。除了在IIT Kharagpur的实验室测试之外，一些产品和技术正在印度铁路的各种设施进行现场测试。

专家们说，下一步将与工业合作伙伴一起进一步开发产品和技术。Dasgupta在解释这项技术时说，他们已经利用用于VLSI（超大规模集成电路）电路验证的分析工具来开发铁路联锁系统的正式验证逻辑。铁路联锁是一种重要的信号系统，它通过只允许一列列车走一条特定的路线来防止列车发生冲突。