AdaCore

• Date: 10/01/2025
• Company: AdaCore

AdaCore-led effort brings a practical approach to verifying FACE® conformance for Ada Software.

A major milestone for Ada and the FACE community was reached this past Autumn when the FACE Consortium formally approved a proposed approach to FACE conformance verification for Ada software.

A major milestone for Ada and the FACE community was reached this past Autumn when the FACE Consortium formally approved a proposed approach to FACE conformance verification for Ada software. Performed under the auspices of the Operating Systems Subcommittee of the FACE Consortium’s Technical Working Group, this effort was led by AdaCore’s FACE team comprising Ben Brosgol, Dudrey Smith, Michael…

• Date: 16/07/2024
• Company: AdaCore

Celebrating 30 years of AdaCore

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. CEO and AdaCore co-founder Franco Gasperoni takes pride in the company's association with Ada and its Ada 95 pioneers, such as Tucker Taft and the late…

• Date: 11/06/2024
• Company: AdaCore

AdaCore Research Proves Novel Solution for "Security by Default."

In an age of increasing security breaches and cyberattacks, the need for robust and comprehensive security mechanisms within embedded real-time systems is paramount. Through its research, AdaCore (https://www.adacore.com/) has demonstrated how combining memory-safe hardware with memory-safe software results in a mutualistic layered approach to security and increases the assurance of embedded…

• Date: 28/03/2024
• Company: AdaCore

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development

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. Founded three decades ago,…

• Date: 15/09/2023
• Company: AdaCore

Digital Security by Design driving investment in the automotive sector and embedded systems

The Digital Security by Design (DSbD) programme from UK Research and Innovation (UKRI) is transforming digital technology and creating a more resilient, and secure foundation for a safer future. DSbD announces £1.2m funding for a Thales UK led consortium demonstrator project called RESAuto which is investigating the potential impacts of new technology on safety and privacy. A further £993k…

• Date: 19/07/2022
• Company: AdaCore

Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defence system

BRISTOL, UK, July 19th, 2022 – AdaCore, a trusted provider of software development and verification tools, today announced that Rheinmetall Air Defence, one of the world's foremost makers of advanced air defence systems, is extending its use of AdaCore tools and the Ada programming language. Rheinmetall's Air Defence product range includes cannons, radar and sensor trackers, fire control…

• Date: 16/03/2022
• Company: AdaCore

AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support

Ada toolsuite helps projects track and mitigate product vulnerabilities

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…

• Date: 23/02/2022
• Company: AdaCore

AdaCore Launches GNAT Dynamic Analysis Suite

The most comprehensive code coverage, analysis, and testing tool package available for Ada users

BRISTOL, UK, February 22nd, 2022 –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.  “From decades of…

• Date: 30/07/2021
• Company: AdaCore

Increase Military Software Innovation and Longevity through Reuse

Software is a critical element in almost any military application and can be a differentiator that provides strategic and tactical advantages on the battlefield. However, it also has to meet set challenges – it has to be long-lived, reliable, and easily maintainable to match the longevity of the military platform on which it is deployed. That means it has to account for both innovation and…