计算机工程与应用2016，Vol.52Issue(17)：229-234,270,7.DOI:10.3778/j.issn.1002-8331.1409-0283
车站联锁进路控制逻辑的形式化方法
Route control station interlock logic of formal methods
摘要
Abstract
A computer-based interlocking system is one pair of train travel system to provide safe conditions for the sys-tem, the station interlock system is to ensure that the station traffic safety and improve transport efficiency of a typical safety-critical system. In this paper, based on the formal method Event-B, it introduces the role of Agent interlock system specification defines, through modeling and verifying agent and Event-B, it constructs the station interlocking route con-trol logic formal verification model, and conducts a formal specification and reasoning, the model is verified on the RODIN platform, validating by example, it meets the security needs of computer interlocking system.关键词
联锁/进路控制/Event-B方法/多智能体系统(MAS)Key words
interlock/route control/event-b method/Multi-Agent System(MAS)分类
信息技术与安全科学引用本文复制引用
胡晓辉,韩佳芮..车站联锁进路控制逻辑的形式化方法[J].计算机工程与应用,2016,52(17):229-234,270,7.基金项目
国家自然科学基金（No.61163009）；甘肃省硕导项目（No.1104-05）。 （）
