Rapita Systems showcases AdaCore’s GNAT Pro for Rust at HISC

Rapita Systems will demonstrate the integration of their RapiCover Zero and RapiTime Zero tools with AdaCore’s GNAT Pro for Rust next week at the High Integrity Software Conference (HISC). The integration will show how structural coverage and execution time metrics, including worst-case execution time, can be collected during on-target tests of safety-critical code written in Rust.

Rapita’s zero-instrumentation tools, including RapiCover Zero and RapiTime Zero, support the verification of safety-critical code without instrumentation. This allows organizations to reduce verification effort by running tests on final target builds without instrumentation, regardless of which programming languages or combination of languages are used in a project. 

GNAT Pro for Rust delivers stability, security, and dependability for critical, embedded Rust applications. AdaCore initially focused on Ada, a state-of-the-art programming language designed specifically for developing long-lived, safety-critical, certified software. Over the years, this focus has extended beyond Ada language to its formally verifiable SPARK subset, C and C++, and now to Rust. AdaCore is a member of the Rust Foundation and is committed to seeing Rust succeed in the safety-critical software sector.

Jose Ruiz is the GNAT Pro Embedded Product Manager at AdaCore, is pleased to continue the partnership with Rapita,

“The journey of Rust to becoming a viable alternative for the safety-critical market requires the involvement of companies with Rapita’s expertise and pedigree. We are thrilled to see Rapita contributing to the Rust ecosystem and excited to expand our long-standing partnership with them to encompass Ada, SPARK, and now Rust.”

The High Integrity Software Conference (HISC) will be held on October 22, 2024, at the International Convention Centre (ICC) in Wales.

The mission of HISC is to share challenges, best practices, and experience between software engineering practitioners. The conference features talks from industrial and academic specialists who disseminate their experience and knowledge of essential techniques and methods applicable across industry sectors.

Antoine Colin, CTO at Rapita Systems, commented on the upcoming event:

”We are excited to see a new language coming into the fold for the development of safety-critical systems, which promises some unique benefits. Rust’s memory safety, combined with strong error-handling mechanisms, ensures system stability and reliability, making it ideal for safety-critical software. We’re delighted that we can work together with AdaCore to bring together compiler and verification tools needed for safety-critical systems using Rust.”