1. ホーム(Home) > 
  2. 製品情報 > 
  3. AdaCore 統合開発環境

AdaCore Products

AdaCore 統合開発環境

AdaCore
  • QGen
  • GNAT Pro
  • GNAT Pro Safety-Critical
  • SPARK Pro

DO-178C(DO-330,DO-331,DO-333),EN 50128,
IEC 61508, ISO26262 認証取得対応
形式手法(Formal Method)開発対応

〜MHIエアロスペースシステムズ株式会社がモデルベース開発にAdaCore のQGen を採用〜
[日本語][English][AdaCore社サイト]

〜株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用〜
「Freedom from Interference」を実証するためにフォーマルメソッドを適用
[日本語][English][AdaCore社サイト]

〜AdaCore社はRISC-V財団に加盟C/Adaコンパイラを提供開始〜
「GNAT ProとGNATコミュニティのツールチェーンが業務用とホビイスト用両方で利用可能」
[日本語] [AdaCore社サイト]

〜AdaCore社はNVIDIA社と共同でファームウエアのセキュリティを強化〜
「Ada/SPARK言語はセキュリティ・クリティカルなソフトウェア開発と検証コストを低減」
[日本語] [AdaCore社サイト]

↑このページのトップ