车站联锁进路控制逻辑的形式化方法

• 作者: 胡晓辉 韩佳芮
• 来源期刊: 计算机工程与应用
• 学科: 交通运输
• 关键词: 联锁 进路控制 Event-B方法 多智能体系统(MAS)
• 年，卷（期）: 2016,（17）
• 所属期刊栏目: 工程与应用
• 页码范围: 229-234,270
• 页数: 7页
• 分类号: TP391.9|U283
• 字数: 4379字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1409-0283

摘要

基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统，车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化方法Event-B为基础，引入角色Agent对联锁系统进行规范定义，通过智能体与Event-B的建模和验证，构造了车站联锁进路控制逻辑形式化验证模型，并进行了形式化规范和推理，该模型在RODIN平台上进行验证，通过实例验证，满足了计算机联锁系统的安全需求。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0