Research Projects

• [1]基于功能安全标准的汽车智能驾控系统研发,厦门市科技局,陈祖希,2024-10-15-2025-11-01
• [2]川藏铁路计算机联锁系统应急处置关键技术研究,中国铁道科学研究院集团有限公司,2024-07-01-2026-12-30
• [3]面向安全契约的轨道交通运营场景虚拟集成测试技术研究,上海轨道交通无人驾驶列控系统工程技术研究中心,2024-04-19-2026-04-20
• [4]基于功能安全标准的汽车智能驾控系统研发,横向课题,2022-06-30-2023-12-31
• [5]基于有限状态演化模型的机电设备故障诊断系统研发,厦门市科技局,2022-01-01-2023-12-31
• [6]基于形式化方法的高可信轨道交通控制系统验证和确认技术研究,上海电气泰雷兹交通自动化系统有限公司,2021-12-24-2023-12-24
• [7]基于有限状态演化模型的机电设备故障诊断系统,厦门光熙信息科技有限公司,陈祖希,2021-11-09-2022-12-31
• [8]面向轨道交通领域的可信工业控制软件核心保障技术研究,福建省科技厅,2021-08-01-2024-07-31
• [9]基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究,卡斯柯信号有限公司,2021-01-01-2021-12-31