AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing safety-critical applications with Ada. Both companies will showcase their software solutions at the Army Aviation Mission Solutions Summit (“QuadA”) conference and exposition in Nashville, Tennessee, May 14-16. AdaCore and Lynx solutions are used in hundreds of military and aerospace programs worldwide.

AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, they have supported and provided open-source toolchains for languages relevant to the safety-critical space, including Ada/SPARK, C/C++, and Rust. Lynx delivers scalable, safe, secure, resilient, and certifiable platform software solutions for edge computing solutions used in the aerospace, defense, automotive, medical, and commercial sectors. Developers can combine Ada's strong safety and reliability guarantees with the Lynx MOSA.ic software platform to deliver robust platforms certifiable to DO-178C DAL A, an aerospace standard that is widely regarded as one of the highest levels of safety certification in the world.

AdaCore provides a comprehensive suite of toolchains for developing Ada software on the Lynx MOSA.ic platform. AdaCore's software integrates seamlessly with Lynx’s safety-critical RTOS to deliver high efficiency and predictability while ensuring smooth, transparent system integration. Leveraging decades of expertise with modular open architecture technologies, Lynx empowers organizations to develop and deploy advanced real-time platforms that meet the highest performance, safety, and security standards. Both organizations support Arm, PowerPC, and x86 architectures.

To support the long-term stability required for mission-critical projects, AdaCore offers sustained branches for GNAT Pro for MOSA.ic that provide controlled evolution of the toolchain. These branches focus exclusively on critical issue resolution, minimizing disruptions, avoiding unnecessary changes, and ensuring a stable and predictable development environment. Complementing these capabilities are a comprehensive set of tools that support every stage of the software lifecycle. From static analysis and formal verification to debugging, testing, and coverage analysis, GNAT Pro equips development teams with everything needed to ensure the quality, safety, and security of Ada applications running on Lynx MOSA.ic.

“The ever-increasing safety and security requirements on software require dedicated companies, both from the platform standpoint and the tooling one,” said Quentin Ochem, Chief Product and Revenue Officer at AdaCore. “We are privileged to have the ability to join the capabilities of our safety-critical languages and the LynxOS MOSA.ic platform to provide a full environment for one of the most demanding standards of the industry.”

“Designed specifically for safety-critical environments, the Lynx and AdaCore platforms place a premium on safety, reliability, and maintainability – priorities that matter deeply to both our companies and our aerospace and defense customers, said Michel Genard, Chief Product Officer at Lynx Software Technologies. “We’re proud to continue our collaboration with AdaCore in delivering integrated solutions that advance the mission-critical edge.”