AdaCore joins Safety-Critical Rust Consortium

AdaCore joins Safety-Critical Rust Consortium

Business news |
By Nick Flaherty

Development tool vendor AdaCore has joined the fledgling Safety-Critical Rust Consortium to boost the use of the Rust programming language in key embedded applications.

AdaCore will work alongside the Rust Foundation, ARM, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme, TrustInSoft, Veecle, and Woven by Toyota on developing the group for the use of the Rust programming language in safety-critical systems.

Work under the consortium will begin with the creation of a public charter and goals, and meeting minutes will be published on an ongoing basis. The group will further attempt to coordinate with and expand on existing safety-critical projects and standards including SAE JA1020.

The Safety-Critical Rust Consortium will liaise with the Rust Project through Rust Foundation Project Directors and members of Rust Project teams. The Consortium’s scope, which will be fully delineated in the charter, may include the development of guidelines, linters, libraries, static analysis tools, formal methods, and language subsets to meet industrial and legal requirements. The Consortium’s deliverables will be developed and licensed in a manner compatible with other Rust Project endeavors.

The group may provide grants to existing academic teams or open source FOSS projects. Any Rust Foundation-funded work will be submitted upstream, licensed as FOSS, and any specifications will be freely available.

However Adacore points out that while safety-critical systems rely on languages that emphasize safety and security, such as Rust, programming tools are only one component of the overall strategy. It is also working on the secure avionics using the CHERI architecture, and with operating system developer Lynx on embedded Rust.

“At AdaCore, we focus on industries where safety, security, and reliability are paramount including automotive, aviation, and space. AdaCore has decades of experience serving these industries with Ada, SPARK, and C++. Participating in the Safety-Critical Rust Consortium enables us to leverage our expertise to help the Rust community best position itself to serve the safety-critical community’s needs,” said Tony Aiello, Product Manager at AdaCore,

AdaCore is sponsoring the High Integrity Systems Conference in Cardiff on October 22, 2024.


If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News


Linked Articles