报告题目：高速铁路列控系统安全及可靠性的智能分析方法

报告人： 程瑞军 博士

报告时间：2019年04月19日 9:00

报告地点： 数计学院4号楼129会议室

报告摘要：随着我国高速铁路建设规模的迅速扩大、列车时速的大幅度提高，高速铁路列车运行控制系统的安全性和可靠性已成为亟待解决的重要科学问题。为了解决传统的形式化验证方法存在“状态空间爆炸”和验证耗时过长的问题，提出运用仿真和验证相结合的系统安全建模及分析方法。同时，由于在传统上可靠性模型的建立主要依赖于专家经验，这将导致安全验证模型与可靠性分析模型之间有时会存在歧义性。为了解决这一问题，提出运用半形式的建模语言（UML或SysML）作为需求规范和形式化模型之间的桥梁，并结合人工智能技术，以保证系统可靠性分析模型与安全验证模型之间的一致性和提高分析的效率。

报告人简介：程瑞军，北京交通大学轨道交通控制与安全国家重点实验室博士。2018.03-2019.03年麻省大学访问学者（一年）。主要在智能交通系统、系统安全及可靠性分析等领域开展工作。目前，共发表SCI论文7篇，其中以第一作者发表5篇。论文主要发表在Reliability Engineering & System Safety，IEEE　Transactions on Intelligent Transportation Systems，Expert System with Applications等高水平SCI期刊。2017年获国家奖学金，交控奖学金。目前主持中央高校基本科研项目一项，参与国家自然科学基金等项目。