Rust core library partly polished for industrial safety spec

"Memory-safe Rust code can now be more broadly applied in devices that require electronic system safety, at least as measured by International Electrotechnical Commission (IEC) standards. The latest update to Ferrocene, an open source Rust compiler toolchain for safety-and mission-critical systems, comes with IEC 61508 (SIL 2) certification for portions of the core library. "Rust is impractical to run in embedded or safety-critical environments without core, and core can't be certified without rigorous validation using toolchains like Ferrocene,""

"Stamping out memory safety bugs has become a priority for those concerned with the security of public and private sector systems. But developing for embedded systems still largely involves the use of C or C++ code, which face memory safety challenges - an issue that a new C/C++ compiler called Fil-C may address. The certification of a portion of the Rust core library has the potential to bring more Rust code to regulated industries."

Portions of the Rust core library in the Ferrocene toolchain received IEC 61508 (SIL 2) certification, enabling deployment of memory-safe Rust in devices requiring electronic system safety. Ferrocene is an open source Rust compiler toolchain targeted at safety- and mission-critical systems. Certification covers parts of core, addressing a previous barrier to using Rust in embedded and safety-critical environments. Memory safety defects are a major security concern in public and private systems. Embedded development still commonly uses C and C++, which face memory safety challenges. The certification may increase Rust adoption in regulated industries and reduce memory-related errors, improving application stability if no new bugs are introduced.

Read at Theregister