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

作     者：王绍新 王燕芩 闫连山 Wang Shaoxin;Wang Yanqin;Yan Lianshan

作者机构：卡斯柯信号(成都)有限公司成都610083 卡斯柯信号有限公司上海200071 西南交通大学信息科学与技术学院成都611756 

基　　金：中国国家铁路局集团有限公司科技研究开发计划重点课题(N2021S003) 四川省重大科技专项(2019ZDZX0007) 

出 版 物：《铁路通信信号工程技术》 (Railway Signalling & Communication Engineering)

年 卷 期：2022年第19卷第2期

页      码：18-23,42页

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

主 题 词：联锁系统 形式化验证 翻译器软件 OCaml 函数式语言 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

D　O　I：10.3969/j.issn.1673-4440.2022.02.005

馆 藏 号：203107840...