Information

Choose Your Technology Solutions

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

Ada development

•  GNAT Pro Ada - to develop Ada software (including Ada 2005)

  Includes (depending on platform):  

  √  Ada compiler, debugger, tools, libraries	√  GNAT Programming Studio IDE
  √  Ada plugin for the Eclipse IDE	√  Ada Java interfacing suite
  √  Ada unit testing framework	√  reusable Ada components library
  √  automatic builds of multi-language systems	√  library to process XML streams
  √  automatic documentation generation	√  Ada coding standard and rule checker
  √  Ada source code metrics	√  dynamic memory monitoring of Ada programs
  √  interface to POSIX libraries	√  Ada API to the Windows library

•  CodePeer - for automatic code review and validation

  Includes (depending on platform):  

  √  automatic code review and validation	√  GNAT Programming Studio IDE
  √  Ada plugin for the Eclipse IDE	√  automatic documentation generation

Mixed-language Ada/C/C++ development

•  GNAT Pro C - to develop software written in C

  Includes (depending on platform):

  √  C compiler, debugger, tools, libraries	√  GNAT Programming Studio IDE

•  GNAT Pro C++ - to develop software written in C++

  Includes (depending on platform):  

  √  C++ compiler, debugger, libraries	√  GNAT Programming Studio IDE

Safety-critical and security-critical development

•  GNAT Pro High-Integrity Edition - for DO-178B and safety-critical Ada development

  Includes (depending on platform):  

  √  Ada compiler, debugger, tools, libraries	√  high-integrity Ada profiles
  √  zero footprint runtime	√  Ravenscar Ada runtime
  √  certifiable runtime for VxWorks 653	√  configurable runtimes
  √  statically compute stack memory usage	√  GNAT Programming Studio IDE
  √  Ada plugin for the Eclipse IDE	√  Ada unit testing framework
  √  automatic builds of multi-language systems	√  automatic documentation generation
  √  Ada coding standard and rule checker	√  Ada source code metrics
  √  zero footprint runtime for the host

•  SPARK Pro - for high assurance by design

  Includes (depending on platform):  

  √  SPARK Examiner and Simplifier (static prover)	√  GNAT Programming Studio IDE
  √  Ada plugin for the Eclipse IDE	√  automatic documentation generation

•  SPARK Pro Black-Belt Edition - for high assurance by design for concurrency

  Includes (depending on platform):  

  √  SPARK Examiner and Simplifier (static prover)	√  validation of concurrent programs
  √  SPARK interactive proof checker	√  GNAT Programming Studio IDE
  √  Ada plugin for the Eclipse IDE	√  automatic documentation generation

Tools and packages for certification

•  XCov - for source and object-code coverage for all levels of DO-178B (future availability)

  Includes (depending on platform):

  √  fast target emulation on the host	√  coverage toolset for DO-178B/C software

•  GNATstack - to statically compute maximum stack memory usage

  For more information...  

•  Traceability Study - for DO-178B level A source-to-object code traceability

  For more information...  

•  Cert Kit - DO-178B certification package for Cert runtime on VxWorks 653

  For more information... contact: sales@adacore.com

Accompanying technologies

•  QEMU - for fast target emulation on the host

  For more information... contact: sales@adacore.com

•  PolyORB - to build distributed systems using Ada's annex or CORBA

  For more information...  

•  AWS - to web-enable Ada applications (Ada Web Server)

  For more information...  

•  GtkAda - to develop modern native GUIs in Ada

  For more information...  

•  ASIS - to develop tools for Ada software

  For more information...  

Additional professional services

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

Select Your Configurations

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

Additional Project Information