Ada 프로그래밍 언어는 여전히 군대와 관련이 있습니까?

Question

저는 많은 프로그래밍 언어를 알고 있습니다. 뒤로 18 세 때 나는 미 공군에 거의 합류했고 ADA에 대한 테스트가있었습니다. 그것은 십 년 전이었습니다. ADA 프로그래밍 언어는 군대와 관련성이 있습니까?

새로운 군사 소프트웨어 프로젝트가 여전히 ADA를 사용하여 언어로 프로그래밍되었는지 궁금합니다.

Answer 1

오늘날 ADA에서는 새로운 프로젝트가 개발 중입니다. ADA를 요구하는 위임은 몇 년 전에 폐지되었지만 일부 응용 프로그램의 경우 ADA만이 유일하게 신뢰할 수있는 ("신뢰할 수있는") 옵션입니다.

Ada the Language: Alive and in Flight - October 10, 2016 발췌 :

거의 2 수십 년 동안 DOD 소프트웨어 개발을위한 변화하는 상황에서, 에이다 프로그래밍 언어가 소프트웨어를 개선하기 위해 국방부 (DOD)에 의해 노력의 초석이되었습니다 공학 실습. DOD는 1970 년대에 Ada를 임베디드 및 미션 크리티컬 소프트웨어에 대한 특수 요구 사항을 충족하는 부서 전체 표준으로 사용하도록 만들었으며 좋은 소프트웨어 엔지니어링을 장려합니다. 새로운 언어와 새로운 소프트웨어 과 관련된 엔지니어링 아이디어는 약간의 비판으로 만났고, 결과적으로 은 모두 발전했습니다. 현재 Ada는 무기 시스템과 성능에 중요한 명령, 제어, 통신 및 지능 (C3I) 시스템을 포함하는 업무용 방어 소프트웨어에 가장 많이 사용되는 언어입니다. 국방부의 목록에는 이러한 응용 프로그램에 약 5,000 만 개의 개의 Ada 코드가 포함되어 있습니다 (Hook et al., 1995). 그러한 시스템의 작동 수명이 이라면 국방부는 Ada 기술에 대해 상당한 투자를 실시했습니다. Ada는 언어가 DOB 자동화 정보 시스템 용으로 두 번째로 많이 사용되는 언어입니다 (Cobol 이후). 에는 급여 및 물류 프로그램이 포함되어 있습니다. 국방성 인벤토리에는 이러한 응용 프로그램에서 800 만 개가 넘는 Ada 코드가 개 포함되어 있습니다 (Hook et 기타., 1995).

Answer 2

그렇습니다. ADA는 소프트웨어 버그 (항공 전자 공학 및 항공 교통 통제 및 물론 군사용)의 경우 업무용 장치가 심각한 재해를 야기 할 수 있으므로 사용되는 것이므로 해당 산업에서 여전히 사용되고 있으며 의심됩니다. 변경

Answer 3

미국 국립 표준 기술 연구소 (NIST)는 NIST-IR-8151 "소프트웨어 취약성을 대폭 감소시키는"보고서를 발표했습니다. 보고서는 https://doi.org/10.6028/NIST.IR.8151에서 확인할 수 있습니다. 소프트웨어 측정 및 측정에

두 프리젠 테이션 보안 취약점 (SWMM-RSV) 워크샵, 앤드류 Walenstein의 "측정 소프트웨어 Analyzability"을 줄이고 제임스 Kupsch의 "다루기 위해 : 다음 해당 보고서에서 발췌 한 것입니다 정적 분석에 불투명 한 코드 "방향을 가리켜 새로운 소프트웨어 측정 값을 가리 킵니다. 두 사람 모두 코드가 자동 분석에 적합해야한다고 강조했다. 두 가지 방법 모두 코드를 쉽게 분석 할 수 있으며, 분석 가능성이 취약점을 줄이고 분석 가능성을 측정 할 수있는 이유와 이 증가한 이유를 정의하는 방법을 제시했습니다.

으로 분석 할 수 있으며, 예를 들어 SPARK와 같이 오류가 덜 발생하도록 설계된 하위 집합이 있습니다 (예 : Hatton의 SaferC). 워크샵 참가자는 일반적으로 F # 또는 ML과 같은 기능 언어와 같이 더 나은 언어를 사용하는 것이 좋습니다. 그러나 미래의 특정 언어 또는 개의 언어는 없습니다.

에 SPARK가있는 Ada 2012 [Barnes13]과 같은 몇 가지 예외가 있지만 새로운 언어는 도구 지원이 좋지 않습니다. 새로운 언어를 채택하고 안전하게 사용하려면 도구를 구성 할 때 도구를 지원하는 것이 중요합니다.