文献类型：期刊文章

作　　者：胡晓辉[1] 韩佳芮[2]

HU Xiaohui;HAN Jiarui(School of Electronic & Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China;Library of Lanzhou Jiaotong University, Lanzhou 730070, China)

机构地区：[1]兰州交通大学电子与信息工程学院,兰州730070 [2]兰州交通大学图书馆,兰州730070

出　　处：《计算机工程与应用》

基　　金：国家自然科学基金(No.61163009);甘肃省硕导项目(No.1104-05)

年　　份：2016

卷　　号：52

期　　号：17

起止页码：229-234

语　　种：中文

收录情况：AJ、BDHX、BDHX2014、CSA、CSA-PROQEUST、CSCD、CSCD_E2015_2016、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

关 键 词：联锁  进路控制 Event-B方法  多智能体系统(MAS)  

分 类 号：TP391.9] U283[计算机类]