之前波音737MAX空難失事事件牽動人心果复，讓人對航空出行又平添了一份不信任，根據(jù)最新消息顯示走搁，美國聯(lián)邦航空局對737 MAX機型的大量評估授權(quán)給波音公司自身進行迈窟，安全評估存在嚴重缺陷。也傳出了波音737 MAX客機的培訓都是通過平板電腦軟件進行這樣讓人毛骨悚然的內(nèi)幕车酣。
最終的結(jié)果出來之前我們很好奇，也恰巧在V2EX 看到了有人發(fā)問：飛機上用的是什么操作系統(tǒng)贫悄？
根據(jù) V友轉(zhuǎn)自百度知道的答案：
航空軟件并不神秘，從計算機架構(gòu)上來說破衔，同普通的計算機系統(tǒng)并無太大區(qū)別清女，都是由處理器钱烟，總線晰筛，I/O設(shè)備读第，存儲設(shè)備，網(wǎng)絡(luò)設(shè)備怜瞒，通訊設(shè)備，操作系統(tǒng)和應(yīng)用軟件所構(gòu)成的吴汪。僅僅是為了滿足很高指標的可靠性，健壯性和實時性杆融，而采用了另一套東西而已。
1脾歇、波音-787淘捡，AH-64用的操作系統(tǒng)是VxWorks
圖Via：
http://www.windriver.com/products/vxworks/
這是VxWorks的官方網(wǎng)站
2、B-2, F-16, F-22, F-35, 空客-380 使用的操作系統(tǒng)是Integrity-178B
圖Via：
https://www.ghs.com/products/safety_critical/integrity-do-178b.html
這是Integrity-178B的官方網(wǎng)站
類似波音-787激况，空客-380膘魄，空客-350內(nèi)部設(shè)備之間是使用以太網(wǎng)的一種變體來互聯(lián)的，叫AFDX瓣距，在應(yīng)用軟件這一層，同普通的以太網(wǎng)程序沒有任何區(qū)別成黄。
3、過去這些設(shè)備經(jīng)常使用ADA語言來編寫奋岁，現(xiàn)在為了降低成本，在F-35項目上已經(jīng)改為使用C++了闻伶。
圖Via：
http://www.stroustrup.com/JSF-AV-rules.pdf
這是F-35項目的C++編程規(guī)范
F-35的微處理器是PowerPC指令集的够话，為了保證可靠性，采用的編譯器也是同普通的編譯器不太一樣畜份。編譯器也是有可能出bug的，為了保障源代碼同編譯出來的目標代碼完全一致爆雹，避免編譯器的bug造成問題，在JSF項目內(nèi)部的軟件開發(fā)中慧起，經(jīng)常使用CompCert編譯器。這個編譯器只能編譯C99册倒，但是可靠性極高。
參考來源：
1.VxWorks 官方網(wǎng)站
http://www.windriver.com/products/vxworks/
2. Integrity-178B的官方網(wǎng)站
https://www.ghs.com/products/safety_critical/integrity-do-178b.html
3.《F-35項目的C++編程規(guī)范》PDF?
http://www.stroustrup.com/JSF-AV-rules.pdf
免責聲明：本文來源網(wǎng)絡(luò)屈尼，版權(quán)歸原作者所有拴孤。如涉及作品版權(quán)問題，請與我聯(lián)系刪除演熟。
