飛機(jī)上一般是什么操作系統(tǒng)?
關(guān)注我們,設(shè)為星標(biāo),每天7:30不見(jiàn)不散,架構(gòu)路上與您共享? 回復(fù)"架構(gòu)師"獲取資源

前一段時(shí)間,波音737MAX空難失事事件牽動(dòng)人心,讓人對(duì)航空出行又平添了一份不信任,根據(jù)最新消息顯示,美國(guó)聯(lián)邦航空局對(duì)737 MAX機(jī)型的大量評(píng)估授權(quán)給波音公司自身進(jìn)行,安全評(píng)估存在嚴(yán)重缺陷。也傳出了波音737 MAX客機(jī)的培訓(xùn)都是通過(guò)平板電腦軟件進(jìn)行這樣讓人毛骨悚然的內(nèi)幕。
最終的結(jié)果出來(lái)之前我們很好奇,也恰巧在V2EX 看到了有人發(fā)問(wèn):飛機(jī)上用的是什么操作系統(tǒng)?
根據(jù) V友轉(zhuǎn)自百度知道的答案:
航空軟件并不神秘,從計(jì)算機(jī)架構(gòu)上來(lái)說(shuō),同普通的計(jì)算機(jī)系統(tǒng)并無(wú)太大區(qū)別,都是由處理器,總線,I/O設(shè)備,存儲(chǔ)設(shè)備,網(wǎng)絡(luò)設(shè)備,通訊設(shè)備,操作系統(tǒng)和應(yīng)用軟件所構(gòu)成的。僅僅是為了滿足很高指標(biāo)的可靠性,健壯性和實(shí)時(shí)性,而采用了另一套東西而已。
▍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)的一種變體來(lái)互聯(lián)的,叫AFDX,在應(yīng)用軟件這一層,同普通的以太網(wǎng)程序沒(méi)有任何區(qū)別。
▍3、過(guò)去這些設(shè)備經(jīng)常使用ADA語(yǔ)言來(lái)編寫,現(xiàn)在為了降低成本,在F-35項(xiàng)目上已經(jīng)改為使用C++了。

圖Via:http://www.stroustrup.com/JSF-AV-rules.pdf
?
這是F-35項(xiàng)目的C++編程規(guī)范
F-35的微處理器是PowerPC指令集的,為了保證可靠性,采用的編譯器也是同普通的編譯器不太一樣。編譯器也是有可能出bug的,為了保障源代碼同編譯出來(lái)的目標(biāo)代碼完全一致,避免編譯器的bug造成問(wèn)題,在JSF項(xiàng)目?jī)?nèi)部的軟件開(kāi)發(fā)中,經(jīng)常使用CompCert編譯器。這個(gè)編譯器只能編譯C99,但是可靠性極高。

到此文章就結(jié)束了。如果今天的文章對(duì)你在進(jìn)階架構(gòu)師的路上有新的啟發(fā)和進(jìn)步,歡迎轉(zhuǎn)發(fā)給更多人。歡迎加入架構(gòu)師社區(qū)技術(shù)交流群,眾多大咖帶你進(jìn)階架構(gòu)師,在后臺(tái)回復(fù)“加群”即可入群。
這些年小編給你分享過(guò)的干貨
《不花錢的IDEA 2020.3.1 最新激活教程,有效期到2099年!》
《Docker與CI持續(xù)集成/CD持續(xù)部署》

轉(zhuǎn)發(fā)在看就是最大的支持??

