AdaCore teams for safety-critical Rust toolchain
嵌入式软件开发人员AdaCore teamin工具g up with Ferrous Systems on a toolchain for the Rust programming language.
The strategic partnership aims to further develop Ferrous Systems’ Ferrocene Rust toolchain for embedded mission- and safety-critical applications, and to qualify it under relevant industry software safety standards.
The use of Rust is growing in industrial applications, but for safety-critical markets, such as automotive, aerospace, and defence, there is currently no safety-certified Rust toolchain. The Ferrocene Partnership will support the qualification requirements for those safety-critical applications.
Berlin-based Ferrous Systems and AdaCore are also looking at safety-certified libraries, including language support (libcore) or additional user libraries, targeting various architectures and operating systems.
The initial work will focus on pure Rust applications, but the long-term aim is to support developers using both languages at the same time. In particular, this will look at the idea of developing bi-directional binding generators and perhaps by developing formally proven and certified libraries in SPARK to be used by both Ada and Rust users.
“For over 25 years, AdaCore has supported the evolving needs of safety and mission-critical industries by investing in new architectures, languages, and technologies. And we believe that there is a need for both Ada and Rust in the safety- and security-critical arena,” said Quentin Ochem, Lead of Product Management and Business Development, AdaCore. “This effort will complement our long-standing Ada commitment while offering an opportunity to extend our expertise in safety-certified toolchains to the growing Rust community.”
“We look forward to working with AdaCore on the development of Ferrocene,” said Florian Gilcher, Managing Director of Ferrous Systems. “Our companies share many similar values, including a desire to support programmers with better languages and tools for safer programming, a commitment to open-source software, and a drive to facilitate software certification. By working together, we can more quickly bring a safety-certified Rust toolchain to the high integrity market.”
Ferrous Systems was founded in 2018 in Berlin to advance the commercial viability of the Rust programming language by providing commercial services and further development of the language. Founding members of Ferrous Systems have been fundamentally involved in the Rust project for over the last seven years.
Ferrous Systems started the Ferrocene project and is focused on providing toolchains and tools for developers to build safety-critical and security-critical software in Rust.
www.adacore.com;www.ferrous-systems.com
Related Rust articles
- ARM joins the Rust foundation
- Rust programming language app runs on IoT SiP
- European tech combines LoRa and cellular for smart farming
Other articles on eeNews Europe
