Ada编程语言是否仍然适用于军事领域？

Question

我现在知道很多编程语言了。在我18岁的时候，我差点就加入了美国空军，对Ada进行了一次测试。那是十多年前的事了。Ada编程语言是否仍然和以前一样适用于军事领域？

我想知道新的军事软件项目是否还在用Ada作为语言编程。

Answer 1

今天，Ada仍在开发新的项目。要求Ada的授权几年前就被取消了，但是对于一些应用程序来说，Ada是唯一可靠的(“受信任的”)选项。

阿达语言:活着和飞行-2016年10月10日节选：

近20年来，国防部软件开发的环境不断变化，Ada编程语言一直是国防部努力改进其软件工程实践的基石。国防部在20世纪70年代创建了Ada，作为一个全部门的标准，以满足其对嵌入式和任务关键软件的特殊要求，并鼓励良好的软件工程。与其相关的新语言和新的软件工程思想都受到了一些批评，并且都因此而发生了变化。今天，Ada是任务关键防御软件最常用的语言，包括武器系统和性能关键的指挥、控制、通信和情报系统(C3I)。国防部的清单在这些应用程序中包含近5000万行Ada代码(Hook等人，1995年)。鉴于这类系统的使用寿命很长，国防部对Ada技术进行了大量投资。Ada是国防部自动化信息系统中第二常用的语言(仅次于Cobol)，包括工资和物流程序。国防部的清单在这些应用程序中包含了800多万行Ada代码(Hook等人，1995年)。

Answer 2

2016年11月，美国国家标准与技术研究所(NIST)发布了报告NIST-IR-8151“大幅降低软件漏洞”。该报告可在https://doi.org/10.6028/NIST.IR.8151上查阅。以下是该报告的摘录：

在减少安全漏洞的软件措施和度量(SwMM-RSV)讲习班上，Andrew Walenstein的“测量软件分析能力”和James Kupsch的“处理静态分析不透明的代码”为新的软件度量指明了方向。两人都强调，代码应该适合于自动分析。这两种方法都提供了定义代码易于分析的含义、为什么可分析性有助于降低漏洞以及如何度量和增加分析性的方法。 有些编程语言子集被设计成可分析的，比如SPARK，或者更少出错，比如更少的哈顿的SaferC。研讨会参与者通常倾向于使用更好的语言，例如功能语言，如F#或ML。然而，对未来的语言或语言没有特别的建议。 我们注意到，除了很少有例外，例如有火花的Ada 2012 Barnes13，新语言对工具的支持很差。支持工具的构建对于采用和安全使用新语言至关重要。

Answer 3

是的，由于Ada是用于任务关键设备可能在软件错误情况下造成重大灾难的地方(比如航空电子设备、空中交通管制，当然还有军用设备)，所以它仍然用于这些行业，我怀疑它们是否会改变。