标签: #ferrocene
关于 GPU、LLM、MLOps、Kubernetes 以及心态的文章 · 1 篇
Ferrocene 通过认证的 core — 编译器是 ASIL D，库为什么却止步于 ASIL B
"Ferrocene 的 Rust 编译器已通过 ASIL D 认证"这句话本身没错，但人们通常从中得出的结论并不成立。Ferrocene 把编译器作为 ISO 26262 ASIL D / TCL 3 的"工具"通过了资格认定，这意味着"可以在使用这个工具的前提下开发 ASIL D 软件"，而不是"产出物就是 ASIL D"。真正被你的代码每一行都调用的 core 库，走的是另一套独立认证：2025 年 12 月先以 IEC 6150
2026-07-16 · 37 分钟阅读 #embedded#rust#ferrocene#safety#systems