之前的波音737MAX坠机事件触动了人们的心灵，并增加了人们对航空旅行的不信任。根据最新消息，美国联邦航空局（FAA）授权了大量737MAX机型来评估波音本身，并且在安全评估中存在严重缺陷。 。另据报道，波音737MAX客机的培训是通过平板电脑软件进行的，例如令人毛骨悚然的内幕。在最终结果出来之前，我们很好奇，碰巧看到有人在V2EX中问：飞机上使用什么操作系统？根据V朋友从百度得到的回答：1.波音787和AH-64的操作系统是VxWorks。 Figure Via：http://www.windriver.com/products/vxworks/这是VxWorks的官方网站。 2. B -2，F-16，F-22，F-35，Airbus-380操作系统为Integrity-178B图通过：https://www.ghs.com/products/safety_critical/integrity-do-178b。 html这是Integrity-178B的官方网站。与波音787，空中客车380相似，空中客车350的内部设备在应用程序软件级别使用称为AFDX的以太网变体互连。与普通的以太网程序没有区别。 3.过去，这些设备通常是用ADA语言编写的。现在，为了降低成本，在F-35项目中使用了C ++++。图Via：http://www.stroustrup.com/JSF-AV-rules.pdf这是F-35项目的C ++编程规范。 F-35的微处理器是PowerPC指令集。为了保证可靠性，采用了编译器。编译器也可能有错误。为了确保源代码与编译后的目标代码完全一致并避免由编译器错误引起的问题，CompCert编译器通常用于JSF项目的内部软件开发中。该编译器只能编译C99，但是它非常可靠。参考源：1. VxWorks官方网站http://www.windriver.com/products/vxworks/2。 Integrity-178B官方网站https://www.ghs.com/products/safety_critical/integrity-do-178b。 html3。 “用于F-35项目的C ++编程规范” PDFhttp：//www.stroustrup.com/JSF-AV-rules.pdf