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

• 作者: 王绍新 王燕芩 闫连山
• 来源期刊: 铁路通信信号工程技术
• 学科: 交通运输
• 关键词: 联锁系统 形式化验证 翻译器软件 OCaml 函数式语言
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 信号技术|Signalling Technology
• 页码范围: 18-23,42
• 页数: 7页
• 分类号: U294.36+2
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4440.2022.02.005

摘要

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