Collaborate Disseminate
AdaCore released its new GNAT Dynamic Analysis Suite – a 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 … Continue reading AdaCore GNAT Dynamic Analysis Suite helps customers build critical software systems
AdaCore announces the acquisition of Componolit, effective as of February 1, 2021.The acquisition of Componolit will provide AdaCore with a further foothold to expand its growing market share in Germany where the requirement for high-assurance software… Continue reading AdaCore acquires Componolit to expand its market share in Germany
AdaCore launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River Helix Virtualization Platform. Offered in separate Ada and C/C++ packages, GNAT Pro enhances Helix Platform’s ability to con… Continue reading AdaCore launches new edition of GNAT Pro to support Wind River Helix Virtualization Platform
The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages used for the embedded computer systems that increasingly made up essential parts of military projects. Instead, Ada was designed …read more
Continue reading Why Ada Is The Language You Want To Be Programming Your Systems With
Code Dx, provider of an award-winning application security management solution that automates and accelerates the discovery, prioritization, and risk management of software vulnerabilities, announced its partnership with AdaCore, a trusted provider of … Continue reading Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool
AdaCore, a trusted provider of software development and verification tools, today announced it is working with NVIDIA to implement Ada and SPARK programming languages for select security-critical firmware used for applications that demand stringent saf… Continue reading AdaCore enhances security-critical firmware with NVIDIA
A while ago, someone brought in a candy machine to AdaCore. Sometime after, [Fabien-Chouteau] was challenged to make it more… fun. So he decided to make it harder to receive candy — you know, to encourage knowledge growth — and discourage overeating of tasty treats.
The dispenser itself is pretty simple. It consists of a hopper containing the candies, a motor with a worm-gear for delivering said candies, and a small IR sensor that detects when you wave your hand underneath (in order to receive those sweet sweet candies).
He decided to leave the system operating as is, and …read more
