MENU

AdaCore joins Rust Foundation

AdaCore joins Rust Foundation

Business news |
By Nick Flaherty



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 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 :    eeNews on Google News

Share:

Linked Articles
10s