Rapita Systems is set to showcase the seamless integration of RapiCover Zero and RapiTime Zero tools with AdaCore’s GNAT Pro for Rust at the upcoming High Integrity Software Conference (HISC). This integration will demonstrate the collection of structural coverage and execution time metrics, including worst-case execution time, during on-target tests of safety-critical Rust code.
Rapita’s zero-instrumentation tools, RapiCover Zero and RapiTime Zero, enable the verification of safety-critical code without the use of instrumentation. This approach allows organizations to streamline verification efforts by conducting tests on final target builds without the need for instrumentation, irrespective of the programming languages utilized in a project.
GNAT Pro for Rust provides stability, security, and dependability for critical embedded Rust applications. Initially focusing on Ada, a specialized language for developing certified software, AdaCore has expanded its offerings to include Rust, demonstrating a commitment to advancing safety-critical software development in the industry.
Jose Ruiz, the GNAT Pro Embedded Product Manager at AdaCore, expressed enthusiasm for the partnership with Rapita, emphasizing the significance of Rapita’s expertise in propelling Rust into the safety-critical market. The collaboration aims to enhance the capabilities of Ada, SPARK, and Rust for developing robust and secure software solutions.
The High Integrity Software Conference (HISC) is scheduled for October 22, 2024, at the International Convention Centre (ICC) in Wales. The conference serves as a platform for software engineering practitioners to exchange insights, best practices, and experiences, with a focus on essential techniques applicable across various industry sectors.
Antoine Colin, CTO at Rapita Systems, highlighted the significance of Rust’s entry into the realm of safety-critical systems development, emphasizing 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 developing safety-critical systems using Rust.
See also: Edge computing market set to surge to $378 billion by 2028
For more insights on edge computing from industry experts, explore the upcoming Edge Computing Expo events in Amsterdam, California, and London.
Discover a range of enterprise technology events and webinars powered by TechForge here.
