Spark Pro – High Assurance by Design

Pricing Information

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

The SPARK Pro BlackBelt Edition adds support for the optional Proof Checker tool and RavenSPARK language profile.

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.

Information

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

Choose Your Technology Solutions

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

Ada and mixed-language Ada/C/C++ development

GNAT Pro Ada to develop Ada software (including Ada 2012) Product Page Quick Look
Ada compiler, debugger, tools, libraries GNAT Programming Studio IDE
Ada plugins for the Eclipse/Workbench IDEs 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
Product Page » Pricing Information » Close Details
GNAT Pro C to develop software written in C Product Page Quick Look
C compiler, debugger, tools, libraries GNAT Programming Studio IDE
Product Page » Pricing Information » Close Details
GNAT Pro C++ to develop software written in C++ Product Page Quick Look
C++ compiler, debugger, libraries GNAT Programming Studio IDE
Product Page » Pricing Information » Close Details
CodePeer for automatic code review and validation Product Page Quick Look
Automatic code review and validation GNAT Programming Studio IDE
Automatic documentation generation
Product Page » Pricing Information » Close Details

Safety-critical and security-critical development

GNAT Pro High-Integrity Edition for DO-178B and safety-critical Ada development Product Page Quick Look
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 plugins for the Eclipse/Workbench IDEs 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
Product Page » Pricing Information » Close Details
GNAT Pro High-Integrity Edition for MILS for MILS and security-critical Ada development Product Page Quick Look
Ada compiler, debugger, tools, libraries High-integrity Ada profiles
Zero footprint runtime Ravenscar Ada runtime
configurable runtimes Statically compute stack memory usage
GNAT Programming Studio IDE Ada plugins for the Eclipse/Workbench IDEs
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
Product Page » Pricing Information » Close Details
SPARK Pro high-assurance development by design Product Page Quick Look
SPARK Examiner and Simplifier (static prover) GNAT Programming Studio IDE
Ada plugins for the Eclipse/Workbench IDEs SPARK plugin for the Eclipse IDE
Automatic documentation generation
Product Page » Pricing Information » Close Details
SPARK Pro Black-Belt Edition high-assurance development for concurrent software by design Product Page Quick Look
SPARK Examiner and Simplifier (static prover) High-assurance development of concurrent programs
SPARK interactive proof checker GNAT Programming Studio IDE
Ada plugins for the Eclipse/Workbench IDEs SPARK plugin for the Eclipse IDE
Automatic documentation generation
Product Page » Pricing Information » Close Details

Safety-critical and security-critical development: specialized tools and libraries

GNATcoverage for source and object code coverage Product Page Quick Look
Fast target emulation on the host Source and object code coverage toolset for embedded software
Product Page » Pricing Information » Close Details
GNATstack to statically compute maximum stack memory usage Product Page Quick Look
Product Page » Pricing Information » Close Details
Certifiable TCP/IP stack for safety-critical and security-critical software (future availability) Quick Look
Pricing Information » Close Details

Packages for DO-178B certification

Traceability Study for DO-178B level A source-to-object code traceability Product Page Quick Look
Product Page » Pricing Information » Close Details
Cert Kit DO-178B certification package for Cert runtime on VxWorks 653 Quick Look
Pricing Information » Close Details

Accompanying technologies

GNATemulator for fast target emulation on the host Product Page Quick Look
Product Page » Pricing Information » Close Details
PolyORB to build distributed systems using Ada’s annex or CORBA Product Page Quick Look
Product Page » Pricing Information » Close Details
AWS to web-enable Ada applications (Ada Web Server) Product Page Quick Look
Product Page » Pricing Information » Close Details
GtkAda to develop modern native GUIs in Ada Product Page Quick Look
Product Page » Pricing Information » Close Details
ASIS to develop tools for Ada software Product Page Quick Look
Product Page » Pricing Information » Close Details

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

Native platforms

  • Linux: x86 GNU Linux (32 bits)
  • Linux: x86-64 GNU Linux (64 bits)
  • Linux: PowerPC GNU Linux (32 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)
  • Windows: .NET on Windows
  • Mac OS X: x86-64 Mac OS X (64 bits)
  • HP-UX: Itanium HP-UX
  • OpenVMS: Alpha OpenVMS
  • OpenVMS: Itanium OpenVMS
  • AIX: PowerPC AIX (32 bits)
  • Other: (Please specify)

Cross platforms

  • Embedded Linux: x86 ELinOS (hosted on Linux)
  • Embedded Linux: PowerPC ELinOS (hosted on Linux)
  • LynxOS: PowerPC LynxOS 5.x (hosted on Linux)
  • 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: PowerPC e500v2 VxWorks 6.x (hosted on Linux)
  • VxWorks 6.x: PowerPC e500v2 VxWorks 6.x (hosted on Windows)
  • VxWorks 6.x: PowerPC e500v2 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)
  • Certified VxWorks: PowerPC VxWorks 6.x/Cert (hosted on Windows)
  • Certified VxWorks: PowerPC VxWorks 6.x/Cert (hosted on Linux)
  • Certified VxWorks: PowerPC VxWorks 653 (hosted on Windows)
  • Certified VxWorks: PowerPC VxWorks MILS (hosted on Windows)
  • Certified VxWorks: PowerPC e500v2 VxWorks MILS (hosted on Windows)
  • ELF format: PowerPC ELF format (hosted on Windows)
  • ELF format: PowerPC ELF format (hosted on Solaris)
  • ELF format: PowerPC 55xx and e500v2 ELF format (hosted on Windows)
  • ELF format: ERC32 ELF format (hosted on Linux)
  • ELF format: ERC32 ELF format (hosted on Solaris)
  • ELF format: LEON 2 ELF format (hosted on Windows)
  • ELF format: LEON 2 ELF format (hosted on Linux)
  • ELF format: LEON 2 ELF format (hosted on Solaris)
  • ELF format: LEON 3 ELF format (hosted on Linux)
  • ELF format: AVR microcontroller ELF format (hosted on Windows)
  • Other: (Please specify)

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

Estimated duration of project

  • 1 year
  • 2 years
  • 3+ years

Estimated start date (when you will need the products)

  • As soon as possible
  • Within the next 6 months
  • More than 6 months

Where did you learn about our products and services?

Any additional information or comments you wish to add

(AdaCore’s privacy policy)

The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.

Home | Download | Developers | Academia | Ada Answers | Tools | News | Contact

Privacy Policy