近日，一场聚焦新能源航空领域的国际盛会在上海拉开帷幕。2025（第四届）新能源航空国际论坛由中国航空学会、中国航空教育学会、中国航空研究院联合主办，众多权威机构参与协办、指导与支持，华东师范大学滴水湖国际软件学院与上海广尧航空共同承办，为行业搭建起高规格的交流平台。
本次论坛以“深挖新能源航空核心技术创新，打造航空产业协同发展新生态”为核心主题，为期两天。活动吸引了近百家企业踊跃参与，200余位来自传统飞机主机研制、eVTOL研制、飞机动力系统、飞机电源系统、飞机飞控系统、航电系统集成、SAF炼制、检测试验等多个领域的企业代表齐聚一堂，共同探讨新能源航空体系的发展路径。
在众多参会企业中，上海控安作为论坛的支持合作伙伴备受瞩目。其携“机载软件全生命周期适航符合性解决方案”精彩亮相，精准聚焦新能源航空领域对适航安全认证的迫切需求。该方案不仅提供适航符合性验证工具链，还推出全栈式软硬件国产化解决方案，有力推动我国新能源航空安全认证体系朝着自主可控的方向稳步发展。
论坛首日下午，上海控安可信软件创新研究院副院长蔡喁教授出席并发表主题演讲。他深入分享了适航工具应用实践、某国产飞机型号软件适航成功案例以及适航网络安保解决方案等内容。蔡教授提出的观点兼具前瞻性与洞察力，赢得了现场产业人士的高度认可与赞誉。
“机载软件全生命周期适航符合性解决方案”依托上海控安自主研发的SmartRocket系列产品，全面覆盖机载软件的需求管理、架构设计、建模开发、测试验证等全生命周期环节。其中，SmartRocket Reds需求管理工具可对软件需求和HLR评审分析过程，以及需求工程的各项活动进行有效覆盖；SmartRocket Modeler高可信嵌入式软件建模开发工具具备图形化建模和代码生成功能，可覆盖软件底层需求开发和软件编码过程；SmartRocket TestGrid嵌入式软件自动化测试平台拥有全套TQL - 5等级的适航工具鉴定数据包，符合DO - 178B/C适航验证要求和DO - 330的工具鉴定要求，适用于机载软件的多个测试过程。
除了提供先进的工具链，该方案还搭配全流程适航认证咨询服务。服务内容包括软硬件适航研制体系构建、软硬件全生命周期符合性支持、专项疑难问题符合性方法设计和实施指导、符合性数据开发和评审等，旨在帮助企业解决适航取证过程中的技术难题，协助企业通过中国民航局CAAC等适航性认证，促进企业的合规性建设，助力产品顺利落地。
上海控安与华东师范大学软件工程学院保持着深度协同合作关系。依托该学院深厚的学术积淀和丰富的人才储备，双方在嵌入式软件全生命周期领域展开联合攻关，围绕机载软件可信设计、形式化验证及自动化测试等关键技术取得一系列成果。这些成果已成功应用于C919国产客机、嫦娥五号等国家重大工程，并在航空航天领域形成可广泛推广的技术解决方案。
当前，国产客机商业化进程不断加速，机载软件功能安全性与适航符合性成为保障飞行安全及通过国际认证的关键要素。上海控安凭借多年在国产化工业软件工具链研发领域的深厚积累，结合华东师范大学软件工程学院的学术支持，持续突破航空领域关键技术瓶颈，推动飞机航空电子技术革新，为构建绿色航空技术生态、加速新能源航空器适航认证进程提供坚实的技术保障。
