ferrocene
Rust for critical systems, enabling engineers to ship safe and correct code, faster.
Rustをクリティカルなシステムで使える認証プログラム？
クリティカルなシステムは車とか飛行機とか
Ferrous Systemというところが作っている
公式ページ:
Ferrous Systems
Ferrocene 23.06のリリースで
ISO 26262
(ASIL D)を達成
IEC 61508
(SIL 4)を達成
安全度水準(SIL)
Rust 1.68
ベース
関連
DO-178C
ISO 21434
IEC 62278
#Rust