摘要: 根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。
中图分类号:
王绍新, 王燕芩, 闫连山. 面向形式化验证的联锁翻译器软件设计[J]. 铁路通信信号工程技术, 2022, 19(2): 18-23,42.
Wang Shaoxin, Wang Yanqin, Yan Lianshan. Design of Interlocking Translator Software Oriented to Formal Verification[J]. Railway Signalling & Communication Engineering, 2022, 19(2): 18-23,42.