程序员经验分享-hwhale

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

2023-05-16

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

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

图片

VxWorks官网：http://www.windriver.com/products/vxworks/

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

图片

Integrity-178B官网：https://www.ghs.com/products/safety_critical/integrity-do-178b.html

类似波音-787、空客-380、空客-350内部设备之间是使用以太网的一种变体来互联的，叫AFDX，在应用软件这一层，同普通的以太网程序没有任何区别。

3、过去这些设备经常使用ADA语言来编写，现在为了降低成本，在F-35项目上已经改为使用C++了

图片

F-35项目的C++编程规范：http://www.stroustrup.com/JSF-AV-rules.pdf

F-35的微处理器是PowerPC指令集的，为了保证可靠性，采用的编译器也是同普通的编译器不太一样。编译器也是有可能出现bug的，为了保障源代码同编译出来的目标代码完全一致，避免编译器的bug造成问题，在JSF项目内部的软件开发中，经常使用CompCert编译器。这个编译器只能编译C99，但是可靠性极高。

要知道，近几年全球范围内飞机失事发生的次数不少。据不完全统计，每年全球大约有4000万次的飞机起落，而我国的飞机失事率一直处于非常低的水平。此前中国已经连续12年没有发生过重大民航事故了，而上一次坠机事故还是发生在2010年8月24日，河南航空的伊春空难，当时坠毁的机型为ERJ-190。

截至目前，东航坠机已经过去24小时了。总体来说，无论大家讨论什么因素导致的，都不具有肯定性的说法，包括为什么急速骤降，最后垂直坠落，飞机本身有没有问题，是不是操作系统出了故障，有没有遭遇极端天气影响等等，这一切都是属于未知数。

任何空难发生都是悲剧的，事故真实原因还需要等待官方调查结论、依靠黑匣子等来解开谜团。

参考来源：

\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

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

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

飞机上一般是什么操作系统？ 的相关文章

  • 【Go语言入门教程】Go语言容器（container）

    文章目录 其它语言中的容器 Go语言数组详解Go语言数组的声明比较两个数组是否相等遍历数组 访问每一个数组元素 Go语言多维数组简述Go语言切片详解从数组或切片生成新的切片1 从指定范围中生成切片2 表示原有的切片3 重置切片 xff0c

  • 跨平台组件方案设计

    转一篇看完有点收获的文章 xff1a https blog csdn net c12345423 article details 117914561 一 背景说明 模块是对业务的抽象 xff0c 组件是对功能的抽象 xff0c 组件化的目的

  • 996，活着抑或死亡

    就在昨天 xff0c 2021年元旦假期的最后一天 xff0c 网传某大厂多多买菜的23岁小姑娘离开了这个世界 不久之前 xff0c 也有另一大厂的朋友因工作强度太大 xff0c 在字节跳动与心脏跳动中选择了后者 还有更戏剧化的新闻是刚因大

  • 怎么用手机拍摄制作视频

    今天看了一个用手机拍摄视频的Up主讲解他用手机拍摄来制作视频的过程 xff0c 在此总结一下 xff0c 学习一下 任何形式的内容创作 xff0c 都需要及时记录 xff0c 现在手机这么方便 xff0c 用备忘录记录一下想法和灵感 写稿子

  • 2021年ML和NLP依然发展迅速，DeepMind科学家最近总结了过去一年的十五项亮点研究方向，快来看看哪个方向适合做你的新坑

    转载于 xff1a https mp weixin qq com s IDdY2Wd77fT3DkYXCnSBCA 最近 xff0c DeepMind科学家Sebastian Ruder总结了15个过去一年里高能 有启发性的研究领域 xff

  • BCD码-百度百科

    BCD码 xff08 Binary Coded Decimal xff09 xff0c 用4位二进制数来表示1位十进制数中的0 9这10个数码 xff0c 是一种二进制的数字编码形式 xff0c 用二进制编码的十进制代码 BCD码这种编码形

  • STM32单片机学习教程

    STM32单片机学习教程 64 先可以看一个简单的入门教程 xff1a STM32新手入门教程 后面就是整理于 xff1a https stm32 tech readthedocs io en latest base 00 E5 89 8D

  • 分享一份嵌入式软件工具清单

    文章目录 1 BowPad2 keil3 VSCode4 VS5 MinGW6 Source Insight7 VMWare8 Git9 Beyond Compare10 串口助手11 STM32Cube xff08 1 xff09 STM

  • beyond compare下载安装及使用教程

    一 下载安装 下载地址 xff1a https www beyondcompare cc 普通的软件安装 xff0c 直接点点点即可 二 简单使用教程 一般我们的使用场景是比较两个文件或者两个文件夹 推荐看官方的教程 xff1a Beyon

  • RT-Thread 编程风格

    文章目录 1 目录名称2 文件名称3 头文件定义4 文件头注释5 结构体定义6 宏定义7 函数名称 声明8 注释编写9 缩进及分行10 大括号与空格11 trace log信息12 函数13 对象14 格式化代码使用 astyle 格式化使

  • 程序人生文章汇总（持续更新，方便查阅）

    已经转载和写过不少关于程序人生的文章 xff0c 这篇就主要对这些文章进行主题分类 xff1a 我自己将这些内容分成以下主题 xff1a 提高认知方向选择 amp 学习路线学习方法 amp 做事方法总结重要技能其他 提高认知 程序员为什么越

  • 使用Github Pages和HTML+CSS搭建自己的个人简历网页

    最近看到一个使用Github Pages和HTML 43 CSS搭建的个人简历网页 xff0c 看起来还是不错的 xff0c 因此想重新整理一下这方面的内容 另外 xff0c HTML和Markdown之前也是可以在一定程度上转换的 xff

  • 单片机开发项目全局变量太多怎么管理？

    转载于无际 xff1a https blog csdn net weixin 43982452 article details 121387105 spm 61 1001 2014 3001 5502 大家好 xff0c 我是无际 最近有几

  • 你和高手的差距，就在一念之间

    我一直做软件开发和技术管理工作 xff0c 虽然在做联合创始人期间也参与2B的市场销售运营等众多事情 xff0c 但2C的电商卖货这件事从未体验过 想起小学时学的小马过河的故事 xff0c 要想知道怎么做 xff0c 不能只听别人的说法 x

  • 如何看待2022届秋招嵌入式开发岗位薪资大涨？

    转载于无际 xff1a http t csdn cn ZSlSW 大家好 xff0c 我是无际 最近在网上看到了关于2022届嵌入式开发岗位薪资大涨的帖子 xff0c 比如说像海康 大华 汇顶 联发科等公司的招聘 普遍年薪达到25W xff

  • 电子工程师是怎样的成长之路？

    转载于无际 xff1a https blog csdn net weixin 43982452 article details 121535177 spm 61 1001 2014 3001 5502 10年前 xff0c 我就是通过智能小

  • 单片机怎么做定时器矩阵，彻底解决各种定时问题？

    转载于 xff1a https blog csdn net weixin 43982452 article details 120555258 spm 61 1001 2014 3001 5502 大家好 xff0c 我是无际 定时功能非常

  • 为什么我学51单片机很顺利，学STM32却一头雾水？

    转载于 xff1a https blog csdn net weixin 43982452 article details 120515134 spm 61 1001 2014 3001 5502 五年懂行 xff0c 十年称王 当初自学转

  • 物联网专业真的把人坑惨了？浅谈物联网的未来发展趋势和未来方向

    转载于 xff1a https blog csdn net weixin 43982452 article details 120200879 spm 61 1001 2014 3001 5502 大家好 xff0c 我是无际 从事10年单

随机推荐

  • STM32单片机跑RTOS会比裸机有优势吗？

    转载于无际 xff1a https blog csdn net weixin 43982452 article details 115139030 spm 61 1001 2014 3001 5502 在工作中总是能碰到通过秀技术来满足虚荣

  • 如何快速学会别人的代码和思维

    转载于 xff1a https blog csdn net weixin 43982452 article details 120700863 spm 61 1001 2014 3001 5502 大家好 xff0c 我是无际 也有很多天没

  • 单片机和嵌入式哪个好？单片机会被嵌入式取代吗？

    转载于 xff1a https blog csdn net weixin 43982452 article details 120062206 spm 61 1001 2014 3001 5502 很多初学者都搞不清楚单片机和嵌入式的区别

  • 怎么看懂别人写的单片机项目代码？

    转载于 xff1a https blog csdn net weixin 43982452 article details 120049443 spm 61 1001 2014 3001 5502 记得刚开始接触代码的时候 xff0c 总觉

  • 嵌入式单片机产品开发设计框架

    转载于 xff1a https blog csdn net weixin 43982452 article details 119616145 spm 61 1001 2014 3001 5502 老板突然要给你一个新的需求 xff0c 要

  • 8大话题，解惑企业数字化

    从IT到DT xff0c 从信息化到数字化 xff0c 这个观念已经毋庸置疑 xff0c 但是 xff0c 这条路却缺少参照 xff0c 暗夜前行 xff0c 全靠摸索 关于数字化 xff0c 肯定不是上马一些OA工具 购买一些营销工具就行

  • ARINC 429总线学习资料？

    Hello xff0c 我是小熊coder xff0c 方向是嵌入式AI xff0c 后端开发 我的主页 xff1a Home xff0c 欢迎互相关注 xff0c 互相学习 最近在网上寻找关于ARINC 429总线的资料时 xff0c 发

  • 周期任务框架在裸机、RTOS上的实现

    周期任务框架在裸机 RTOS上的实现 一 任务的类型 运行的程序 xff0c 有响应指令的触发式程序 xff0c 也有一直运行的守护程序 xff0c 周期程序 贴别是在单片机 嵌入式领域 xff0c 大部分程序都是周期性的执行 xff0c

  • CAN通讯实验

    前面我们讲解了CAN总线的一些基础知识 xff0c 文章链接 xff1a 一口气从零读懂CAN总线以及应用 了解完之后 xff0c 我们也需要来用一用CAN总线 这篇文章就是主要讲解在STM32中怎么使用CAN总线

  • 航空机载总线网络概述

    1 机载总线网络概述 现代战斗机的航空电子系统是航空电子技术经历了半个多世纪的漫长演变和不断进步的结果 航空电子系统结构的每次变化 xff0c 其核心的机载总线网络技术也不断跨上新台阶 xff0c 而且每次变革都能使飞机性能得到大幅提升 现

  • 【C/C++开源库】单片机/嵌入式中的C语言日志库

    日志系统在系统开发和调整过程中的重要性 xff0c 大家应该都清楚 xff0c 特别是项目出问题之后 xff0c 却没有日志可以帮忙定位问题 xff0c 就非常令人痛苦 因为我们不可能一直通过调试器去单步调试程序 xff0c 所以设备的运行

  • 稚晖君软件硬件开发环境总结

    0 引言 这两天在bilibili上发现一个宝藏up主 xff0c 稚晖君 啧啧啧 xff0c 很厉害 虽然年龄不大 xff0c 但是真全栈 xff0c 从产品到机械到电路到软件 xff0c 这就是那种真的聪明 xff0c 一学就会的高智商

  • 一文弄清51、STM32、Linux点灯的区别

    嵌入式初学者入门的第一个 项目 就是LED点灯 xff0c 那么 xff0c 本文带你看看51 STM32 Linux点灯有什么区别 xff1f 51点灯 51点灯 xff0c 是很多单片机初学者的首选 xff0c 难度也是相对比较低的 准

  • Keil 模拟器 STM32F103 上手指南

    一般嵌入式操作系统因为它的特殊性 xff0c 往往和硬件平台密切相关连 xff0c 具体的嵌入式操作系统往往只能在特定的硬件上运行 对于刚接触 RT Thread 操作系统的读者并不容易马上就获得一个和 RT Thread 操作系统相配套的

  • 用PyOD工具库进行「异常检测」

    转载于知乎 xff1a 微调 异常检测 xff08 又称outlier detection anomaly detection xff0c 离群值检测 xff09 是一种重要的数据挖掘方法 xff0c 可以找到与 主要数据分布 不同的异常值

  • 在Keil 模拟器上测试RT-Thread代码

    前面一篇文章已经讲解了如何使用Keil模拟器来模拟硬件 xff0c 然后在此基础上运行RT Thread代码 文章链接 xff1a Keil 模拟器 STM32F103 上手指南 我们可以看到RT Thread官方有许多代码示例供我们学习参

  • 在这个艰难的环境下，我裸辞了

    2022年 xff0c 疫情期间 xff0c 工作了22年的我 xff0c 从软件研发管理的相关工作中 xff0c 辞职创业 xff0c 开启我的独立咨询顾问生涯 很多人不解和迷惑 xff0c 也有朋友关切的询问我的近况 xff0c 就差用

  • 2022年顶级实时操作系统榜单发布

    全球知名的开源软件仓库平台SourceForge最近公布了一份 2022年顶级实时操作系统 xff08 RTOS xff09 榜单 其中包括大家熟悉的FreeRTOS RT Thread ThreadX embOS等实时操作系统 地址 xf

  • IDE也卷了，微软杀入嵌入式IDE

    为什么说 IDE 也卷了 xff1f 因为前不久 xff08 3月初 xff09 xff0c Keil 官方推出了免费 没有代码大小限制的社区版IDE xff08 Community xff09 随后 xff08 在上周 xff09 xff

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

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

热门标签