(给视学算法加星标,修炼编程内功)

来源:CU技术社区

前一段时间,波音737MAX空难失事事件牵动人心,让人对航空出行又平添了一份不信任,根据最新消息显示,美国联邦航空局对737 MAX机型的大量评估授权给波音公司自身进行,安全评估存在严重缺陷。也传出了波音737 MAX客机的培训都是通过平板电脑软件进行这样让人毛骨悚然的内幕。

最终的结果出来之前我们很好奇,也恰巧在V2EX 看到了有人发问:飞机上用的是什么操作系统?

根据 V友转自百度知道的答案:

航空软件并不神秘,从计算机架构上来说,同普通的计算机系统并无太大区别,都是由处理器,总线,I/O设备,存储设备,网络设备,通讯设备,操作系统和应用软件所构成的。仅仅是为了满足很高指标的可靠性,健壮性和实时性,而采用了另一套东西而已。

▍1、波音-787,AH-64用的操作系统是VxWorks

图Via:http://www.windriver.com/products/vxworks/

这是VxWorks的官方网站

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

图Via: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指令集的,为了保证可靠性,采用的编译器也是同普通的编译器不太一样。编译器也是有可能出bug的,为了保障源代码同编译出来的目标代码完全一致,避免编译器的bug造成问题,在JSF项目内部的软件开发中,经常使用CompCert编译器。这个编译器只能编译C99,但是可靠性极高。

参考网站 

[1]  VxWorks 官方网站

http://www.windriver.com/products/vxworks/

[2] Integrity-178B的官方网站

https://www.ghs.com/products/safety_critical/integrity-do-178b.html

[3] 《F-35项目的C++编程规范》PDF

http://www.stroustrup.com/JSF-AV-rules.pdf

- END -

如果看到这里,说明你喜欢这篇文章,请转发、点赞。扫描下方二维码或者微信搜索「perfect_iscas」,添加好友后即可获得10套程序员全栈课程+1000套PPT和简历模板向我私聊「进群」二字即可进入高质量交流群。

扫描二维码进群↓

在看 

飞机上一般是什么操作系统?相关推荐

  1. 目前市场上流行的嵌入式操作系统

    目前市场上流行的嵌入式操作系统   1. VxWorks VxWorks是美国风河公司(WindRiver)于1983年设计开发的一种实时嵌入式操作系统(RTOS),是目前嵌入式系统中使用最广泛.市场 ...

  2. deepin tim(wine)无法安装_利用HyperV虚拟机,如何在Win10上安装Deepin国产操作系统?深度好文!...

    随着老美对华为手机业务的封锁,在PC端的操作系统的未来也逐渐引起了人们的重视,一旦Windows停止向国内供应的话,对国内市场的冲击也是不小的.基于这个原因,国产操作系统也越来越频繁地进入大家的视野. ...

  3. 教授在飞机上做微积分,被当作恐怖分子抓了......

    来自宾夕法尼亚大学经济系的副教授Guido Menzio遭遇了一件令其感到非常无可奈何的一件事情.据<华盛顿邮报>报道,Menzio坐上3950航班等待飞机起飞,坐在他旁边的女性想要跟Me ...

  4. 飞机上为啥禁止使用手机?

    美国德尔塔航空公司乘客在从新泽西飞往佛罗里达的航班上无意间拍下了美国"奋进号"航天飞机升空的一幕,受到网友强烈追捧.据报道,33岁的斯蒂芬妮(Stefanie Gordon)在拍摄 ...

  5. 小龙虾上天了!口碑APP推出飞机上扫码点餐服务

    大家都知道,今年年初中国多家航空公司宣布飞机上可以玩手机了: 看到这条新闻很多"飞行族"跃跃欲试,怎么在解禁初期抢先装逼一把,比如这种"被迫"自拍的: 然鹅,虽 ...

  6. 蚂蚁从飞机上掉下来的数学建模分析

    原文链接:蚂蚁从飞机上掉下来会摔死吗?[微信公众号:数学建模andMATLAB] 蚂蚁从飞机上掉下来会摔死吗?为什么会想到这个问题呢?这还得从杜甫的一首诗说起.....               独 ...

  7. 飞机上的氧气面罩有什么用_第2部分—另一个面罩检测器……(

    飞机上的氧气面罩有什么用 This article is part of a series where I will be documenting my journey on the developm ...

  8. 空难生还几率这么低,飞机上为什么不配备降落伞???

    每一次飞机失事 你是不是都会想 如果飞机在设计的时候装上跳伞 在坠机的千钧一发来一个优雅的跳伞 这要挽救多少人的性命啊 >>>> ▼ 其实当初我也多次这么想过 来来来  搬好小 ...

  9. 黑匣子解密要多久_科普|飞机上的黑匣子内置电池可工作多久?

    我们大多数人都知道在飞机上有一个"黑匣子",那你了解黑匣子吗?你知道它内置电池可工作多久吗? 1 "黑匣子"到底是什么东西? "黑匣子"是飞 ...

最新文章

  1. 应用 Valgrind 发现 Linux 程序的内存问题 [转]
  2. python docx 设置表格字体和格式_python-docx修改已存在的Word文档的表格的字体格式方法...
  3. 如果生活中没有数学,那么。。。
  4. [LeetCode]--71. Simplify Path
  5. python安装matplotlib需要c编译_在Python 3.9上安装matplotlib提示需要FreeType更高版本的解决...
  6. ubuntu下apt相关操作
  7. linux 下小技巧之-统计文件夹下面子文件夹下面的个数
  8. 解决 Vue 重复点击相同路由,出现 Uncaught (in promise) NavigationDuplicated: Avoided redundant navigation 问题
  9. JavaSE学习--泛型
  10. java常用类objet,Java基础-常用API-Object类
  11. 使用adb工具打开TCL电视的第三方应用安装权限
  12. Android动态生成答题卡,好分数怎样制作答题卡
  13. java定时器表达式_Java Quartz表达式每分钟执行1次
  14. 瀑布流效果Demo总结(4)之基于jquery+masonry.js的实现
  15. PHP入门易精通难,美容院线上拓客,入门易精通难
  16. jquery colorbox图片弹出效果制作
  17. 显著性检测——GR模型
  18. 解决Win 7安装Power Shell报错问题
  19. Ubuntu Server 20.04 安装桌面(图形界面) 以及 远程桌面
  20. 互联网日报 | 2月28日 星期日 | 百世快递回应部分网点倒闭;上汽奥迪明年一季度开始销售;魅族18系列取消附送充电器...

热门文章

  1. 【ACM】删数问题(待更)
  2. 收藏 | 提高数据处理效率的 Pandas 函数方法
  3. 最高3000元/人 , 助你成为C站红人 !
  4. 想学Python?那这套教程再适合不过了!
  5. 金融领域首个开源中文BERT预训练模型,熵简科技推出FinBERT 1.0
  6. CSDN公众号新功能上线,居然还能搜出小姐姐???
  7. 5G+云网融合,移动云带领开发者释放边缘计算的力量
  8. 连登GitHub TOP榜,中国开发者在行动!
  9. 活动推荐:语音和语言技术在自然交互中的实践沙龙
  10. 向iOS越狱彻底说再见!