"Rust is moving closer to wider deployment in industrial and embedded environments now that Ferrous Systems has made a certified subset of the Rust core library available in the latest version of the Ferrocene toolchain. The certification falls under IEC 61508 at SIL2 level. This is a widely used standard in electronics for industrial safety. The core library is crucial for systems that run without a standard library, such as firmware or real-time control software."
"According to The Register, this covers a significant portion of the core functionality. The publication mentions strings, slices, pointer functionality, and commonly used utilities such as Option and Clone, among other things. This selection enables the use of Rust in environments where formal validation of the libraries used is mandatory. The Register also emphasizes that the certified subset is intended for a range of widely used platforms in industrial applications, including x86_64-Linux, QNX Neutrino on both x86_64 and Armv8-A,"
"The Register also outlines how the use of Ferrocene is already visible in concrete industrial projects. Sonair applies the toolchain in acoustic detection and ranging systems for robots running on Arm-based subsystems. Kiteshield is working on a safety platform for mining that uses ultra-wideband technology to prevent collisions between humans and machines. These examples show that Rust is no longer just of theoretical interest in regulated sectors."
Ferrous Systems released a SIL2 (IEC 61508) certified subset of the Rust core library in the Ferrocene toolchain. The certified core covers essential no_std functionality such as strings, slices, pointer operations, and utilities like Option and Clone. Certification provides a validated foundation for firmware and real-time control software that must meet formal safety requirements. Supported deployment targets include x86_64-Linux, QNX Neutrino on x86_64 and Armv8-A, and RTOS variants on Armv7E-M and Armv8-A. Industrial projects using the toolchain include Sonair's robotic acoustic ranging and Kiteshield's mining safety platform using ultra-wideband to prevent collisions. The availability of a certified base library lowers barriers to adopting Rust in regulated sectors where memory safety and formal validation are priorities, reducing reliance on C and C++.
Read at Techzine Global
Unable to calculate read time
Collection
[
|
...
]