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 MoreAdaCore’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 MoreCoverity 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 MoreBRISTOL, 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 MoreAda 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 MoreThe 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 MoreSoftware 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