當前位置:首頁 > 公眾號精選 > 大魚機器人
[導讀]之前波音737MAX空難失事事件牽動人心,讓人對航空出行又平添了一份不信任,根據(jù)最新消息顯示,美國聯(lián)邦航空局對737 MAX機型的大量評估授權給波音公司自身進行,安全評估存在嚴重缺陷。 也傳出了波音737 MAX客機的培訓都是通過平板電腦軟件進行這樣讓人毛骨悚

之前波音737MAX空難失事事件牽動人心,讓人對航空出行又平添了一份不信任,根據(jù)最新消息顯示,美國聯(lián)邦航空局對737 MAX機型的大量評估授權給波音公司自身進行,安全評估存在嚴重缺陷。


也傳出了波音737 MAX客機的培訓都是通過平板電腦軟件進行這樣讓人毛骨悚然的內(nèi)幕。


最終的結果出來之前我們很好奇,也恰巧在V2EX 看到了有人發(fā)問:飛機上用的是什么操作系統(tǒng)?


根據(jù) V友轉(zhuǎn)自百度知道的答案:

航空軟件并不神秘,從計算機架構上來說,同普通的計算機系統(tǒng)并無太大區(qū)別,都是由處理器,總線,I/O設備,存儲設備,網(wǎng)絡設備,通訊設備,操作系統(tǒng)和應用軟件所構成的。僅僅是為了滿足很高指標的可靠性,健壯性和實時性,而采用了另一套東西而已。


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)部設備之間是使用以太網(wǎng)的一種變體來互聯(lián)的,叫AFDX,在應用軟件這一層,同普通的以太網(wǎng)程序沒有任何區(qū)別。


3、過去這些設備經(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


-END-
﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌﹌
免責聲明: 本文轉(zhuǎn)自網(wǎng)絡,版權歸原作者所有,如涉及作品版權問題,請及時與我們聯(lián)系,謝謝!


往期好文合集

生動形象!一個故事講完CPU的工作原理<<戳這里

硬件工程師如何成為焊接界的高手<<戳這里

海量的超贊 Linux 軟件 <<戳這里

 最 后   
 

若覺得文章不錯,轉(zhuǎn)發(fā)分享,也是我們繼續(xù)更新的動力。
5T資源大放送!包括但不限于:C/C++,Linux,Python,Java,PHP,人工智能,PCB、FPGA、DSP、labview、單片機、等等!
在公眾號內(nèi)回復「 更多資源 」,即可免費獲取,期待你的關注~
長按識別圖中二維碼關注

免責聲明:本文內(nèi)容由21ic獲得授權后發(fā)布,版權歸原作者所有,本平臺僅提供信息存儲服務。文章僅代表作者個人觀點,不代表本平臺立場,如有問題,請聯(lián)系我們,謝謝!

本站聲明: 本文章由作者或相關機構授權發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...

關鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關鍵字: 華為 12nm EDA 半導體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權最終是由生態(tài)的繁榮決定的。

關鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領增長 以科技創(chuàng)新為引領,提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術學會聯(lián)合牽頭組建的NVI技術創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術創(chuàng)新聯(lián)...

關鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關鍵字: BSP 信息技術
關閉
關閉