我现在知道很多编程语言。回到18岁时，我几乎加入了美国空军，对阿达进行了测试。这是十多年前的事了。 Ada编程语言在军队中是否仍然像以前那样相关？
我想知道新的军事软件项目是否仍然使用Ada作为他们的语言编程。
答案 0 :(得分：4)
今天Ada仍在开发新项目。几年前要求Ada的任务被废弃，但对于某些应用程序，Ada是唯一可靠（“可信”）的选项。
Ada the Language: Alive and in Flight - October 10, 2016摘录：
国防部软件开发的变化背景近两个 几十年来，Ada编程语言一直是其基石 国防部（DOD）努力改进其软件 工程实践。国防部在20世纪70年代创建了阿达，作为一个 部门范围的标准，以满足其特殊要求 对于嵌入式和关键任务软件，也会鼓励 良好的软件工程。新语言和新软件 与之相关的工程思想遭到了一些批评，两者都受到了批评 结果发展了。今天，Ada是最常用的 任务关键型防御软件的语言，包括武器 系统和性能关键命令，控制，通信和 智能（C3I）系统。国防部的库存包含近5000万 这些应用中的Ada代码行（Hook等，1995）。鉴于 这种系统的使用寿命很长，DOD取得了很大的成就 投资Ada技术。 Ada是第二常用的 语言（在Cobol之后）用于DOD自动化信息系统，其中 包括工资和物流计划。国防部库存包含 在这些应用程序中有超过800万行Ada代码（Hook等 al。，1995）。
答案 1 :(得分：3)
2016年11月，美国国家标准与技术研究院（NIST）发布了报告NIST-IR-8151＆＃34;显着减少软件漏洞＆＃34;。该报告位于https://doi.org/10.6028/NIST.IR.8151。 以下是该报告的摘录：
软件测量和度量减少的两个演示文稿 安全漏洞（SwMM-RSV）研讨会，Andrew Walenstein的 “测量软件可分析性”和James Kupsch的“处理 对静态分析不透明的代码，“指向新的方向 软件措施。两人都强调代码应该适合 自动分析。两者都提出了定义其含义的方法 该代码易于分析，为什么可分析性有助于 减少脆弱性以及如何衡量可分析性 增加。
有一些设计语言的子集 可分析的，例如SPARK，或者更不容易出错，例如Less 哈顿的SaferC。研讨会参与者普遍赞成更好地使用 语言，例如，函数语言，例如F＃或ML。 但是，没有特别建议的语言，或 语言，未来。
我们注意到，除了少数例外，例如Ada 2012 [Barnes13] 有SPARK，新语言的工具支持很差。支持 工具的建造对于采用和安全使用新工具至关重要 语言。
答案 2 :(得分：1)
是的，因为Ada用于任务关键设备可能导致重大灾难，如果出现软件错误（如航空电子设备，空中交通管制，当然还有军事），它仍然在这些行业中使用，我怀疑他们会改变