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編程語言在軍隊中是否仍然相關？

回答

相關問題