2025年5月19日，西北工业大学收到来自中航通飞华南飞机工业有限公司的感谢信，对软件学院郑炜、王丽、杨琪等教师及团队在“鲲龙”AG600大型水陆两栖飞机研制中的关键贡献致以诚挚感谢。AG600作为我国应急救援体系和国家自然灾害防治体系建设的重大航空装备，其成功取证标志着我国航空工业的又一里程碑。

在AG600复杂电子系统适航性验证的关键阶段，郑炜团队勇担重任，主导完成了航电系统复杂电子设备、襟翼系统、机载操作系统相关10个配置项（DAL:2A4B4C）的适航性验证工作，为型号合格证的取得奠定了坚实基础。团队突破多项技术瓶颈：

（1）创新检测方法：提出面向机载复杂电子硬件需求与代码的一致性检测方法，显著提升适航验证效率；

（2）智能验证突破：提出基于主动学习算法的HCPS消息协议形式化验证框架，提升复杂场景下的协议合规性检测能力；

（3）标准引领行业：牵头编制《机载系统硬件适航要求审定规范》（已发布）和《机载软件适航要求审定规范》（编制中），填补国内相关领域标准空白。

面对航空系统安全性要求严苛、适航验证时间紧迫等挑战，团队以“航空报国”为信念，与中航通飞、中航615所、中航114所、中航618所等单位通力合作，历时一年半攻坚克难，最终高质量完成任务。中航通飞在信中特别赞扬团队师生“你们的辛勤耕耘和无私奉献,不仅体现了对航空事业的无限热爱,更影显了高度的责任感和使命感”。

软件学院始终立足“服务国家战略需求”的核心定位，主动将学科建设、人才培养、科研攻关与航天强国、数字中国等国家重大战略深度融合，未来，学院将持续深化与航空工业的产学研合作，聚焦关键核心技术攻关，在航天信息系统研发、自主可控软件技术创新等领域勇担使命，为国产大飞机事业和航空强国建设贡献更多“西工大力量”。

介绍：

AG600是我国自主研制的大型灭火/水上救援水陆两栖飞机，全称为“鲲龙-600”（英文：KunlongAG600）。它是我国“大飞机家族”的重要成员（与运-20、C919并称“三大型号”），主要用于执行森林灭火、海上搜救、海洋环境监测与保护等任务，是国家应急救援体系建设急需的重大航空装备。首次试飞成功收到习近平总书记贺电。AG600的成功研制与应用，不仅标志着我国掌握了大型水陆两栖飞机的设计、制造和试验试飞等核心技术，也为全球应急救援装备发展提供了“中国方案”。