<kbd id="afajh"><form id="afajh"></form></kbd>
<strong id="afajh"><dl id="afajh"></dl></strong>
    <del id="afajh"><form id="afajh"></form></del>
        1. <th id="afajh"><progress id="afajh"></progress></th>
          <b id="afajh"><abbr id="afajh"></abbr></b>
          <th id="afajh"><progress id="afajh"></progress></th>

          飛機一般用什么操作系統(tǒng)?安全不?

          共 1892字,需瀏覽 4分鐘

           ·

          2022-04-12 05:07


          飛機上一般用的是什么操作系統(tǒng)?這是很多人一直想要知道的答案。
          這段根據(jù) V友轉(zhuǎn)自百度知道的答案:
          航空軟件并不神秘,從計算機架構上來說,同普通的計算機系統(tǒng)并無太大區(qū)別,都是由處理器,總線,I/O設備,存儲設備,網(wǎng)絡設備,通訊設備,操作系統(tǒng)和應用軟件所構成的。僅僅是為了滿足很高指標的可靠性,健壯性和實時性,而采用了另一套東西而已。

          1、波音-787,AH-64用的操作系統(tǒng)是VxWorks
          ?
          來自:VxWorks的官方網(wǎng)站
          VxWorks ?是世界上第一個也是唯一一個支持通過容器部署應用程序的實時操作系統(tǒng) (RTOS)。
          VxWorks 的最新版本包括對 OCI 容器的支持。現(xiàn)在,您可以使用類似 IT 的傳統(tǒng)技術更好更快地開發(fā)和部署智能邊緣軟件,而不會影響確定性和性能。了解獨立研究人員 VDC 為何再次將 VxWorks 命名為邊緣的第一 RTOS。
          VxWorks ?在最具挑戰(zhàn)性的安全關鍵應用中得到驗證,使技術供應商能夠更輕松、更具成本效益地滿足 EN 50128、IEC 61508、ISO 26262、DO-178C 和 ED-12C 的嚴格安全認證要求。
          VxWorks 653 是一個安全、可靠和可靠的實時操作系統(tǒng) (RTOS),它在最新的 ARM ?、 Intel ?和 PowerPC 多核處理器平臺上提供了一個具有強大時間和空間分區(qū)功能的開放式虛擬化平臺。VxWorks 653 的技術已在 100 多架民用和軍用飛機上經(jīng)過 360 多個客戶的 600 多個安全程序證明,正在推動航空航天和國防領域向軟件定義系統(tǒng)的過渡,帶來解決實際業(yè)務問題的創(chuàng)新技術。
          VxWorks Cert Edition 為希望開發(fā)和認證安全、可靠和可靠的解決方案、降低風險、成本和認證工作的受監(jiān)管行業(yè)提供可認證的 RTOS 系統(tǒng)。
          2、B-2, F-16, F-22, F-35, 空客-380 使用的操作系統(tǒng)是Integrity-178B
          這是INTEGRITY-178 tuMP的官方網(wǎng)站
          類似波音-787,空客-380,空客-350內(nèi)部設備之間是使用以太網(wǎng)的一種變體來互聯(lián)的,叫AFDX,在應用軟件這一層,同普通的以太網(wǎng)程序沒有任何區(qū)別。
          INTEGRITY-178 tuMP 實時操作系統(tǒng) (RTOS) 是世界領先的多核 RTOS,適用于安全和安保關鍵型應用。
          INTEGRITY-178 和 INTEGRITY-178 tuMP 是系統(tǒng)的一部分,已通過最高級別的機載安全 (DO-178B/C DAL A) 和安全 (SKKP/EAL 6+) 認證,適用于 80 多個機載系統(tǒng)。
          INTEGRITY-178 tuMP 是第一個經(jīng)過認證的操作系統(tǒng),符合最新的未來機載能力環(huán)境 (FACE?) 技術標準 3.0 版,并且通過了安全基礎和安全配置文件的認證。INTEGRITY-178 tuMP 是第一個唯一獲得多核認證的 RTOSDO-178C 和 CAST-32A。
          3、過去這些設備經(jīng)常使用ADA語言來編寫,現(xiàn)在為了降低成本,在F-35項目上已經(jīng)改為使用C++了。
          這是F-35項目的C++編程規(guī)范
          F-35的微處理器是PowerPC指令集的,為了保證可靠性,采用的編譯器也是同普通的編譯器不太一樣。編譯器也是有可能出bug的,為了保障源代碼同編譯出來的目標代碼完全一致,避免編譯器的bug造成問題,在JSF項目內(nèi)部的軟件開發(fā)中,經(jīng)常使用CompCert編譯器。這個編譯器只能編譯C99,但是可靠性極高。
          總結:
          1. 波音-787,AH-64用的操作系統(tǒng)是VxWorks
          2. B-2, F-16, F-22, F-35, 空客-380 使用的操作系統(tǒng)是Integrity-178B
          3. 過去這些設備經(jīng)常使用ADA語言來編寫,現(xiàn)在為了降低成本,在F-35項目上已經(jīng)改為使用C++了。
          參考來源
          1、VxWorks 官方網(wǎng)站 http://www.windriver.com/products/vxworks/
          2、Integrity-178B的官方網(wǎng)站 https://www.ghs.com/products/safety_critical/integrity_178_tump.html
          3.《F-35項目的C++編程規(guī)范》PDF? http://www.stroustrup.com/JSF-AV-rules.pdf

          來自:Linux迷

          鏈接:https://www.linuxmi.com/aircraft-operating-system.html

          Linux學習指南

          有收獲,點個在看?

          瀏覽 125
          點贊
          評論
          收藏
          分享

          手機掃一掃分享

          分享
          舉報
          評論
          圖片
          表情
          推薦
          點贊
          評論
          收藏
          分享

          手機掃一掃分享

          分享
          舉報
          <kbd id="afajh"><form id="afajh"></form></kbd>
          <strong id="afajh"><dl id="afajh"></dl></strong>
            <del id="afajh"><form id="afajh"></form></del>
                1. <th id="afajh"><progress id="afajh"></progress></th>
                  <b id="afajh"><abbr id="afajh"></abbr></b>
                  <th id="afajh"><progress id="afajh"></progress></th>
                  肏逼在线观看 | 在线视频这里只有精品6 | 91av视频在线 | 国产精品久久久久久久9999 | 操碰亚洲|