Loading [MathJax]/jax/output/CommonHTML/config.js
前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >飞机上一般是什么操作系统?

飞机上一般是什么操作系统?

作者头像
帅地
发布于 2020-03-05 03:58:32
发布于 2020-03-05 03:58:32
1.1K0
举报
文章被收录于专栏:苦逼的码农苦逼的码农

关注、星标公众号,不错过精彩内容

来源: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 ‧‧‧‧‧‧‧‧‧‧‧‧‧‧‧‧

给大家推荐一个Github,我发现里面有好几百本CS类地常用电子书,推荐给大家:https://github.com/iamshuaidi/CS-Book(点击阅读原文直达,电脑打开更佳)

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-03-04,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 帅地玩编程 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
暂无评论
推荐阅读
编辑精选文章
换一批
飞机上一般是什么操作系统?
之前波音737MAX空难失事事件牵动人心,让人对航空出行又平添了一份不信任,根据最新消息显示,美国联邦航空局对737 MAX机型的大量评估授权给波音公司自身进行,安全评估存在严重缺陷。也传出了波音737 MAX客机的培训都是通过平板电脑软件进行这样让人毛骨悚然的内幕。
龙哥
2020/03/11
9410
飞机上一般是什么操作系统?
前一段时间,波音737MAX空难失事事件牵动人心,让人对航空出行又平添了一份不信任,根据最新消息显示,美国联邦航空局对737 MAX机型的大量评估授权给波音公司自身进行,安全评估存在严重缺陷。也传出了波音737 MAX客机的培训都是通过平板电脑软件进行这样让人毛骨悚然的内幕。
芋道源码
2019/05/29
9420
飞机上一般是什么操作系统?
​飞机上用的是什么操作系统?
航空软件并不神秘,从计算机架构上来说,同普通的计算机系统并无太大区别,都是由处理器,总线,I/O设备,存储设备,网络设备,通讯设备,操作系统和应用软件所构成的。仅仅是为了满足很高指标的可靠性,健壮性和实时性,而采用了另一套东西而已。
Java技术栈
2020/03/06
1.6K0
​飞机上用的是什么操作系统?
飞机上一般用的是什么操作系统?
3月21日下午14时38分许,东方航空公司一架波音737-800客机(MU5735航班)执行“昆明-广州”任务时,在广西梧州市上空失联并坠毁。
前端达人
2022/04/18
1.1K0
飞机上一般用的是什么操作系统?
没有Bug的OS内核? 鸿蒙黑科技之操作系统形式验证与安全认证
IoT operating systems – formal verification and safety/security certification
Linux阅码场
2019/08/20
4.2K0
没有Bug的OS内核? 鸿蒙黑科技之操作系统形式验证与安全认证
纯自研商用操作系统为什么这么难?
操作系统需要将所有这些子系统集成到一个稳定、高效且安全的整体中,每个子系统的错误或低效都会影响整个系统的性能。
锅总
2024/10/09
1560
纯自研商用操作系统为什么这么难?
实时操作系统开发调试环境 Tornado 安装篇
VxWorks 是美国 Wind River System 公司( 以下简称风河 公司 ,即 WRS 公司)推出的一个实时操作系统。WRS 公司 组建于1981年,是一个专门从事实时操作系统开发与生产的软件公司,该公司在实时操作系统领域被世界公认为是最具有领导作用的公司。
IRTeam-工业安全
2022/05/10
1.8K0
实时操作系统开发调试环境 Tornado 安装篇
VxWorks Fuzzing 之道:VxWorks 工控实时操作系统漏洞挖掘调试与利用揭秘
来自404实验室安全研究团队的对于VxWorks 工控实时操作系统进行的 Fuzzing 与漏洞挖掘调试、利用的安全探究。 0x00 前言 关于VxWorks,这里引用44CON议题《攻击 VxWorks:从石器时代到星际》探究(http://www.freebuf.com/vuls/78277.html) 一文章中的介绍: VxWorks 是世界上使用最广泛的一种在嵌入式系统中部署的实时操作系统,是由美国WindRiver公司(简称风河公司,即WRS 公司)于1983年设计开发的。其市场范围跨越所有的安全
Seebug漏洞平台
2018/03/29
4.3K0
VxWorks Fuzzing 之道:VxWorks 工控实时操作系统漏洞挖掘调试与利用揭秘
实时操作系统开发调试环境 Tornado 安装篇
VxWorks 是美国 Wind River System 公司( 以下简称风河 公司 ,即 WRS 公司)推出的一个实时操作系统。WRS 公司 组建于1981年,是一个专门从事实时操作系统开发与生产的软件公司,该公司在实时操作系统领域被世界公认为是最具有领导作用的公司。
用户1631416
2019/12/10
2.6K0
实时操作系统开发调试环境 Tornado 安装篇
《安富莱嵌入式周报》第289期:开源回流焊,首发开源跨平台电路仿真软件,用于电气化学的电位仪,超炫酷的双语音模拟合成器,逆向工程师对波音787适航指令的看法
往期周报汇总地址:http://www.armbbs.cn/forum.php?mod=forumdisplay&fid=12&filter=typeid&typeid=104 视频版: https:
Simon223
2022/11/14
6650
《安富莱嵌入式周报》第289期:开源回流焊,首发开源跨平台电路仿真软件,用于电气化学的电位仪,超炫酷的双语音模拟合成器,逆向工程师对波音787适航指令的看法
物联网用什么系统(物联网技术)
操作系统是物联网时代的战略制高点,今天 PC 和手机时代的操作系统霸主未必能在物联网时代延续霸业。操作系统产业的规律是,当垄断已经形成,后来者就很难颠覆,只有等待下一次产业浪潮。如今,一个全新的、充满想象空间的操作系统市场机会正在开启。
全栈程序员站长
2022/07/29
5.4K0
物联网用什么系统(物联网技术)
【STM32F429】第3章 ThreadX操作系统介绍
论坛原始地址(持续更新):http://www.armbbs.cn/forum.php?mod=viewthread&tid=99514 第3章 ThreadX操作系统介绍 本章节介绍 Threa
Simon223
2021/03/04
8070
FreeRTOS入门 | 实时操作系统的前世今生
在嵌入式系统中比较流行的开源实时操作系统 FreeRTOS 被广泛应用于各个平台(STM32、ESP32、Arduino等等),文章将介绍实时操作系统和为什么在嵌入式系统中使用实时操作系统。
混说Linux
2022/07/14
1.6K0
FreeRTOS入门 | 实时操作系统的前世今生
国产嵌入式操作系统发展思考
嵌入式操作系统历史悠久、门类繁多、用途广泛,不仅包括嵌入式实时多任务操作者系统(RTOS)、开源的 Linux、机器人和路由器操作系统,还包括新型的物联网操作系统,以及边缘计算操作系统平台。笔者认为,只要是国人开发的,国人参与维护的开源项目,都是广义上的“国产嵌入式操作系统”,随着中国物联网产业迅猛发展,国产装备自主可控需求旺盛,国产嵌入式操作系统发展步入快车道。 1.  国产物联网操作系统颇具影响力 睿赛德电子科技公司这个名字大家不是很熟悉,但是他们的产品 RT-Thread 在物联网
腾讯大讲堂
2019/10/14
3.1K0
国产嵌入式操作系统发展思考
Linux 操作系统!开篇!!!
此篇文章主要会带你介绍 Linux 操作系统,包括 Linux 本身、Linux 如何使用、以及系统调用和 Linux 是如何工作的。
不会飞的小鸟
2020/07/02
7.7K0
用 Rust 拯救 60 岁老程序员:用 Ada 写了几十年的飞机程序,现在终于可以改用 Rust 了
针对具有更高安全需求的行业,AdaCore 表示将为其 Rust fork 提供长期支持。
深度学习与Python
2023/09/08
6850
用 Rust 拯救 60 岁老程序员:用 Ada 写了几十年的飞机程序,现在终于可以改用 Rust 了
使用国产操作系统作为开发系统
长期以来,我一直是在 Ubuntu 系统上做开发。近一年来,由于为信创系统(统信 UOS、银河麒麟等)开发应用软件,免不了使用国产操作系统。使用下来,发现国产系统在易用性、稳定性方面已经相当不错,而且用户界面比起 Ubuntu 还美观很多。系统集成的应用商店,里面的应用非常全面,基本上满足了作为系统开发的需求。
云水木石
2024/07/18
3310
使用国产操作系统作为开发系统
ZYNQ从放弃到入门(十)- 操作系统uC/OS
我们之前的文章都是基于“裸机”系统,这种情况适合比较简单的示例,但如果我们要使用更先进的处理系统并最大限度地发挥 Zynq SoC 的双核 ARM Cortex-A9 MPCore 处理器的优势,我们需要一个操作系统。有很多系统可供选择:
碎碎思
2022/06/06
1.5K0
ZYNQ从放弃到入门(十)- 操作系统uC/OS
Docker 的 Ubuntu 操作系统镜像
Debian 和 Ubuntu 都是目前较为流行的 Debian 系列 的服务器操作系统,十分适合研发场景。
HoneyMoose
2024/05/13
3110
Docker 的 Ubuntu 操作系统镜像
早期操作系统的发展阶段(10k字)
科学Sciences导读:纵观计算机历史,操作系统与计算机硬件的发展息息相关。本文从操作系统演进的五个阶段(9k字)、早期操作系统的发展阶段(10k字)、硬件兼容的UNIX起源和谱系(11k字)、可视化操作系统成主流(29k字)、操作系统功能和技术简介(4k字)等五个方面,介绍计算机操作系统的演进、谱系和产品发展史。计算机发展过程中,出现过许多操作系统:DOS、MacOS、Windows、Unix、Linux、Free BSD等。关键词:计算机,操作系统,OS,Multics,Unics,Unix,Minux,Linux,Xenix、OS/2、Dos,Windwows,iOS,Android,演进,谱系。赞赏支持科普作者后,公号输入栏发送“操作系统史”获取本PDF资料,下载学习科技知识。
秦陇纪
2019/07/15
2.2K0
早期操作系统的发展阶段(10k字)
推荐阅读
相关推荐
飞机上一般是什么操作系统?
更多 >
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档