Cimarron Selects AdaCore’s SPARK Pro for AURORA Resilient Space Middleware
Cimarron adopts AdaCore’s SPARK Pro to develop verified control-critical components for a deterministic middleware framework for space applications. NEW YORK
Read more
Software
Copa Airlines Expands Capabilities through Successful Migration to IFS Cloud for Aviation Maintenance (ICAM)
The seamless transition supports more than 130 aircraft and 1,300 users, providing Copa Airlines with greater agility and visibility across
Read more
Simplifying Functional Safety and Security in Aerospace Applications with RISC-V
By: Gerard Vink, Industry Specialist, TASKING and Jay Thomas, Senior Director, Field Engineering, TASKING. Aerospace software keeps getting bigger, and
Read more
AdaCore and CMU Researchers Announce Collaboration around Formal Verification of Rust for High-Integrity Systems
Collaboration combines AdaCore’s three decades of high-integrity software assurance with Verus, a formal verification tool for Rust. AdaCore, a trusted
Read more
Skywise expands its portfolio with the launch of enhanced digital flight training solutions
Skywise, an Airbus digital services company, announces a major expansion of its portfolio, bringing Airbus’ digital flight training solutions, including
Read more
IndiGo selects Skywise Core X3 to power next-generation data analytics at enterprise scale
Indian carrier IndiGo, the largest airline in India and one of the fastest growing carriers in the world, has just
Read more
IFS Launches IFS Intelligence: new way to apply AI to industrial challenges that technology previously could not solve
IFS, the world’s leading provider of Industrial AI software, has launched IFS Intelligence, a new product that collates data from
Read more
AdaCore co-organises and exhibits at the High Integrity Software Conference (HISC) 2026 in Birmingham, UK
AdaCore joins Capgemini and Rapita Systems to organize HISC 2026 at The Vox in Birmingham on 13 October, and will
Read more
TransNusa expands Skywise collaboration to launch Indonesia’s first integrated Flight and Technical Operations
Skywise has announced a significant expansion of its collaboration with TransNusa, signing an agreement to adopt Skywise Core X2 and
Read more
wolfSSL Advances Embedded Security with wolfIP, New Post-Quantum Capabilities and AURIX™ TC4xx Support
wolfSSL has announced three advances for embedded systems: the deterministic wolfIP TCP/IP stack, broader post-quantum support spanning NIST-validated algorithms and
Read more