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