近日，一場聚焦新能源航空領域的國際盛會在上海拉開帷幕。2025（第四屆）新能源航空國際論壇由中國航空學會、中國航空教育學會、中國航空研究院聯合主辦，眾多權威機構參與協辦、指導與支持，華東師范大學滴水湖國際軟件學院與上海廣堯航空共同承辦，為行業搭建起高規格的交流平臺。

本次論壇以“深挖新能源航空核心技術創新，打造航空產業協同發展新生態”為核心主題，為期兩天。活動吸引了近百家企業踴躍參與，200余位來自傳統飛機主機研制、eVTOL研制、飛機動力系統、飛機電源系統、飛機飛控系統、航電系統集成、SAF煉制、檢測試驗等多個領域的企業代表齊聚一堂，共同探討新能源航空體系的發展路徑。

在眾多參會企業中，上?？匕沧鳛檎搲闹С趾献骰锇閭涫懿毮?。其攜“機載軟件全生命周期適航符合性解決方案”精彩亮相，精準聚焦新能源航空領域對適航安全認證的迫切需求。該方案不僅提供適航符合性驗證工具鏈，還推出全棧式軟硬件國產化解決方案，有力推動我國新能源航空安全認證體系朝著自主可控的方向穩步發展。

論壇首日下午，上?？匕部尚跑浖撔卵芯吭焊痹洪L蔡喁教授出席并發表主題演講。他深入分享了適航工具應用實踐、某國產飛機型號軟件適航成功案例以及適航網絡安保解決方案等內容。蔡教授提出的觀點兼具前瞻性與洞察力，贏得了現場產業人士的高度認可與贊譽。

“機載軟件全生命周期適航符合性解決方案”依托上海控安自主研發的SmartRocket系列產品，全面覆蓋機載軟件的需求管理、架構設計、建模開發、測試驗證等全生命周期環節。其中，SmartRocket Reds需求管理工具可對軟件需求和HLR評審分析過程，以及需求工程的各項活動進行有效覆蓋；SmartRocket Modeler高可信嵌入式軟件建模開發工具具備圖形化建模和代碼生成功能，可覆蓋軟件底層需求開發和軟件編碼過程；SmartRocket TestGrid嵌入式軟件自動化測試平臺擁有全套TQL - 5等級的適航工具鑒定數據包，符合DO - 178B/C適航驗證要求和DO - 330的工具鑒定要求，適用于機載軟件的多個測試過程。

除了提供先進的工具鏈，該方案還搭配全流程適航認證咨詢服務。服務內容包括軟硬件適航研制體系構建、軟硬件全生命周期符合性支持、專項疑難問題符合性方法設計和實施指導、符合性數據開發和評審等，旨在幫助企業解決適航取證過程中的技術難題，協助企業通過中國民航局CAAC等適航性認證，促進企業的合規性建設，助力產品順利落地。

上?？匕才c華東師范大學軟件工程學院保持著深度協同合作關系。依托該學院深厚的學術積淀和豐富的人才儲備，雙方在嵌入式軟件全生命周期領域展開聯合攻關，圍繞機載軟件可信設計、形式化驗證及自動化測試等關鍵技術取得一系列成果。這些成果已成功應用于C919國產客機、嫦娥五號等國家重大工程，并在航空航天領域形成可廣泛推廣的技術解決方案。

當前，國產客機商業化進程不斷加速，機載軟件功能安全性與適航符合性成為保障飛行安全及通過國際認證的關鍵要素。上?？匕矐{借多年在國產化工業軟件工具鏈研發領域的深厚積累，結合華東師范大學軟件工程學院的學術支持，持續突破航空領域關鍵技術瓶頸，推動飛機航空電子技術革新，為構建綠色航空技術生態、加速新能源航空器適航認證進程提供堅實的技術保障。