11月13-14日，2025（第四届）新能源航空国际论坛在上海隆重举行。本届论坛由中国航空学会、中国航空教育学会与中国航空研究院联合主办，中国航空发动机研究院、中国商飞北京民用飞机技术研究中心协办，中国（上海）自由贸易试验区临港新片区管理委员会指导，中国航空学会航空机电、环境与人体工程分会、中国航空教育学会国际化人才培养分会、上海市航空学会支持，华东师范大学滴水湖国际软件学院与上海广尧航空承办。

论坛为期两天，围绕“深挖新能源航空核心技术创新，打造航空产业协同发展新生态”主题展开，吸引了近100家企业参与，200余位来自传统飞机主机研制、eVTOL研制、飞机动力系统、飞机电源系统、飞机飞控系统、航电系统集成、SAF炼制、检测试验领域的相关企业代表参会，共同推动新能源航空体系的发展。

上海控安作为论坛支持合作伙伴，携“机载软件全生命周期适航符合性解决方案”亮相，聚焦新能源航空领域适航安全认证需求，提供适航符合性验证工具链及全栈式软硬件国产化解决方案，推动我国新能源航空安全认证体系自主可控发展。

13日下午，上海控安可信软件创新研究院副院长蔡喁教授出席并发表主题演讲，重点分享适航工具应用实践、某国产飞机型号软件适航成功案例、适航网络安保解决方案等内容。其提出的具有前瞻性、洞察力的观点获得现场产业人士高度认可。

“机载软件全生命周期适航符合性解决方案”依托上海控安自研的SmartRocket系列产品，实现对需求管理、架构设计、建模开发、测试验证等机载软件全生命周期的覆盖。

其中，SmartRocket Reds需求管理工具覆盖软件需求和HLR评审和分析过程，以及需求工程的各项活动；SmartRocket Modeler高可信嵌入式软件建模开发工具覆盖软件底层需求开发和软件编码过程，具备图形化建模功能、代码生成功能等；SmartRocket TestGrid嵌入式软件自动化测试平台具备全套TQL-5等级的适航工具鉴定数据包，符合DO-178B/C适航验证要求、DO-330的工具鉴定要求，适用于机载软件的源代码评审与静态分析、软件底层测试、软件集成测试、软/硬件集成测试过程。

同时，该方案搭配全流程适航认证咨询，包括软硬件适航研制体系构建、软硬件全生命周期符合性支持、专项疑难问题符合性方法设计和实施指导、符合性数据开发和评审等，专注帮助企业解决适航取证过程中的技术难题，协助其通过中国民航局CAAC等适航性认证，促进企业合规性建设，助力产品落地。

上海控安依托华东师范大学软件工程学院的学术积淀与人才储备，在嵌入式软件全生命周期领域形成深度协同。双方围绕机载软件可信设计、形式化验证及自动化测试等关键技术展开联合攻关，相关成果已成功应用于C919国产客机、嫦娥五号等国家重大工程，并在航空航天领域形成可推广的技术解决方案。

随着国产客机商业化进程加速，机载软件功能安全性与适航符合性已成为保障飞行安全及通过国际认证的核心要素。上海控安凭借多年深耕国产化工业软件工具链研发的积累，结合华东师范大学软件工程学院的学术支撑，持续突破航空领域关键技术瓶颈，推动飞机航空电子技术革新，为构建绿色航空技术生态、加速新能源航空器适航认证进程提供坚实技术保障。