AdaCore Joins Safety-Critical Rust Consortium

AdaCore, a leading provider of software development and verification tools, has announced a groundbreaking collaboration with industry giants to establish the Safety-Critical Rust Consortium. The consortium will focus on advancing the use of the Rust programming language in safety-critical systems, with the aim of enhancing reliability and security in critical applications.

Joining forces with AdaCore in this initiative are esteemed organizations such as the Rust Foundation, ARM, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme, TrustInSoft, Veecle, and Woven by Toyota. This diverse group of stakeholders brings together a wealth of expertise and resources to drive the development and adoption of Rust in safety-critical domains.

Work under the consortium will kick off with the establishment of a public charter outlining the group's mission and objectives. Regular meeting minutes will be made available to the public to ensure transparency and accountability. The consortium aims to collaborate with existing safety-critical projects and standards, such as SAE JA1020, to build upon established best practices.

The Safety-Critical Rust Consortium will serve as a bridge between the Rust Project and industry stakeholders, facilitating communication and collaboration. Through the development of guidelines, linters, libraries, static analysis tools, formal methods, and language subsets, the consortium aims to address the unique requirements of safety-critical systems. All deliverables will be licensed in alignment with Rust Project principles to foster compatibility and interoperability.

In addition to its work with the consortium, AdaCore is actively engaged in other initiatives to enhance safety and security in critical systems. The company is exploring the use of the CHERI architecture for secure avionics and collaborating with Lynx, an operating system developer, on embedded Rust solutions. By leveraging its extensive experience in serving industries such as automotive, aviation, and space, AdaCore is committed to advancing the adoption of safe and reliable technologies.

"At AdaCore, we prioritize industries where safety, security, and reliability are paramount. Our participation in the Safety-Critical Rust Consortium allows us to leverage our expertise in Ada, SPARK, and C++ to support the Rust community in meeting the needs of safety-critical applications," said Tony Aiello, Product Manager at AdaCore.

Furthermore, AdaCore is proud to sponsor the upcoming High Integrity Systems Conference in Cardiff on October 22, 2024. This event will provide a platform for industry leaders, researchers, and practitioners to exchange insights and best practices in developing high-integrity systems. To learn more about AdaCore and its contributions to the safety-critical domain, visit www.adacore.com.