Home | Contact | Pricing | News | Partners | Mailing List | Site Map

Gnat Pro - Designed for the Ada Professional

Pricing Information

The GNAT Pro package is available as a yearly subscription consisting of:

Questions and Evaluations

For general inquires regarding our products and solutions or to learn how you can apply for an evaluation contact: sales@adacore.com.

Get a price quote

Use the following form to receive a price quote. Please fill it out as completely as possible so we can provide you with the most accurate pricing information.

1. Information

Data
Company *
Last Name *
First Name *
Address *
City *
State (US only) *
Postal Code *
Country *
Tel *
Fax
Email *

2. Brief Description of Your Project


3. Choose Your Technology Solutions

Select all technologies and services for which you would like a price quote.

Ada development solutions

  • GNAT Pro - to develop Ada software (including Ada 2005)  –  learn more »
  • GNAT Pro High-Integrity Edition - for safety-critical development  –  learn more »
  • GNAT Pro High-Integrity Edition DO-178B Certification Kit -   –  learn more »
  • SPARK Pro - for high assurance by design  –  learn more »
  • SPARK Pro Black-Belt Edition - for high assurance by design for concurrency  –  learn more »

Mixed-language solutions

  • CGNAT - to develop software written in C  –  learn more »
  • G++ for GNAT - to develop software written in C++  –  learn more »

Add-on technologies

  • Ada-Java Interfacing Suite - to interface Ada and Java  –  learn more »
  • AWS - to web-enable Ada applications (Ada Web Server)  –  learn more »
  • ASIS - to develop tools for Ada software  –  learn more »
  • GtkAda - to develop modern native GUIs in Ada  –  learn more »
  • PolyORB - to build distributed systems using CORBA or Ada’s Distributed Systems Annex  –  learn more »
  • GNATstack - to statically compute maximum stack memory usage  –  learn more »

Additional professional services

  • Ports, special-purpose runtimes, tool customization 
  • On-site consulting on technologies provided by AdaCore  –  learn more » 
  • On-site training  –  learn more » 

4. Select Your Configurations

Native platforms

  • Linux: x86 GNU Linux (32 bits)
  • Linux: x86-64 GNU Linux (64 bits)
  • Linux: HP Integrity Itanium GNU Linux
  • Linux: SGI Altix Itanium GNU Linux
  • Solaris: SPARC Solaris (32 bits)
  • Solaris: SPARC Solaris (64 bits)
  • Solaris: x86 Solaris/Trusted Solaris (32 bits)
  • Windows: x86 Windows (32 bits)
  • Windows: x86-64 Windows (64 bits) — future availability
  • Windows: .NET on Windows
  • Java VM: Java Virtual Machine on Windows
  • RTX: RTX for Windows
  • Mac OS X: x86-64 Mac OS X (64 bits)
  • Mac OS X: PowerPC Mac OS X
  • HP-UX: PA-Risc HP-UX
  • HP-UX: Itanium HP-UX
  • Tru64: Alpha Tru64
  • OpenVMS: Alpha OpenVMS
  • OpenVMS: Itanium OpenVMS
  • IRIX: MIPS IRIX
  • AIX: PowerPC AIX (32 bits)
  • LynxOS: x86 LynxOS 4.x
  • Other: (Please specify)

Cross platforms

  • Embedded Linux: x86 ELinOS (hosted on Linux)
  • Embedded Linux: PowerPC ELinOS (hosted on Linux) — future availability
  • PikeOS: PowerPC PikeOS (hosted on Windows) — future availability
  • PikeOS: PowerPC PikeOS (hosted on Linux) — future availability
  • Nucleus OS: ARM Nucleus OS (hosted on Windows)
  • LynxOS: PowerPC LynxOS 5.x (hosted on Windows) — future availability
  • LynxOS: PowerPC LynxOS 5.x (hosted on Linux)
  • LynxOS: x86 LynxOS 5.x (hosted on Windows) — future availability
  • LynxOS: x86 LynxOS 5.x (hosted on Linux)
  • LynxOS: PowerPC LynxOS 4.x (hosted on Solaris)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on Linux)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on Windows)
  • VxWorks 6.x: PowerPC VxWorks 6.x (hosted on Solaris)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on Linux)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on Windows)
  • VxWorks 6.x: x86 VxWorks 6.x (hosted on Solaris)
  • VxWorks 5.x: PowerPC VxWorks 5.x (hosted on Windows)
  • VxWorks 5.x: PowerPC VxWorks 5.x (hosted on Solaris)
  • VxWorks 5.x: x86 VxWorks 5.x (hosted on Solaris)
  • Certified VxWorks: PowerPC VxWorks 6.x/Cert (hosted on Windows)
  • Certified VxWorks: PowerPC VxWorks 6.x/Cert (hosted on Linux)
  • Certified VxWorks: PowerPC VxWorks 6.x/Cert (hosted on Solaris)
  • Certified VxWorks: PowerPC VxWorks/Cert (hosted on Windows)
  • Certified VxWorks: PowerPC VxWorks/Cert (hosted on Solaris)
  • Certified VxWorks: PowerPC VxWorks 653 (hosted on Windows)
  • Certified VxWorks: PowerPC VxWorks 653 (hosted on Solaris)
  • ELF format: PowerPC ELF format (hosted on Windows)
  • ELF format: PowerPC ELF format (hosted on Solaris)
  • ELF format: PowerPC 55xx ELF format (hosted on Windows)
  • ELF format: ERC32 ELF format (hosted on Linux)
  • ELF format: ERC32 ELF format (hosted on Solaris)
  • ELF format: LEON ELF format (hosted on Windows)
  • ELF format: LEON ELF format (hosted on Linux)
  • ELF format: LEON ELF format (hosted on Solaris)
  • ELF format: AVR microcontroller ELF format (hosted on Windows)
  • Other: (Please specify)

5. Determine Your Subscription Level

To determine your subscription level count the number of unique users, including sub-contractors, using AdaCore software.

Maximum Number of Unique Users

  • Enter your exact number of unique users: (5 minimum)
  •  
  • or select any of the following predefined team sizes:
  •  
  • Up to   5
  • Up to 15    (up to 50% volume discount)
  • Up to 25    (up to 60% volume discount)
  • Up to 35    (up to 65% volume discount)
  • Up to 50    (up to 70% volume discount)
  • Above 50

6. Additional Project Information

Estimated duration of project

1 year
2 years
3 years
4 years
5 years
Other (please specify):

Estimated start date (when you will need the products)

As soon as possible
Within the next 6 months
Within the next 12 months
In more than 12 months

Where did you learn about our products and services?

Any additional information or comments you wish to add

(AdaCore’s privacy policy)