肖鹏，1988年生，男，博士，副教授，硕士生导师。软件工程系教工党支部书记，软件工程系副系主任。2018年博士毕业于北京航空航天大学“系统工程”专业，围绕航空机载软件共性问题、人工智能安全关键技术，在航空机载软件测试与验证、智能软件安全与治理、先进软件分析检测方法方向开展研究。近5年主持中央军委装备部项目2项、省部级课题2项、企业委托横向课题十余项，在国际顶级期刊IEEE transactions on systems, man, and cybernetics: system、IEEE transactions on information forensics and security发表论文2余篇，其他权威期刊和学术会议上发表论文10余篇，授权发明专利8项、软件著作权7项，总科研经费超600万。曾在北航可靠性管理与测评中心长期从事航空机载软件工程化工作，并开展国内软件测试自主可控工具链的研制。研发自主可控“面向模型协同仿真的流程测试验证工具”，有效地解决我国航空领域模型驱动系统工程在多模型集成测试验证中流程控制的短板。现为国内多家科研院所、企事业单位提供技术服务。目前是中国计算机学会南昌分会执行委员、江西省计算机学会理事、中国航空学会会员。

近5年科研成果如下：

（1）纵向课题

[1] XX共因失效防御技术研究研究，2022.03-2024.02 中央军委装备部，50万，主持。

[2] 基于协同仿真验证的XX模型质量评估技术研究，2024.01-2025.12 中央军委装备部，90万，主持。

[3] 基于缺陷精准预测的智能化软件测试技术研究，2021.11-2022.12 江西省自然科学基金（青年），10万，主持。

[4] 基于多模态异构图表征学习的安全漏洞检测技术 2025.06-2027.12 江西省自然科学基金（面上），10万，主持。

（2）国防/企业横向课题

[1] 软件缺陷数据分析工具, 北京航空航天大学, 2020-10-22~2021-03-22,10万，主持。

[2] 面向模型协同仿真的流程测试验证工具，中国航空无线电电子研究所，2021-07-15~2023-03-30，120万，主持。

[3] TPSR SDU驱动控制软件项目测试技术服务，北京航空航天大学，2021-09-06~2021-12-31，11万，主持。

[4] 基于任务剖面的装备软件测试用例自动生成原型系统研制，中国船舶工业综合技术经济研究院，2022-05-06~2023-12-31，21万，主持。

[5] 消息一致性测评系统，中国电子科技集团公司第二十研究所，2022-09-08~2023-01-08，73万，主持。

[6] 消息建模及测试用例生成系统，中国电子科技集团公司第二十研究所，2022-10-17~2023-02-17，67万，主持。

[7] 软件缺陷数据收集和主动测试工具开发，中国科学院空天信息创新研究院，2022-10-20~2024-08-20，44万，主持。

[8] 航空产品实物质量大数据故障分类模型研究，江西洪都航空工业集团有限责任公司，2022-03-01~2023-09-30，10万，主持。

[9] AG600机载维护系统软件验证，中国航空无线电电子研究所，2024-12-05~2025-12-05，48万，主持。

[10] 某软件协议测试环境供应服务，湖南泛联新安信息科技有限公司，2025-04-15~2025-07-15，10万，主持。

[11] 模型算法测试软件开发，北京航空航天大学，2025-04-16~2025-10-16, 48万，主持。

[12] 软、硬件接口故障机理分析及故障模式库构建，中国船舶集团有限公司综合技术经济研究院，2025-09-02~2025-12-31，33.5万，主持。

[13] 基于故障仿真的软件安全性测评原型系统测试，中国船舶集团有限公司综合技术经济研究院，2025-11-01~2025-12-31，42万，主持。

（3）发表科技论文

[1] Adaptive Testing Based on Moment Estimation，IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50(3):911-922.2020-03，第一作者。

[2] Vulnerability Detection Based on Enhanced Graph Representation Learning，IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY,19(0):5120-5139.2024-05，第一作者。

[3] 基于深层图卷积网络与注意力的漏洞检测方法，计算机工程与应用,60(3):292-298. 2024-02，第一作者。

[4] A Reliability Analysis Method for Common Cause Failure Based on Extended Dynamic Fault Tree 2023 3rd International Conference on Electronic Information Engineering and Computer Science (EIECS) ,514-520.2023-12，第一作者。

[5] 基于建模与仿真的完备协议测试验证技术,中国测试，51(07)：154-163，2025，第一作者。

[6] Research on code defect detection technology based on multimodal representation learning, International Conference on Computer Graphics, Artificial Intelligence, and Data Processing (ICCAID 2025), 14113, 2026.https://doi.org/10.1117/12.3102255.，第一作者。

[7] DCATCN: A temporal convolutional network and cross-attention based UAV sensor anomaly detection method, Internet of Things, 2025, 34，通讯作者。

[8]A Structural Coupling Network-based Potential Software Risk Identification Method. Journal of Network and Computer Applications，2026.，第一作者。

（4）授权技术发明专利：

[1] 一种程序切片漏洞检测方法、系统、计算机及存储介质 ZL202211396035.2 技术发明专利 2023-02 中国

[2] 一种形式化测试模型建模方法、系统、计算机及存储介质 ZL202210818163.5 技术发明专利 2022-11 中国

[3] 联合仿真集成测试验证方法、装置、可读存储介质及设备 ZL202210812663.8 技术发明专利 2022-10 中国

[4] 分布式仿真测试方法、装置、可读存储介质及计算机设备 ZL202210244040.5 技术发明专利 2022-06 中国

[5] Testing verificationmethod for model co-simulation 2022/08907 技术发明专利 2022-11 南非

[6] 基于加权有向耦合网络的软件结构风险识别方法与装置 ZL202311616552.0 技术发明专利 2023-11 中国

[7] 基于软件结构耦合网络的共因失效风险分析方法及系统 ZL202511735497.6 技术发明专利  2026-2 中国

[8] 一种基于同步和合作关系的故障定位方法             ZL202511842460.3 技术发明专利  2026-3 中国

（5）取得软件著作权

[1] 分布式模型联合仿真流程测试验证平台V1.0 2022SR0328478 2022-03 第一

[2] 基于XML配置的报文建模管理软件V1.0 2022SR0327510 2022-03 第一

[3] 消息设计测试验证评估平台V1.0 2022SR0328114 2022-03 第一

[4] 程序安全漏洞检测系统 2024SR0070828 2024-01 第一

[5] 算法测试验证软件 2024SR0065755 2024-01 第一

[6] 模型协同仿真验证的质量评估工具软件 V1.0 2025SR2392648 2025-12 第一

[7] 面向协同仿真的DDS数据分发平台 V1.0 2025SR2391373 第一