俄羅斯的新JetOS系統–與西方隔絕的又一步

  • JetOS是第一個俄羅斯製造的實時系統。
  • 俄羅斯程序員完全重寫了實時調度程序,網絡堆棧和內存管理。
  • JetOS系統的可靠性還有待觀察。

俄羅斯的МС-21和SSJ-100飛機將配備JetOS,這是俄羅斯實時製造的系統。 JetOS系統的認證版本應在今年年底發布。 伊爾庫特MC-21是俄羅斯的單通道雙噴氣客機,由雅科夫列夫設計局開發,由其母公司伊爾庫特(聯合飛機公司的分支機構)生產。

SSJ-100,Sukhoi Superjet 100或SSJ100是由聯合飛機公司的一個部門Sukhoi設計的支線飛機。 但是,俄羅斯製造的超級噴氣機一直困擾著太多的問題和事件。

俄羅斯科學院伊万尼科夫系統編程研究所正在開發JetOS操作系統。 ISP RAS 是專門從事系統編程的研究機構。 系統開發的原因是由於俄羅斯沒有自己的系統 DO-178C,是由美國聯邦航空局(FAA)等機構批准的軟件安全認證標準(聯邦航空局)和加拿大運輸部。

實時操作系統的特徵是確定性行為。 而且,為了確保系統可靠可靠的行為,所有資源的靜態預分配是:內存,CPU,時間,對設備的訪問。 JetOS操作系統的許多參數是靜態配置的,不能進行動態更改。

JetOS是具有ARINC-653支持的實時操作系統。 ARINC 653 (航空電子應用標準軟件接口)是用於安全關鍵型航空電子實時操作系統(RTOS)中的時空劃分的軟件規範。 它來自法國研究人員創建的開源項目POK,儘管POK由於無法滿足基本要求而無法實際應用。

俄羅斯程序員完全重寫了實時調度程序,網絡堆棧和內存管理。 他們還為JetOS添加了更多功能。 主要功能之一是系統部分,它允許擴展功能,包括對硬件的訪問。 JetOS不支持SARC平台,因為沒有任何航空電子系統都建立在SPARC之上。 該系統在x86和PowerPC上運行。 x86是一種Intel CPU體系結構,始於16年的8086位1978處理器。如今,術語“ x86”通常用於表示與x32指令集兼容的任何86位處理器。 完整的JetOS系統規格在這裡.

實時性要求嚴格的系統對時間和資源消耗有嚴格的要求。

到目前為止,俄羅斯還沒有符合DO-178C的系統。 另外,由於普京領導下的俄羅斯改變了路線,俄羅斯人將JetOS的開發列為下一步工作。 俄羅斯希望完全停止使用任何西方技術,並進一步孤立俄羅斯人民。

JetOS系統的可靠性還有待觀察。 當前沒有可用數據來確定係統的優勢。

每次$ 1美元

在這裡提交廣告

克里斯蒂娜·基托娃(Christina Kitova)

我一生的大部分時間都在從事金融,保險風險管理訴訟。

發表評論