信息科学系列报告（讨论班）—轨道交通列控系统的安全攸关软件
主 题: 信息科学系列报告（讨论班）—轨道交通列控系统的安全攸关软件
报告人: 王海峰教授 (北京交通大学)
时 间: 2017-03-01 13:00-14:00
地 点: 理科1号楼1303
摘要：在我国高速铁路和城市轨道交通快速发展。列车运行控制系统（简称列控系统）是轨道交通保障行车安全、提高运输效率的核心技术装备，当前，越来越多的系统功能由软件来承担。报告介绍列控系统的基本原理与特征，以及列控安全攸关软件技术现状。探讨系统开发面临的一些挑战，通过分析系统实践中遇到的一些问题，讨论安全软件的构造与质量保障措施。
主讲人简介：王海峰，教授，博士生导师，北京交通大学轨道交通运行控制系统国家工程研究中心副主任。长期从事列控系统的基础研究与核心技术开发工作，研究兴趣包括系统安全、系统建模与分析、形式化方法应用。曾主持和参与多项铁总科技创新项目，成果在我国铁路大面积推广应用。2008年聘为北京轨道交通信号系统核心技术研发及示范工程执行专家，参与了我国首套自主知识产权城市轨道交通CBTC列控系统的研发工作，负责地面ZC系统的设计、开发及北京地铁示范工程，该系统已应用于十多个城市的轨道交通线路。获得国家科技进步二等奖等奖１项，北京市科技进步一等奖1项。
