1. ホーム(Home) > 
  2. 製品情報 > 
  3. AdaCore 統合開発環境 > 
  4. Adaコンパイラ AdaCore GNAT Pro

Products

 

Adaコンパイラ AdaCore GNAT Pro

AdaCore社はAda、セーフ&セキュアソフトウエア開発用のツールならびにサービスを提供するベンダで、1994年に設立され本社はパリ、ニューヨークにあります。AdaCore社はコンパイラ、開発環境、(静的解析、動的解析)、認証等に関しての高度な専門性を有しており、その技術は全世界の防衛、航空、宇宙、鉄道、航空管制等を開発する企業で採用されています。

AdaCore 製品概要

GNAT Pro Ada開発者向け開発環境

GNAT Pro は堅牢かつ自由度の高い開発環境で、開発効率の良い製品開発が行え投資効果が最大となる各種ツール、製品サポートならびにAdaエキスパートによるアドバイスも提供可能です。

図:GNAT Pro Ada開発者向け開発環境

GNAT Pro Mixed Language Ada, C, C++ 混在開発

GNAT Proは 開発者がAda、 Cならびに C++で記述したプログラムを混在して使用できるマルチ言語対応開発環境です。また、GNAT ProはAdaならびにC、 C++、 Java、Pythonのその他の言語をインタフェースするバインディング機能を提供します。

CodePeer 自動化コードリビューならび評価ツール

CodePeerは自動化ピアリビュー(automated peer review)の様なテクニックを用いて実行前にのプログラムのバグを検出します。CodePeerは制御フロー、データフロー、その他の静的解析手法を用いてエラーを検出しデバッグ効率を改善します。

図:CodePeer 自動化コードリビューならび評価ツール拡大表示
図:CodePeer 自動化コードリビューならび評価ツール

GNAT Pro Safety-Critical (セーフティ・クリチカル)

GNAT Proセーフティ・クリチカルは高信頼性、セーフティ・クリチカル組込アプリケーション向けの理想的な開発環境です。AdaCore社は、多くの産業と国際安全基準に関係するプログラミングの様々な要求に対応するソリューションを提供しています。

図:GNAT Pro Safety-Critical (セーフティ・クリチカル)

SPARK Pro 高信頼性設計スイート

SPARK Proは高信頼性ソフトウエア開発者向けに最良の言語、ツールセット、設計指針を提供し、AdaCore社の開発環境GNAT Programming Studio (GPS)とAltran 社のSPARK言語、評価ツールで構成されています。SPARK Proはソースコード開発の初期段階でディフェクトを検出し除外できます。

GNAT Pro High-Security (高安全 システム向け開発環境)

GNAT Pro High-Securityは、EAL(Evaluation Assurance Levels )の高信頼性アプリケーション開発に必要なスタンドアロンあるいは多重レベルセキュリティ(MILS)RTOSパーティション向けアプリケーション開発用に設計された 製品です。
低位のEAL向けAdaサポートライブラリならびに高位のサーティフィケーション向けの特殊なランタイムライブラリならびにオプションのSPARK Proツール、セーフティ・クリチカルアプリケーションを設計するGNAT Proユーザインタフェースを提供しています。

GtkAda Ada用GUI開発ツール

GtkAda はAda用のGUIアプリケーションを開発するためのGNAT Proソリューションです。

GNAT Pro for .NET

GNAT Proは.NET用Adaソリューションで、NET Framework とAPI(“unmanaged” Windows)コードだけではなくmanaged .NETコード をサポートする一番最初にリリースされたAdaツールです。
GNAT Proは、信頼性が高く、強力なAdaプログラミング環境を探している.NET 開発者ならびに.NET プラットフォーム上でのソフトウエア開発するAdaユーザのトランジションパスを提供します。

GNATstack スタック解析ツール

GNATstackはAda/C/C++開発チームが組込ソフトウエアアプリケーションを開発するために必要なメモリスタックの最大サイズを正確に予想し提供します。

GNATcheck コーディング・スタンダード・ベリフィケーション・ツール

GNATcheckは 簡単に使用できる豊富なスタンダード・ベース・ツールです。開発者は、DO-178Bのソフトウエア・コーディング・スタンダードの様なコーディングスタンダードを基準のセット(例えば、許容される言語のサブセット)として定義します。そして、プラグラムが基準に適合するか検証し、DO-178Bのシステムに適合するか確認できます。

GNATcoverage カバレッジアナリシスツール

GNATcoverageはプログラムカバレッジの解析とレポートを作成するツールです。

図:GNATcoverage カバレッジアナリシスツール拡大表示
図:GNATcoverage カバレッジアナリシスツール拡大表示

GNATemulator ターゲット・アーキテクチャ・エミュレーション

GNATemulatorは統合化されたターゲットエミュレーションできる効率的な自由度の高いツールです。

Traceability Analysis Package ソース-オブジェクト・コード・トレーサビリティ

ソース-オブジェクト・コード・トレーサビリティ解析ツール、GNAT Proトレーサビリティ解析パッケージは、テストケース、GNAT Pro スイッチ・リコメンデーション(switch recommendations)を含んでAda言語の機能解析が行え、DO-178Bアビオニクス・スタンダードであるセーフティ・クルチカル・ソフトウエアのコンプライアンスに適合するかを確認できます。

Qualification Materials サーティフィケーション用ツール・クオリフィケーション・クレジット

AdaCoreはDO-178Bアビオニクス・ソフトウエア・セーフティ・スタンダードのレベルAまでに適合する認証アプリケーションの開発を手助けする製品を提供します。また、DO-178Bの上位リビジョンであるDO-178Cにも対応します。

PolyORB  分散処理システム(Distributed Systems)

分散処理システム(Distributed Systems)オープン・スタンダードを用いてアプリケーション・コンポーネントのコラボレーション向け開発ツールとランタイム・ライブラリ・アーキテクチャをミドルウエア実装用に提供します。

Ada Web Server Webベース・アプリケーション開発用フレームワーク

フレームワークの主要なパートは組込Webサーバです。この強力なAdaベース・Webサーバは最新のWebブラウザをアプリケーションに組込ことができます。

ASIS for GNAT  Ada セマンティック解析(Semantic Analysis)

ASIS、Adaセマンティックインタフェース仕様は Adaコンパイレーション・ユニット(compilation unit)のコンプリート・シンタクティック(complete syntactic)とセマンティック構造(semantic structure)にアプリケーションがアクセスできるライブラリです。このライブラリは、Adaプログラム上の静的解析の分類(sort)を実行するために必要なツールによって一般的に使用されています。

GNAT Pro ツールスイート

概要

GNAT Proは自由度の高いAda開発環境でGNU GCCコンパイラをベースに、Ada 2012/2005/95/83に完全準拠しています。統合化開発環境(GNAT プログラミングスタジオ)には、ビジュアルデバッガ付属のツールスイート、ライブラリ、バインダが付属しています。

GNAT プログラミングスタジオ (統合化開発環境)

統合化開発環境はGNAT Pro ツールチェーンを利用する上で設定の保存、文法指示エディタ(syntax-directed editing)、バージョン管理システムならびにソースナビゲーションツール等のサードパーティツールと容易に統合できます。

図:GNAT プログラミングスタジオ (統合化開発環境)拡大表示

Ada コンパイラ (Ada 83/Ada 95/Ada 2005/Ada 2012)

GNAT AdaコンパイラはAda 83/Ada 95/Ada 2005フロントエンド、GCCコードジェネレータ、バインダ、リンカ、ランタイムライブラリを含んでいます。

解析、テスト、コードナビゲーション用ユーティリティ

詳細なナビゲーション、解析ツールは、コールグラフ、ソース依存関係、プロジェクト構成等の情報を作成しプログラムの理解度を向上します。

Ada-Javaインタフェーススィート

Ada-JavaインタフェーススィートはJAVA仮想マシーン(JVM)上で動作するJAVAアプリケーションとネィティブAdaコードを混合するためのアドオンツールがGNAT Proです。

ビジュアルデバッガ

GNAT Proビジュアルデバッガは 従来からある単なるデータ表示、追跡、実行制御ツールではなく、ソース、アセンブラレべルでタスクモニタ、デバッグ機能を備えています。また、ターゲットデバッグ様のインタフェースも備えています。

ライブラリ、バインディング

標準Ada APIを補完するためにGNAT Proはオペレーティングシステムインタフェース、テキスト操作、パターンマッチング、データ構造、データアルゴリズム、I/Oオペレーションの様なサービスのためのパッケージを含んでいます。

ランタイム プロファイル

セーフティクルチカルシステム向け関連したカスタマイズ ランタイム ライブラリは特定のプラットフォーム上で提供されます。

GNATbench (エクリプス プラグイン)

GNATbenchは VxWorksが動作する組込システム用のウインドリバーWorkbench統合化開発環境へAdaCore‘s GNAT Pro ツールセットを組込できます。

コーディング標準評価ツール GNATcheck

GNATcheckは簡単に使用できるエクステンシブル ルールベースツール(an extensible rule-based tool)です。ルールの設定としてコーディング標準(DO-178Bの“Software Code Standard”を規定します。

ユニットテストハーネスジェネレータGNATtest

GNATtestツールは大規模ソフトウエアシステムのベリフィケーションに付随する開発、プロセスの単純な誤りや多くのテストケースを管理するための要素を自動生成します。

XMLライブラリ  XML/Ada

多くの最新のシステムの基盤技術はXML.です。AdaCore社のXML/Adaライブラリは、アプリケーションの特定データリプリゼンテーションへストリームを変換するSAX実装で XMLストリームの構文解析、プロセスするためのアプリケーション開発の手助けをしてくれます。

GPRbuild

GPRbuildはマルチ言語システムの作成を自動化するためのソフトウエアツールです。

GNAT コンポーネント コレクション(Component Collection)

GNAT コンポーネント コレクショは再利用可能なソフトウエアコンポーネントとユーティリティのスィートです。GNAT Pro ツールセット、 GPS 統合化開発環境ならびにGNAT Tracker、WEBベースのカスタマインタフェースを開発する際にAdaCore社によって使用されました。

メーカー製品ページ

詳細はAdaCore社のページをご参照ください。

AdaCore製品情報
AdaCore 統合開発環境
↑このページのトップ