航天中的软件

火箭：飞控软件

飞行软件团队
大约有 35 人（这是 2013 年的人数）。猎鹰9号火箭、蚱蜢火箭和龙飞船上所有的代码，都由飞行软件团队包圆了。
此外，他们还得：
编写仿真软件，测试飞行代码；
编写部署在地面站的通信和分析软件；
在飞行任务控制部门工作，为现役任务提供支持。

卫星和飞船：星载计算机
一般的：RTOS实时操作系统
1、波音-787，AH-64用的操作系统是VxWorks
2、B-2, F-16, F-22, F-35, 空客-380 使用的操作系统是Integrity-178B
3、过去这些设备经常使用ADA语言来编写，现在为了降低成本，在F-35项目上已经改为使用C++了。
F-35的微处理器是PowerPC指令集的，为了保证可靠性，采用的编译器也是同普通的编译器不太一样。编译器也是有可能出bug的，为了保障源代码同编译出来的目标代码完全一致，避免编译器的bug造成问题，在JSF项目内部的软件开发中，经常使用CompCert编译器。这个编译器只能编译C99，但是可靠性极高。

11、波音 777 的软件用了 Ada 语言
霍尼韦尔公司通过对 Ada 和 C 编程语言的优势做了广泛研究。研究得出结论，Ada 内置的安全特性能减少开发时间、降低费用，减少调试的关注。

龙飞船：Linux

问：导航/推进控制系统用了哪种操作系统？
答：龙飞船和猎鹰9号用的是 Linux。

问：主力编程语言是哪个？
答：火箭和飞船都是 C++。

参考：
SpaceX火箭发射成功，一文了解所用的软件技术栈
飞机上一般是什么操作系统？