面向形式化验证的联锁翻译器软件设计

作者：王绍新; 王燕芩; 闫连山

来源：铁路通信信号工程技术, 2022, 19(02): 18-23+42.

• 联锁系统
• 形式化验证
• 翻译器软件
• OCaml
• 函数式语言

根据联锁系统的形式化验证系统需求，设计一种联锁数据翻译器软件的总体方案，实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换，生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。

• 单位
  西南交通大学; 卡斯柯信号有限公司