Ferrous Systems与AdaCore合作制定并更新了Rust的FLS1文档，该文档已用于安全关键行业的工具链资格认证。Rust项目决定将FLS纳入规范工作，以更好地满足行业需求。感谢Ferrous Systems和Rust基金会的支持，未来将继续改进FLS和参考文档。