As safety-critical industries move beyond experimentation and toward production-grade adoption of Rust, 2026 marks a pivotal ...

Lauterbach’s TRACE32 development tool suite fully supports the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications in the fields of avionics, automotive, and defence.

DRIVE AGX Thor and DriveOS are integral components of Nvidia Halos, a comprehensive safety system. Credit: gguy/Shutterstock.com. Nvidia has introduced the DRIVE AGX Thor developer kit for the ...

The merger combines two highly complementary portfolios: AdaCore’s expertise in high-integrity software development for defence, aerospace, rail, and automotive applications, and CodeSecure’s ...

NEW YORK–(BUSINESS WIRE)–AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger ...

High-integrity software tooling specialist AdaCore, has announced the introduction of the Ada and SPARK programming languages into the automotive market. Together with partner Nvidia, AdaCore says it ...

High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together with their partner NVIDIA, ...