Rapita embraces Rust via AdaCore partnership

AdaCore is well-known for its support of high-integrity embedded development. When a new language, Rust, emerged and started making claims about memory safety and minimal footprint, it was only a matter of time before it found its way into the AdaCore family.

Rapita Systems is focused on providing ‘safety through quality’ and ensuring that software used in critical systems is of the highest quality and reliability, making the world a safer place. For several years, Rapita has worked with AdaCore and its expertise in the Ada programming language, so using the new Rust capabilities was an obvious next step. Rapita Systems' verification tool suite, RVS,  enables engineers to meet demanding verification requirements and helps to reduce the cost of measuring, optimizing, and verifying the timing performance and test effectiveness of their critical real-time embedded systems.

As embedded systems become more complex, Rapita is evolving its toolchain to incorporate modern programming paradigms while maintaining the stringent requirements of safety-critical domains.
Antoine Colin is CTO at Rapita Systems,

“Rust complements Ada in ways that align perfectly with how we see the future of our tools. With GNAT Pro for Rust, we gain access to an industrial-grade Rust toolchain backed by AdaCore’s expertise and a proven Ada ecosystem.

Where Ada offers unmatched reliability and maturity, Rust brings memory safety and a developer experience that encourages clean, robust code.

GNAT Pro for Rust allows us to integrate both languages into a unified workflow. This empowers our engineering teams to choose the right language for the right task. It will let us evolve our toolchain with the best of both languages, helping us build the next generation of RVS with confidence and agility.”

The adoption of GNAT Pro for Rust is part of Rapita’s long-term strategy to deliver even more powerful and efficient tooling for verification engineers, while staying aligned with the evolving expectations of the embedded software industry.

José Ruiz is the GNAT Pro Embedded Product Manager at AdaCore,

“AdaCore was founded on the belief that software should be dependable and trustworthy even under the most demanding conditions. Rust is a fast-developing language with a vibrant developer community, and GNAT Pro for Rust delivers stability, reliability, and security for critical, embedded Rust applications. The AdaCore team is excited by the work Rapita is doing with their integration of Ada and Rust, and we look forward to seeing their updated solutions.”