AdaCore

Helping Developers Build Software that Matters

AdaCore is focused on helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected companies in the avionics, space and defence industries, they build tools and provide services that ease the complex and often difficult process of developing high-integrity software.  As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, AdaCore is bringing their time-tested technologies, expertise and services to help a whole new generation of developers.


Enquire now

PRODUCTS

Code Development

The GNAT Pro products offer the environment to develop software in the Ada, C/C++, and Rust languages and the associated tools required for building and verifying reliable and efficient applications while saving overall development, verification and maintenance effort.

Static Analysis

GNAT SAS provides an Ada code analyzer to detect runtime/logic errors, bugs, and vulnerabilities pre-execution. It acts as an automated peer reviewer, enhancing code quality, reliability, and security analysis across development stages for new or existing codebases.


Dynamic Analysis

GNAT Dynamic Analysis Suite provides powerful dynamic analysis and coverage tools for Ada and the formally analyzable SPARK Ada subset. Capabilities like structural code coverage also support C and do not require instrumentation of the application code.

Formal Verification

SPARK Pro is a language – formally analysable subset of the Ada 2012 – and toolset that brings mathematics-based confidence to software verification, detecting and eliminates defects early in the software lifecycle.  The system to use when software failure is unacceptable.


Expert Support

AdaCore does not have a separate support team; the number one priority of every engineer in the company is customer support. This translates into the highest level of support possible.

Professional Services

In addition to their software products, AdaCore also offer several different professional services including mentorship, on-site consulting, training and custom development.



DEDICATED SYSTEMS

Dedicated Systems Australia is the leading supplier of Embedded System Software, Firmware and Hardware in Australia and New Zealand. We represent AdaCore to bring high quality products to our customers for industries requiring high integrity, secure and robust software.

WE HELP OUR CUSTOMERS TO:

  • Capture and meet their requirements
  • Build reliability, modularity, and re-usability into their products
  • Get to market on time and on budget
  • Support their design through development and deployment

ds_popup_1