Articles from AdaCore

AdaCore, a trusted provider of software development tools and technologies for safety-critical, high-integrity, and secure systems, announces a collaboration with CMU researchers working on Verus, an open-source tool for mathematically proving the correctness of Rust code. The collaboration brings together two thought leaders who share one conviction: for software where failure costs lives, money, or missions, testing is not enough; correctness must be proven.

High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA, they are set to publish an off-the-shelf reference process, allowing others to follow their lead.

For 30 years, AdaCore has provided the essential tools for building reliable, safe, and secure software. Throughout these decades, the Ada programming language and freely licensed open-source software have been integral to AdaCore's mission.

In an age of increasing security breaches and cyberattacks, the need for robust and comprehensive security mechanisms within embedded real-time systems is paramount.

Battery Ventures, a global, technology-focused investment firm, today announced a significant investment in AdaCore, a leader in providing software development tools for safety- and security-critical systems. This strategic partnership will catalyze AdaCore's expansion, positioning the company as the go-to source for high-integrity, software-development tooling.

AdaCore, a trusted provider of software development and verification tools, today announced that TÜV SÜD issued the first ever qualification certificate of a Rust compiler, for use for the development of software applications seeking ISO 26262’s highest certification level, ASIL D. This qualification has been achieved as part of a partnership that concluded earlier this year, in which AdaCore provided instrumental support.

AdaCore, a trusted provider of software development and verification tools, today announced the early-access availability of GNAT Pro for Rust. For the first time, AdaCore’s GNAT Pro subscribers will be able to develop safety- and security-certifiable embedded applications using Rust while benefiting from the stability, security, dependability and support customers have come to expect from AdaCore.

AdaCore, a trusted provider of software development and verification tools, today announced the launch of its new RecordFlux technology, designed to ease the development and security of binary communication protocols. The technology comprises a Domain Specific Language (DSL) to precisely describe complex binary data formats and communication protocols, and a toolset to verify specifications and generate provable SPARK code that can be executed on a target CPU.

AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Foundation, an independent non-profit organization dedicated to stewarding the Rust programming language and ecosystem.

AdaCore, a trusted provider of software development and verification tools, today announced that it is collaborating with Synopsys Software Integrity Group, a leading provider of advanced application security testing tools, to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers.

AdaCore, a trusted provider of software development and verification tools, today announced that the latest version of its signature GNAT Pro Assurance product has introduced a service that helps customers with their vulnerability mitigation strategy for third-party tools. With GNAT Pro Assurance 22, customers can request a detailed list of known problems, each keyed to The MITRE Corporation’s Common Vulnerability Enumeration (CVE) database. Vulnerability reports are provided in machine-readable CVE JSON format as well as human-readable PDF reports. In addition to this information, AdaCore now produces Software Bills of Materials (SBOM). SBOMs are supplied in the industry-standard Software Package Data Exchange (SPDX) format, allowing automated incorporation into customers’ vulnerability management and reporting systems.

AdaCore, a trusted provider of software development and verification tools, today announces the availability of its new GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.

AdaCore, a trusted provider of software development and verification tools, today announces the formation of a strategic partnership with Ferrous Systems, a technology company specializing in the Rust programming language. The collaboration aims to further develop Ferrous Systems' Ferrocene Rust toolchain, to support embedded mission- and safety-critical applications, and to qualify it under relevant industry software safety standards.

AdaCore, a trusted provider of software development and verification tools, today announces that ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions. As part of one of its research and development department projects, ENYSE will use the tool, and the Ada programming language, to build the Radio Block Centre (RBC), a microprocessor-based system that will be the cornerstone of its advanced new rail signaling system.

AdaCore today announced that IHI Corporation of Japan has chosen AdaCore’s QGen Model Verifier, a part of its QGen model-based engineering toolsuite, along with AdaCore’s expert support, to help them develop a safe and reliable autonomous truck system in a cost-effective manner.

AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink®/Stateflow® models, and the new TQL-1 Enterprise Qualification Package, to advance the development of their FAA-certifiable Perigon™ computer, which is designed to support the future flight control and vehicle management needs of commercial and military rotary/fixed wing platforms. By using the TQL-1 release of QGen, Perigon™ software developers are able to save thousands of hours of testing, verification, and certification efforts, while providing additional safety guarantees to their customers. With the adoption of the QGen Enterprise Qualification Package, Collins is now able to streamline its model-based engineering practices.

In accordance with the requirements of railway software safety standard EN 50128:2011, AdaCore has extended the T3 qualification of its GNAT Pro Ada for PowerPC ELF toolchain to include that product’s C compiler. The qualification work was performed for Alstom, an international company specializing in safety-critical railway systems. It was validated by the Independent Safety Assessor CERTIFER. T3 qualification for the C compiler complements the earlier T3 qualification for the toolchain’s Ada compiler. T3 is the highest qualification level in EN 50128.