航空航天相关软件是怎么开发的

[Rorschach]

比如控制飞机，在太空站运行的软件，控制月球车的

[zaishanfeng]

也是人开发的呀 我猜的 哈哈

[subpo]

我猜这些工作博士博士后这么多，会写软件的也很多吧。。。

[thinker3]

这是说有bug怎么办？

[zkd8907]

=.= 本科实习的时候在西南某校企上班，那个公司背景蛮屌的，有武器制造许可证。和我一起实习的一个专门的哥们做的项目是给P*A做一个雷达信号处理相关的项目，用的C++，三个月时间，没有测试，开发完直接交付。。。。

[stupidcat]

http://www.yinwang.org/blog-cn/2014/02/18/dijkstra-interview/
第7条

[huigeer]

vworks

[loading]

写软件不难，大家都是编程的，基本东西都不难。
航空软件，稳定要求先不说，算法没一大堆科学家是搞不定的。
前阵子在知乎看到了，GPS卫星，就已经要考虑相对论了，对，同步轨道卫星的时间和我们不同。。。

[jedicxl]

核电的也一样。涉及资质审核的问题，为了尽可能少让无关人员获取核电工程的资料而带来不可预计的后果，国际核电行业从OA到操纵员工作站平台都是找的固定的那几家公司做。缺乏竞争，国内又是生搬硬套的在用，缺乏有效的精确的反馈，软件质量可想而知。
虽然由于核电方面对安全的超高等级要求而没有被入侵等等顾虑，但可用性和Bug实在让人无语

[Rorschach]

@thinker3 上次月兔车不是出故障了吗

[yakczh]

是用c写吗

[Landy]

从全世界来看，航空航天可能是对软件的稳定性和质量要求最高的行业了。国内也是，比如航空航天系统的院校（比如北航）是最早跟踪和研究软件工程的国内院校之一。系统里有一套很严密（当然看上去也很烦琐）的流程来保证软件的可靠性。

[yorkw]

@huigeer 是VxWorks

http://en.wikipedia.org/wiki/VxWorks

至于怎么为她写程序有兴趣的同学可以自己google补。

[tmqhliu]

建议读一下《数据之美》。 第3章：火星上的嵌入式图像数据处理

[nouh]

有个亲戚就是开发航天软件的, 据说用了C#

[tabris17]

欧洲阿丽亚娜火箭爆炸不就是硬件升级软件没做检查，然后数据溢出爆炸了么

[uuair]

也是一点一点写得，只不过公司没法上外网，所有一切都不准拷贝，否则就要接受国家的惩罚，这可不是玩笑话。
所以软件也会通过很多严格的测试，不是说有bug就能随便用的。
而且航空软件，基本上都很简单，也基本上都用最古老，最精简的语言实现，毕竟目的和稳定性是最重要的。而且启动一个设备的软件会有好几套。。
我就知道这么多，还有，我很想知道有武器制造许可的公司，有没有民营的。。。。。因为我只有武器供货许可。