An error has occurred.

Products of AdaCore SAS (5)

CodePeer

GNAT Pro

GNATcoverage

QGen

SPARK Pro

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,

The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,

The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and

The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, railway systems, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

CodePeer

CodePeer is an advanced static analysis tool that detects run-time and logic errors in Ada code. It assesses potential bugs before program execution, serving as an automated peer reviewer and helping to find errors efficiently and early in the development life cycle. It can also be used retrospectively on existing codebases, to identify latent vulnerabilities and/or to perform impact analysis when introducing changes. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.

GNAT Pro

GNAT Pro is a complete development environment for designing, implementing, and maintaining applications where high reliability is critical. GNAT Pro implements Ada 2012 as well as all earlier versions of the Ada language standard, and supports the development of pure Ada programs as well as mixed-language applications with some components in Ada and others in languages such as C and C++.

GNATcoverage

GNATcoverage is a specialized tool that analyzes and reports program coverage. It performs coverage analysis on both object code (instruction and branch coverage) and Ada and C language source code (statement, decision and Modified Condition/Decision Coverage - MC/DC), without requiring instrumentation of the executable. GNATcoverage can help assess the completeness of a testing campaign and provide precise answers to the needs of safety-certification processes such as the DO-178 avionics standard.

QGen

QGen is a qualifiable and customizable code generator producing Ada (SPARK-compliant) and C (MISRA C-compliant) from Simulink and Stateflow models. It is particularly suited for usage in regulated industries by organizations who develop high-integrity real-time applications with Simulink/Stateflow, and who want to decrease their V&V costs on generated source code through qualifiable code generation and tight integration with AdaCore’s verification tools.

SPARK Pro

SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements.