安全关键系统中 Rust 认证的深度工程实践：从 ISO 26262 ASIL-D 到 DO-178C DAL-A Rust如何进入安全关键系统领域：Ferrocene编译器认证、Rust-C FFI安全边界设计、Kani/Verus形式化验证实战、ISO 26262/DO-178C认证工程实践全解析 Rust编程 2026年10月03日 0 点赞 0 评论 21 浏览
Rust 进军安全关键系统：AUTOSAR Adaptive 与 ISO 26262 的嵌入式 Rust 工程实践 深入分析 Rust 在安全关键汽车电子系统中的工程实践，涵盖 AUTOSAR Adaptive 平台集成、RTIC 实时并发框架、CXX FFI 互操作、ISO 26262 认证路径与 Diagnostics 协议栈的完整实现。 Rust编程 2026年10月04日 0 点赞 0 评论 13 浏览
