Ada编程语言在军队中是否仍然相关？

我现在知道很多编程语言。当我18岁时，我几乎加入了美国空军，并对ADA进行了测试。那是十多年前的事了。 ADA编程语言是否与以前一样在军方中仍然相关？Ada编程语言在军队中是否仍然相关？

我想知道如果新的军事软件项目仍然使用ADA编程作为他们的语言。

2016-12-29 xendi

它可能是特定国家（可能在美国和英国是不同的）。你的问题是一个观点问题，与求职（即职业建议）有关，与问题中显示的某些源代码无关，所以在这里三言两语脱离主题。 –

我不明白特定的代码（除非你考虑一般的Ada代码库和语言），但它不适用于求职。那是我第一次了解它的地方。 – xendi

今天ADA还有一些新项目正在开发中。要求ADA的任务在几年前就已经取消，但对于某些应用，ADA是唯一可靠（“可信”）的选择。

Ada the Language: Alive and in Flight - October 10, 2016摘录：

为DOD软件开发环境的变化近两年十年，阿达编程语言一直努力国防部（DOD），以提高其软件的基石工程实践。国防部在20世纪70年代创建了Ada，作为部门的标准，满足嵌入式和任务关键型软件的特殊要求，并鼓励良好的软件工程。与之相关的新语言和新软件的工程构思都遭到了一些批评，并且因此两个都演变了。今天，Ada是关键任务防御软件中最常用的语言，其中包括武器系统和性能关键的命令，控制，通信和智能（C3I）系统。国防部的库存在这些应用程序中包含近5千万个Ada代码行（Hook et al。，1995）。鉴于此类系统的使用寿命较长，国防部对Ada技术进行了重大投资。 Ada是DOD自动化信息系统中第二个最常用的语言（在Cobol之后），其中包括工资和物流计划。 DOD库存包含在这些应用程序中超过800万行的Ada代码（Hook等，等，1995）。

来源

2016-12-29 08:59:58

是的，由于ADA用于任何关键设备在软件bug（如航空电子设备和空中交通管制以及当然军事）的情况下会导致重大灾难的地方，它仍然用于这些行业，我怀疑它们会改变

来源

2016-12-29 08:58:55 zerohero

在民用飞机（如空客）中，C被广泛使用（有一些正式的方法）。 –

@BasileStarynkevitch不可不知道谢谢 – zerohero

@BasileStarynkevitch Airbus同时使用Ada。 – NWS

2016年11月，美国国家标准与技术研究院（NIST）发布了NIST-IR-8151报告“显着降低软件漏洞”。该报告可在https://doi.org/10.6028/NIST.IR.8151获得。以下是该报告的摘录：在软件测量和度量

两个演示，以减少安全漏洞（SWMM-RSV）车间，安德鲁Walenstein的 “测量软件可分析性”和詹姆斯Kupsch的“与处理对静态分析不透明的代码“，指向新的软件度量的方向。两者都强调，代码应该适用于自动分析。提出的两种方法都可以定义代码易于分析的含义，为什么可分析性有助于减少漏洞以及如何测量可分析性并提高分析性。

有一些编程语言的子集被设计为可分析的，例如SPARK，或者不太容易出错，如少于哈顿的SaferC。研讨会参与者普遍赞成使用更好的语言，例如功能语言，如F＃或ML。但是，对于未来的语言或语言没有特别的建议。

我们注意到，除了少数例外情况，如Ada 2012 [Barnes13]，其中有SPARK，新语言的工具支持很差。支持工具的构建对采用和安全使用新的语言至关重要。

来源

2016-12-29 15:29:57

Ada编程语言在军队中是否仍然相关？

回答

相关问题