AdaCore joins Rust Foundation
Paris-based software development tool maker AdaCore has joined the Rust Foundation as a Silver Member.
This follows a deal with Ferrous Systems a year ago to develop a safety-certified toolchain for developers using the Rust language for high reliability embedded projects. It joins ARM, Google, Meta and Amazon Web Services.
- AdaCore teams for safety-critical Rust toolchain
- AdaCore joins RISC-V Foundation
- ARM joins the Rust foundation
AdaCore develops high integrity software development tools and services around the Ada language that is designed specifically for developing long-lived, safety-critical, certified software. Over the years, this focus has extended beyond the Ada language to its formally verifiable SPARK subset, C and C++, and Simulink and Stateflow models.
The Ferrous partnership is currently on track to bring Rust into ASIL-D-level safety critical environments. One of the first outcomes of this work is the publication of a Language Specification document.
“AdaCore is thrilled to join the Rust Foundation,” said Quentin Ochem, Chief Product Officer, AdaCore. “We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language.”
The Ferrocene Rust language specification is at github.com/ferrocene/specification.
www.adacore.com; foundation.rust-lang.org
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
