AdaCore is excited to announce its participation in the SCHEME research project. Rolls-Royce has assembled a world-class consortium of UK
Read more
D-RisQ, an established high-tech company based in Malvern, Worcestershire, is delighted to announce the launch of its D-RisQ Toolsuite at
Read more
General Atomics Aeronautical Systems, Inc. flew a company-owned MQ-9B SkyGuardian® Remotely Piloted Aircraft on July 15, 2024, with a PT6
Read more
The European Union Aviation Safety Agency (EASA) has published Revision from July 2024 of the Easy Access Rules for Unmanned
Read more
This year, the High Integrity Software Conference (HISC) will move to a new, larger venue, the International Convention Centre (ICC)
Read more
Thales received the first full DVR ever granted by EASA to operate light UAS in medium risk, SAIL III. This
Read more
Ben Brosgol at AdaCore Informally, memory safety in a program means that each data access is well behaved, i.e., is
Read more
Largest Portfolio of PXI Digital I/O Modules Pickering Interfaces, a leading provider of modular signal switching and simulation products for
Read more
Airbus Helicopters has launched the flight test campaign for the prototype of the NH90 Standard 2. This standard is one
Read more
AdaCore https://www.adacore.com/ is thrilled to be part of the Safety-Critical Rust Consortium alongside The Rust Foundation, Arm, Ferrous Systems, OxidOS,
Read more