DevOpsのAdaCore、設立30周年オープンソースのAdaプログラミング言語

AdaCoreは30年間、信頼性が高く、安全でセキュアなソフトウェアを構築するための重要なツールを提供してきました。この数十年にわたり、Adaプログラミング言語と自由にライセンスされるオープンソースソフトウェアは、AdaCoreの使命に欠かせないものでした。AdaCoreのCEO兼共同創設者であるFranco Gasperoni氏は、AdaとそのAda 95の先駆者たち（Tucker Taft氏や故Robert Dewar氏、またCyrille Comar氏、Richard Kenner氏、Ed Schonberg氏などの共同創設者）との関係を誇りに思っています。「仕様、型付け、コーディングを組み合わせたAdaの精密なプログラミングが、私たちのアプローチの中核を成しています。過去10年間で、私たちはSPARK/Adaによる自動検証を導入して精密なプログラミングを拡張しました。サポート対象の言語を増やす中で、AdaやSPARK、そしてC/C++と並んでRustを採用することは当然の結果です。」

AdaCoreは、自由にライセンスされるオープンソースソフトウェアを商業化する革新的なビジネスモデルの開発でも先駆者でした。AdaCoreは、Free Software FoundationやGitHubなどのプラットフォームへの貢献を通じて、商業ユーザーとオープンソース技術の協調的かつ動的な相互作用を重視しています。

これまでの年月で、他社とのパートナーシップの重要性が増してきました。これらのパートナーの一つにWind Riverがあります。Wind RiverのEMEA地域の航空・防衛分野担当フィールドエンジニアリングディレクターであるPaul Parkinson氏はこう述べています。

「2000年12月に初めてAdaCoreのパリオフィスを訪問し、Franco Gasperoni氏とAdaCoreチームに会い、AdaCoreのGNAT ProとWind RiverのTornado IDEおよびVxWorks 5.4のフィールド統合について話し合ったことを懐かしく思い出します。技術的なコラボレーションは強固なパートナーシップに発展しました。20年を経て、多くの共通顧客が高い信頼性と安全性を求めるアビオニクスプログラムで成功を収めたことをうれしく感じます。」

AdaCoreのCTOであるArnaud Charlet氏は、安全でセキュアなソフトウェアに焦点を当て続けることで、独自の市場地位を確立できたことを称賛しています。「私たちは30年前にGCC用のAdaフロントエンドからスタートしました。以来、複数のプラットフォームをサポートし、デバッグ、ソースナビゲーション、補完、プリティープリント、静的・動的解析機能、C、C++、Rustのサポートを加えた完全統合開発環境へと徐々に拡張してきました。安全でセキュアなソフトウェアに焦点を当てることで、長期的なサポートと保守、最先端のソフトウェアサプライチェーンのセキュリティと安全性を提供できる独自のポジションにいます。」

AdaCoreは顧客のニーズを最優先にしています。20年間AdaCoreで働いているChief Product and Revenue OfficerのQuentin Ochem氏は次のように述べています。「会社の設立3 Jahrzehnteのうちの2つの Jahrzehnteを目撃する機会を得ました。コンパイラとAdaに取り組みたくてAdaCoreに入社しました。しかし、新しい技術分野、静的解析、構造コードカバレッジ、認証、または形式証明を受容する会社に魅了されました。現在、私たちは新しいプログラミング言語とツールを使って、信頼できる高信頼性開発のワンストップショップを目指しています。その旅の一部であることに興奮し、今よりも一層、これからの Jahrzehnteを楽しみにしています。」