国防导弹系统等尖端科技使用什么语言

Question

国防导弹系统等那些尖端科技使用什么语言编写的，JAVA？C++，C语言？汇编？程序员要进里面工作须要具备哪些知识？那种编程属于嵌入式吗？

Answer 1

JAVA？C++，C语言？
这几个可以否决了

Answer 2

有个语言叫Ada，最新的标准是2005年定了主要的特点语言自身支持并行执行，不用线程库函数什么的编译器很强大，编译出来的代码，绝对不会出错，不会crash整个系统，它会自动生成代码来截获错误，比如数组ex长度为5，但用户不小心读ex[7]的数据一般战斗机，飞机，航天，卫星的程序都是用它写的发明这个语言的是美国国防部，专门为军事设备写的，有兴趣的朋友可以看看，这个编译器专业的很贵，但也有开源的，叫gnat，linux和windows下都可以的传说中国有些设备用它，有些还是用的c/c++语言，原因是国内会这个语言的太少了

Answer 3

哦，对了，补充一下，很多医疗系统也用Ada，因为它太稳定了，决不会引起死机什么的

Answer 4

Ada，好像在哪里听过……。目前国内主要还是用c和c++吧。进国防单位就是不太自由

Answer 5

曾经看过一篇老外写的报道，专门分析成飞做的枭龙战斗机，在分析软件的时候，就说居然是用民用c/c++写的，不是用的军用ada语言，语气颇有调侃的味道，意思是说是因为中国会用ada的太少了。我个人是觉得c/c++没什么不好，写的仔细点，不一定就一定没有ada稳定

Answer 6

曾经有几个牛人，想用Ada重写linux的内核，让它变成分布式的，而且拥有终极的稳定性后来不了了之了。

Answer 7

Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。美国国防部之所以把这种语言取名为Ada，是为了纪念奥左斯特·艾达·洛夫莱斯伯爵夫人(Augusta Ada Lovlace，1815-1852)，她是英格兰诗人拜伦(Byron)勋爵的女儿，曾对现代计算机技术之父查尔斯·巴贝奇(Charles Babage，1791-1871)的笔记、手稿进行了整理和修正。从某种意义上说，她是世界上第一位计算机程序员。与其他流行的程序设计语言不同，Ada语言不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的清晰性、可靠性、有效性、可维护性。Ada是现有的语言中无与伦比的一种大型通用程序设计语言，它是现代计算机语言的成功代表，集中反映了程序语言研究的成果。Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯·偌依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的支持环境(APSE)一起，形成了新一派的所谓Ada文化。它是迄今为止最复杂、最完备的软件工具。Ada语言是美国国防部指定的唯一的一种可用于军用系统开发的语言，我国军方也将Ada作为军内开发标准（GJB 1383《程序设计语言Ada》）。"Hello world"程序
　　一个Ada语言编写的Hello world 程序： 　　with Ada.Text_IO; 　　procedure Hello is 　　begin 　　Ada.Text_IO.Put_Line("Hello, world!"); 　　end Hello; 　　在Ada.Text_IO.Put_Line处有一些快捷图标，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。

Answer 8

　Ｆ－１６Ｅ／Ｆ新的数字式飞行控制系统也同样将Ｊｏｖｉａｌ语言改编为Ｃ＋＋语言，并改用商业处理器。软件的基本结构发生了改变，增加了高级自动驾驶和安全性能提升模式。新的飞行控制系统已经在高逼真度地面模拟器得到验证，将在６０批次上进行首次飞行。 其实不仅仅中国的枭龙使用民用C/C++语言，F-16E/F上在用C++语言。

Answer 9

ada是訖今为止最强大、最稳定的语言

Answer 10

ada 没听说啊 
去看看

Answer 11

典型的嵌入式领域哦，编程语言之下的实时操作系统才是重头戏，在我印象中，VxWorks以其各方面的优势会用在航空航天方面等多个领域。