- Published on
"ASIL D 인증받은 Rust 컴파일러"라는 문장은 사실이지만, 거기서 흔히 유추하는 결론은 사실이 아닙니다. Ferrocene은 컴파일러를 ISO 26262 ASIL D / TCL 3 도구로 자격심사받았고, 이건 "이 도구를 쓰면서 ASIL D 소프트웨어를 개발해도 된다"는 뜻이지 "결과물이 ASIL D"라는 뜻이 아닙니다. 정작 당신 코드가 매 줄 호출하는 core 라이브러리는 별개의 인증이고, 2025년 12월 IEC 61508 SIL 2로 처음 인증된 뒤 2026년 2월 26.02.0에서 ISO 26262 ASIL B가 붙었으며, 2026년 5월 26.05.0에서 core::fmt까지 들어왔습니다 — 하지만 여전히 ASIL B에서 멈춰 있습니다. 이 글은 그 천장의 정체를 Ferrous Systems 자신이 공개 저장소에 적어 둔 norm mapping에서 찾습니다(분기 커버리지 "미적용", MC/DC "미적용", 리소스 사용 평가 "통합자 책임"). 그리고 서브셋 강제 방식이 cfg 해킹에서 콜그래프 린트로 바뀐 과정, 자격심사된 타깃 목록에 RISC-V도 Cortex-M33도 없다는 사실, 여전히 당신 몫으로 남는 의무들, 그리고 언제 이걸 쓰지 말아야 하는지를 정리합니다.