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.

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.

AdaCore announced that HITACHI Rail STS has selected AdaCore's GNAT Pro software development environment for the modernization of its CSD rail safety platform.

The Ada language abstracts most direct interaction with memory onto compilers, transitioning things like memory checks from a manual human operation to automatic. Get ready to save tons of debug time.

Formal methods help JTEKT reduce development and verification costs for safe autonomous driving systems.

A variety of unique submissions demonstrate the ease of learning and using Ada and SPARK in embedded applications.