AdaCore
Latest Articles from AdaCore
- Date:
- 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…
Read More- Date:
- Company: AdaCore
AdaCore Announces GNAT Pro for Rust
AdaCore’s flagship development environment enables certifiable high-integrity Rust embedded software development 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…
Read More- Date:
- Company: AdaCore
AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers
Coverity customers can now benefit from AdaCore’s GNAT Static Analysis Suite and Ada expertise to ensure the quality, security, and reliability of their Ada code BRISTOL, UK, December 14th, 2022 – 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…
Read More
- Date:
- 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…
Read More
- Date:
- 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…
Read More
- Date:
- 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…
Read More
- Date:
- 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…
Read More