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

Products

AdaCore provides tools and expertise for the development of mission-critical, safety-critical, and security-critical software.

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

More GNAT Pro Ada to develop Ada software (including Ada 2005)

Learn more about GNAT Pro »

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

Pricing Information »

More GNAT Pro C to develop software written in C

Learn more about GNAT Pro C »

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

Pricing Information »

More GNAT Pro C++ to develop software written in C+++

Learn more about GNAT Pro C++ »

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

Pricing Information »

More CodePeer for automatic code review and validation

Learn more about CodePeer »

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

Pricing Information »

Safety-critical and security-critical development

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

Learn more about GNAT Pro High Integrity Edition »

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

Pricing Information »

More SPARK Pro high assurance development by design

Learn more about SPARK Pro »

SPARK examiner and static prover GNAT Programming Studio IDE
Ada plugin for the Eclipse IDE Automatic documentation generation

Pricing Information »

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

Learn more about SPARK Pro Black-Belt Edition »

SPARK examiner and static prover Validation of concurrent programs
SPARK interactive proof validator GNAT Programming Studio IDE
Ada plugin for the Eclipse IDE Automatic documentation generation

Pricing Information »

Tools and packages for certification

More XCov for source and object-code coverage for all levels of DO-178B (future availability)
Fast target emulation on the host Coverage toolset for DO-178B/C software

For more information contact: sales@adacore.com

Pricing Information »

More GNATstack to statically compute maximum stack memory usage

Learn more about GNATstack »

Pricing Information »

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

Learn more about Traceability Study »

For more information contact: sales@adacore.com

Pricing Information »

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

Learn more about Cert Kit »

For more information contact: sales@adacore.com

Pricing Information »

Accompanying technologies

More QEMU for fast target emulation on the host

For more information contact: sales@adacore.com

Pricing Information »

More PolyORB to build distributed systems using Ada’s annex or CORBA

Learn more about PolyORB »

For more information contact: sales@adacore.com

Pricing Information »

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

Learn more about AWS »

For more information contact: sales@adacore.com

Pricing Information »

More GtkAda to develop modern native GUIs in Ada

Learn more about GtkAda »

For more information contact: sales@adacore.com

Pricing Information »

More ASIS to develop tools for Ada Software

Learn more about ASIS »

For more information contact: sales@adacore.com

Pricing Information »