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.


Code Development

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

Static Analysis

CodePeer is an Ada source code analyser that detects run-time and logic errors, providing developers with a deep understanding of their code.  It assesses potential bugs before program execution, serving as an automated peer reviewer during the development life cycle.

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.

Model-Based Engineering

QGen is an automatic code generator for systems requiring the highest level of certification.  It features a model-level debugger for testing and understanding the model on real hardware and an integrated toolset for performing host-based emulation and instrumentation-free coverage analysis.


GNATcoverage performs coverage analysis at both object code level (instruction and branch coverage), and Ada or C source code level (Statement, Decision and Modified Condition/Decision Coverage without requiring instrumentation of the application code.

Expert Support

AdaCore does not have a separate support team; every engineer in the company has support as priority number one.  This translates into the highest level of support possible by giving you unfiltered access to the developers who build and maintain the technology.

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 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.


  • 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