Rapita Systems to Showcase Integration of RapiCover Zero and RapiTime Zero with AdaCore’s GNAT Pro for Rust at High Integrity Software Conference
Rapita Systems is gearing up to demonstrate the seamless integration of its zero-instrumentation tools, RapiCover Zero and RapiTime Zero, with AdaCore’s GNAT Pro for Rust at the upcoming High Integrity Software Conference (HISC). This integration will highlight the collection of structural coverage and execution time metrics, including worst-case execution time, during on-target tests of safety-critical Rust code.
The RapiCover Zero and RapiTime Zero tools from Rapita Systems offer support for verifying safety-critical code without the need for instrumentation. This enables organizations to streamline the verification process by conducting tests on final target builds without instrumentation, regardless of the programming languages used in the project.
GNAT Pro for Rust, developed by AdaCore, provides stability, security, and dependability for critical embedded Rust applications. Initially focusing on Ada, a programming language designed for developing safety-critical software, AdaCore has expanded its expertise to include formal verification of SPARK, C, C++, and now Rust. As a member of the Rust Foundation, AdaCore is dedicated to promoting Rust’s success in the safety-critical software domain.
Jose Ruiz, the GNAT Pro Embedded Product Manager at AdaCore, expressed enthusiasm about the ongoing partnership with Rapita, emphasizing the importance of Rapita’s expertise in advancing Rust’s adoption in safety-critical markets. AdaCore looks forward to extending its collaboration with Rapita to encompass Ada, SPARK, and Rust.
The High Integrity Software Conference (HISC) is scheduled to take place on October 22, 2024, at the International Convention Centre (ICC) in Wales. The conference aims to facilitate the exchange of challenges, best practices, and experiences among software engineering professionals, featuring presentations from industry and academic experts on essential techniques applicable across various sectors.
Antoine Colin, CTO at Rapita Systems, expressed excitement about Rust’s emergence as a language for developing safety-critical systems, citing its unique benefits such as memory safety and robust error-handling mechanisms. The collaboration between Rapita and AdaCore aims to provide the necessary compiler and verification tools for Rust-based safety-critical systems.
Edge Computing Market Projected to Reach $378 Billion by 2028
For more insights on edge computing trends, don’t miss the upcoming Edge Computing Expo in Amsterdam, California, and London.
Stay updated on upcoming enterprise technology events and webinars by visiting TechForge’s event page.
