Sealed Rust: A plan to bring Rust to safety critical software domains

This is the first post in a series detailing Ferrous System’s plan to qualify the Rust Language and Compiler for use in the Safety Critical domain. Although Rust as a language has been stable since 2015, use of a programming language and compiler within projects that have safety critical demands, such as Automotive, Industrial, or Avionics, requires a higher bar of entry than the Rust compiler can offer today. We believe that this is a process that will take a significant amount of time and effort to see realized, but something we choose to do for the long term value we believe this will provide to both the Rust Programming Language, as well as industries developing safety critical software.

Source: ferrous-systems.com