本文へスキップ

Adaとは?

えいだ

軍事・航空宇宙向けに設計された高信頼性言語。

1980年代アメリカ国防総省がスポンサーとなり設計された言語で、強い型付けと並行処理機能を持ち航空管制や軍事システムに使われる。

使い方・例文

ボーイング787の飛行制御ソフトウェアの一部はAdaで書かれており、DO-178Cの航空安全認証を取得している。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語