New York, NY 10001 [email protected]
+1 212 620 7300
With time to market pressures constantly increasing, technology organizations are moving away from traditional waterfall development workflows and towards Agile/DevOps software development practices.
Static analysis tools are widely used in safety- and security-critical applications as a means of finding and remediating coding errors. In fact, they are the de facto software testing tool in these industries.
AdaCore announced the acquisition of Componolit GmbH, effective as of February 1, 2021
As part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the long list of open bugs automatically reported by the fuzzing robot syzbot that are still waiting for a fix.
Consafe Logistics Selects AdaCore?s GNAT Pro for Critical Warehouse Control System Firmware - Press ReleaseDecember 10, 2020
Enables stability, security and safety when controlling complex automated warehouse solutions.
New development toolsuite provides consistency across guest operating systems and is designed to enhance project productivity.
HITACHI Rail STS Chooses AdaCore's GNAT Pro Software Development Environment for New Rail Safety Platform - Press ReleaseOctober 14, 2020
AdaCore announced that HITACHI Rail STS has selected AdaCore's GNAT Pro software development environment for the modernization of its CSD rail safety platform.