今天内存代码安全依旧可能让认证工作困难重重，Rust能够在软件运行之前就消除一整类内存缺陷，这一点意义重大，但内存安全并不代表软件就可以通过认证。
我从事飞行软件相关工作，在这个领域，证明代码能够正常运行，其重要性不亚于写出正确的代码。以DO-178C A级标准为例：你可以写出一份内存安全无懈可击的Rust程序，不存在野指针、缓冲区溢出、释放后复用等问题，但依旧会遇到瓶颈。验证流程必须实现修正判定条件覆盖（MC/DC），也就是要证明判定中的每一个条件都能够独立影响判定结果。
在2025年末之前，具备资质的Rust工具链仅能支持最高到DAL C级别的认证工作，缺少MC/DC相关工具是主要原因。试想一下：一门初衷就是用来防范大量缺陷的编程语言，却无法提供在航空电子最高保障等级下证明合规性所需的配套工具。
AdaCore在2025年末推出了Rust的MC/DC支持能力，目前正与Rust基金会合作，把这项能力整合进主流编译器，这是一项进展。但问题远比代码覆盖率更深：编译器会生成你没有手写的指令，运行时库会引入你可能永远不会检查的代码，每一个依赖项都会带来新的保障验证问题。即便源码语言具备内存安全特性，这些问题也不会自动消失。如果只看中一门语言能规避哪些缺陷，却忽略后续需要出具的验证证明材料，这就是一个误区。编程语言、编译器、运行时环境以及验证工具，应当作为一个整体工程方案来考量，而不是割裂成四个独立选项。在为安全关键型嵌入式软件选型时，我们是否投入了足够精力去评估后续的验证实现方案？
美国知名独立嵌入式软件顾问、讲师、作家，在MCU、RTOS、固件工程圈影响力很大，最近工作与Zephyr、嵌入式TinyML、固件工程和安全高度相关。
SAFERTOS复用FreeRTOS API模型，独立按照安全生命周期重新开发，是验证的确定性安全RTOS；面向航空航电DO‑178C DAL A，配套专门的Aerospace DAP（Design Assurance Pack）详情阅读原文。
麦克泰技术是SAFERTOS在中国的合作伙伴和代理商，具有超过30年嵌入式实时操作系统的市场、服务和培训经验，积极推进预认证的功能安全RTOS在汽车、工业和航空航天领域的应用，联系info@bmrtech.com。
贝尼思淘宝店FreeRTOS和RISC-V学习套件双十一特惠来啦！！！
欢迎关注微信公众号【麦克泰技术】，回复 “加群” 按提示可加入技术交流群
产品咨询：
北京：010-62975900
上海：021-62127690
深圳：0755-82977971
分享、在看与点赞，至少我要拥有一个吧
关于科技区角：国内科技展会垂直内容策划服务商，提供从论坛内容全案策划、会展市场化IP打造到精准专业观众一站式邀约服务，以产业内容吸引高质量B端人群，打通展会从议题设计、演讲嘉宾邀约、宣传预热、精准邀观到供需对接全链路。
