1.《软件安全性分析和验证工具开发》，中航集团综合技术研究所，2011-2012，主持
2.《基于AltaRica的系统安全性动态建模和分析关键技术研究》，中航集团综合技术研究所，2014-2015，主持
3.《通讯系统可靠性在线评估模块开发》，上海腾之毅软件有限责任公司，2014-2015，主持
4.《卫星导航软件测试服务》，中航集团综合技术研究所，2015-2016，主持
5.《软件系统事故模型建立方法研究》，中航集团综合技术研究所，2015-2016，主持
6.《面向对象的故障建模软件研发》，北京卡索科技，2017，主持
7.《大数据分析平台支撑模块软件开发》，北京航空航天大学，2018，主持
8.《基于Petri网的体系流程设计建模与验证方法研究及工具软件研发》，中船集团海丰通航有限公司，2019，主持
9.《关键系统安全性建模和分析技术开发》，南京创联智软科技有限公司，2019-2021，主持
10.《某型航电系统控制管理软件测试技术服务》，中航集团综合技术研究所，2020-2021，主持
12.《体系工程领域文献综述汇编研究》，中船集团系统工程研究院，2021，主持
13.《基于群体智能的软件缺陷预测技术研究》，中船集团716研究所，2021-2012，主持
14.《基于数字孪生的船舶制造运营多源异构数据融合处理》，江苏杰瑞科技有限公司，2021-2022，主持
15.《基于改进Petri网的网络信息集成与业务流程建模方法研究与工具试制》，中船集团系统工程研究院，2022，主持
16.《空海协同验证算法研究》，中科院软件所，2023，主持
17.《面向水面无人系统的失效案例收集、测试技术与应用验证研究》，中科院软件所，2023-2024，主持
18.《自主能力测试与可信赖评估平台支撑模块研发》，中科院软件所，2023-2024，主持