【點擊右上角加'關注'，全國產經信息不錯過】
國產操作系統不單有華為“鴻蒙”
還有航空工業“天脈”！
這可不是簡單的操作系統，
它還是實時操作系統！
“天脈”系列產品分為：
“天脈”1和“天脈”2。
它們響應能力強、結構簡潔、高效，
應用廣泛。
近日，航空工業計算所向多家用戶單位成功交付“天脈”多核操作系統以及自主研發的配套開發環境的試用版本，“天脈”多核操作系統正式進入用戶使用驗證階段。
“天脈”操作系統團隊經過長期的技術攻關和多輪次技術迭代，成功突破了可伸縮架構、多核支持、實時進程、64位支持等多核操作系統關鍵技術，完成“天脈”操作系統對國產飛騰處理器和進口高性能多核處理器的深度適配工作，形成了支持單應用場景和多應用場景的天脈多核操作系統及開發環境。在相關用戶單位的大力協助下，計算所團隊為相關用戶單位搭建了“天脈”多核操作系統驗證平臺，完成了多個項目應用軟件的平臺移植和技術人員培訓工作，部分軟件項目完成了初步驗證，用戶反饋使用體驗良好。
產品取名“天脈”。當時國內急需具有新一代綜合化模塊化航空電子系統（IMA）特徵、滿足ARINC 653標準的“時間”“空間”健壯分區保護的操作系統產品。這種產品除了實現基本任務調度、設備管理等功能外，還需要實現時間分區管理、空間分區管理、健康監控、分區間通信等功能。
而且除ARINC 653標準之外，還需要實現藍圖配置、容錯、重構等系統管理等ASSAC所定義的策略，滿足IMA分佈式系統管理框架的需要，當時在國內這更是研究的空白地帶。 但是實現具有IMA特徵的機載電子設備是我們裝備發展的必由之路，國外IMA所使用的Integrity/178B分區操作系統對我實行嚴格禁運。 如果說ARINC 653或ASSAC（法、德、英和美政府建立的聯合標準化航空電子系統架構委員會）通過技術攻關可以突破的話，而實現高安全、高可靠的軟件工程方法、過程和工具，更需要長期的磨鍊、歷練，逐步積累和完善。
研製團隊經過對比國內外、軍內外軟件領域標準和規定，在滿足軍用軟件研製規範的同時，通過全面論證，確定了發展路線、戰技指標、技術標準等重大難點問題。 團隊引入民用飛機軟件的國際適航標準——DO-178B《機載系統和設備合格審定中的軟件考慮》。 研製團隊針對基礎軟件的特點，自加壓力、將“天脈”操作系統產品的安全等級定位為最高的A級，並在研製團隊內部全面自主實踐DO-178B的驗證工作，並據此制定相應的研製原則和方針。 事實證明在研發階段引入適航理念，制定滿足DO-178B對A級軟件66個目標的計劃，而在論證和評估階段按照國軍標嚴格執行，這些都對於保證“天脈”操作系統的產品質量，實現高安全、高可靠的目標起到了決定性的作用。
操作系統作為一項基礎性技術，使用驗證是軟件研製必不可少的關鍵環節，也是用戶最為關注的內容。計算所項目團隊將全力做好技術支持，為用戶提供技術保障；做好使用驗證數據的收集和分析工作，為軟件後續升級改進提供依據；進一步加大研發力度，擴展操作系統對龍芯、華睿等國產處理器、DSP多核處理器及其他外部設備的支持能力，向用戶提供更加豐富的系統組件與軟件工具，不斷提高產品的成熟度與易用性。
鐵粉必看
瞬間丨7圖讀懂航空報國精神
航空青年 舞動青春旋律
主編/劉 煊 監製/謝林軒
來源/航空工業計算所
全國產經信息平臺聯繫電話：010-65367817，郵箱：[email protected]，地址：北京市朝陽區金臺西路2號人民日報社
閱讀更多 全國產經平臺 的文章
