时间自动机模型的安全计算机平台的形式化验证.pdfVIP

第33卷第6期 铁 道 学 报 V01．33No．6 2 O1 OFTHECHINARAILWAYSOCIETY 2011 1年6月 JOURNAL June 1)06-0068—06 文章编号：1001—8360(20l 基于时问自动机模型的安全计算机平台的形式化验证 吕 继东1’2 郭志良1’2 郜春海1， 马连川2， (1．北京交通大学轨道交通控制与安全国家重点实验室，北京100044； 2．北京交通大学电子信息工程学院，北京100044) 摘要：众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础，2乘2取2冗余结构 的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2