飛機上一般用的是什么操作系統？這是很多人一直想要知道的答案。

這段根據 V友轉自百度知道的答案：

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

1、波音-787，AH-64用的操作系統是VxWorks

 

來自：VxWorks的官方網站

VxWorks ?是世界上第一個也是唯一一個支持通過容器部署應用程序的實時操作系統 (RTOS)。

VxWorks 的最新版本包括對 OCI 容器的支持。現在，您可以使用類似 IT 的傳統技術更好更快地開發和部署智能邊緣軟件，而不會影響確定性和性能。了解獨立研究人員 VDC 為何再次將 VxWorks 命名為邊緣的第一 RTOS。

VxWorks ?在最具挑戰性的安全關鍵應用中得到驗證，使技術供應商能夠更輕松、更具成本效益地滿足 EN 50128、IEC 61508、ISO 26262、DO-178C 和 ED-12C 的嚴格安全認證要求。

VxWorks 653 是一個安全、可靠和可靠的實時操作系統 (RTOS)，它在最新的 ARM ?、 Intel ?和 PowerPC 多核處理器平臺上提供了一個具有強大時間和空間分區功能的開放式虛擬化平臺。VxWorks 653 的技術已在 100 多架民用和軍用飛機上經過 360 多個客戶的 600 多個安全程序證明，正在推動航空航天和國防領域向軟件定義系統的過渡，帶來解決實際業務問題的創新技術。

VxWorks Cert Edition 為希望開發和認證安全、可靠和可靠的解決方案、降低風險、成本和認證工作的受監管行業提供可認證的 RTOS 系統。

2、B-2, F-16, F-22, F-35, 空客-380 使用的操作系統是Integrity-178B

這是INTEGRITY-178 tuMP的官方網站

類似波音-787，空客-380，空客-350內部設備之間是使用以太網的一種變體來互聯的，叫AFDX，在應用軟件這一層，同普通的以太網程序沒有任何區別。

INTEGRITY-178 tuMP 實時操作系統 (RTOS) 是世界領先的多核 RTOS，適用于安全和安保關鍵型應用。

INTEGRITY-178 和 INTEGRITY-178 tuMP 是系統的一部分，已通過最高級別的機載安全 (DO-178B/C DAL A) 和安全 (SKKP/EAL 6+) 認證，適用于 80 多個機載系統。

INTEGRITY-178 tuMP 是第一個經過認證的操作系統，符合最新的未來機載能力環境 (FACE?) 技術標準 3.0 版，并且通過了安全基礎和安全配置文件的認證。INTEGRITY-178 tuMP 是第一個唯一獲得多核認證的 RTOSDO-178C 和 CAST-32A。

3、過去這些設備經常使用ADA語言來編寫，現在為了降低成本，在F-35項目上已經改為使用C++了。

這是F-35項目的C++編程規范

F-35的微處理器是PowerPC指令集的，為了保證可靠性，采用的編譯器也是同普通的編譯器不太一樣。編譯器也是有可能出bug的，為了保障源代碼同編譯出來的目標代碼完全一致，避免編譯器的bug造成問題，在JSF項目內部的軟件開發中，經常使用CompCert編譯器。這個編譯器只能編譯C99，但是可靠性極高。

總結：

1. 波音-787，AH-64用的操作系統是VxWorks
2. B-2, F-16, F-22, F-35, 空客-380 使用的操作系統是Integrity-178B
3. 過去這些設備經常使用ADA語言來編寫，現在為了降低成本，在F-35項目上已經改為使用C++了。