AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

Please find our booth in Gather.Town and join us for a conversation and networking:

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

• The GNAT Pro development environment, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro supports Ada (all versions of the language standard) and also for C and C++, and is available for a wide range of embedded target platforms including several RTOSes as well as bare metal.

• The CWE-Compatible CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect errors both during development and retrospectively on existing software. CodePeer can detect buffer overrun, integer overflow, and many other software errors” listed in the MITRE Corporation’s Common Weakness Enumeration (CWE)

• The SPARK Pro verification environment, a toolset providing full formal verification oriented toward high-assurance systems with stringent safety and/or security requirements. With SPARK Pro, developers can demonstrate critical program properties, such as correct information flows and absence of run-time errors, with mathematics-based assurance.

• The QGen model-based development tool suite for safety-critical control systems. QGen provides a qualifiable and customizable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, along with a model-level debugger.

• The GNATcoverage all-in-one code coverage analysis and reporting tool. GNATcoverage helps assess a testing campaign’s completeness by providing sound analysis and evidence that all of the code under test, even if only executed under rare conditions, has been sufficiently exercised during testing. The tool can analyze source code coverage with respect to any of the criteria specified in the DO-178C airborne software standard: statement coverage, decision coverage, or Modified Condition / Decision Coverage (MC/DC).