郭志良
- 作品数：3 被引量：12H指数：2
- 供职机构：北京交通大学电子信息工程学院全光网络与现代通信网教育部重点实验室更多>>
- 发文基金：北京市科技计划项目国家科技支撑计划更多>>
- 相关领域：交通运输工程自动化与计算机技术电子电信更多>>
- 基于时间自动机模型的CBTC系统安全计算机平台的形式化验证
- 众多工业控制领域要求其计算机控制系统具有高可靠、高可用和高安全的运行基础。安全计算机系统常用于军事、航空航天、工业控制、银行、通信等安全苛求(safety-critical)领域,以避免由于计算机的失效造成重大事故。 基...
- 郭志良
- 关键词：安全计算机时间自动机UPPAAL
- 文献传递
- 一种内河船舶信息自动报告系统的设计与实现被引量：1
- 2012年
- 针对目前内河航运中普遍使用VHF语音通信进行船舶信息交流的缺点,设计了一种基于自组织无线数据通信、GPS定位、嵌入式软硬件设计和电子江图等关键技术实现的内河船舶信息自动报告系统,研制的实验室样机实现了自动感知临近船舶并对距离过近的危险船舶报警、船舶向岸基设备自动发送相关航运信息等功能。该系统具有运营低成本、自动准确报告船舶信息的特点,能够提高内河航运安全技术水平。
- 高倍力马连川郭志良刘海旭
- 关键词：内河航运船舶定位电子江图
- 基于时间自动机模型的安全计算机平台的形式化验证被引量：8
- 2011年
- 众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。
- 郭志良郜春海马连川吕继东
- 关键词：实时系统安全计算机时间自动机UPPAAL
