Scientific Research

Research Field

No content

Paper Publications

+more

• 梅萌. Safety-Guided Development of Critical Computer-Based Systems Using STPA and Event-B in an Iterative Process【SCI检索，中科院三区，中国计算机学会推荐期刊C类，中国铁道学会高质量期刊T3级】 .IET Intelligent Transport Systems .2026
• 陈祖希. 基于STPA的联锁系统层级安全需求建模及确认方法 .中国铁道科学【EI检索，中国铁道学会高质量期刊T1级】 .2026
• 张程【中国通号卡斯柯信号有限公司-铁路产品中心总工】. 基于STPA的铁路联锁系统安全需求分析及验证方法 .上海师范大学学报 .2026
• 张小林【中铁电气化局上海富欣智能交通控制有限公司-安全总监】. 基于卷积自编码的铁路道岔非接触故障诊断方法 .第六届中国铁路发展论坛 .2025
• Zuxi Chen, Chuanjun Niu【研究生】, Meng Mei, Hongyang Zhang. Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B .Safety Science【SCI检索，中科院二区，TOP期刊】 .2025
• ZuXi Chen, ShiFan Zhang【研究生】, XianLi Zeng, Meng Mei, XiangYu Luo, LiXiao Zheng. Parallel Path Detection for Fraudulent Accounts in Banks based on Graph Analysis .PeerJ Computer Science【SCI检索】 .2023

Patents

+more

• 一种轨道交通联锁系统完备性测试用例生成方法和系统
• 轨道交通联锁系统安全需求构建方法、装置、介质及产
• 面向安全需求的轨道交通联锁系统一致性测试方法及装置
• 一种轨道交通联锁系统故障注入测试方法
• 面向安全关键系统的可信开发与验证方法及装置
• 一种面向安全的铁路联锁系统的建模方法和系统

Published Books

No content

Research Projects

+more

• 基于功能安全标准的汽车智能驾控系统研发, 厦门市产学研项目 , 2024-10-15 -2025-11-01
• **铁路计算机联锁系统应急处置关键技术研究, 中国铁道科学研究院集团有限公司基金 , 2024-07-01 -2026-12-30
• 面向安全契约的轨道交通运营场景虚拟集成测试技术研究, Other projects , 2024-04-19 -2026-04-20
• 基于功能安全标准的汽车智能驾控系统研发, Enterprises and institutions shall entrust scientific and technological projects , 2022-06-30 -2023-12-31
• 基于有限状态演化模型的机电设备故障诊断系统研发, Government departments such as land city hall and bureau , 2022-01-01 -2023-12-31
• 基于形式化方法的高可信轨道交通控制系统验证和确认技术研究, 同济-泰雷兹【智慧轨道交通联合工程中心】 , 2021-12-24 -2023-12-24

Research Team

No content