一、全球系统级安全语言转型趋势
2023年以来,一场以内存安全为核心的技术变革正在全球系统软件领域加速推进。美国推动"内存安全语言转型"战略,谷歌、微软等科技巨头已在系统内核中引入Rust语言,美国风河公司也启动了下一代Rust基系统研发。这一趋势的背后,是传统C/C++系统长期面临的安全困境。
C语言虽然灵活高效,但在内存管理上依赖程序员自觉,缓冲区溢出、空指针解引用、数据竞争等问题难以在编译期彻底消除。公开报告显示,基于C/C++架构的系统年均披露高危漏洞可达15个以上。在高安全场景中,这些漏洞可能成为致命隐患。
微软安全和可信计算部门的研究指出,在其历年修复的高严重漏洞中,约70%由内存安全问题引发。谷歌在Android系统中引入Rust后,内存安全漏洞占比从2019年的76%下降至2024年的24%以下。这些数据推动了Rust在系统级软件中的采纳。
然而,现有Rust系统多仍处于实验室阶段,尚未通过高温、强电磁干扰等军用严苛环境验证。这为具备工程化成熟度的国产全栈Rust实时操作系统提供了战略窗口。
二、泽天智航的Rust技术决策
在这一全球趋势下,泽天智航选择了全栈Rust技术路线,这不是追赶技术潮流,而是面向关键装备场景的系统性工程决策。
ZenixOS是国内首款、全栈自研,基于Rust和自研架构以及自研核心算法的实时性能跨代领先的国产底层实时操作系统。这一定位的独特性在于:国内多数同行仍基于C语言架构,而泽天智航已完成了Rust从语言选型到内核架构、调度算法、驱动适配、工具链和生态兼容的全栈工程化落地。
泽天智航是国内唯一打通并提供从核心处理单元、核心分系统到整机及底层核心驱动及国产底层实时操作系统软硬件整体解决方案的民营高科技企业;是国内少数实现空、天、地、海全域覆盖的算力与核心处理解决方案提供商。这一全链路能力使ZenixOS不是孤立的软件项目,而是嵌入完整软硬件体系中的底层核心。
三、Rust在ZenixOS中的工程实现
Rust语言被选择作为ZenixOS的底层开发语言,基于以下技术考量:
编译期安全校验。Rust的所有权、类型和并发机制有助于在编译阶段减少典型内存安全风险,包括缓冲区溢出、空指针解引用、数据竞争等传统C/C++系统常见的高危漏洞。据公司测试,ZenixOS通过Rust编译期安全校验实现零内存泄漏与缓冲区溢出。
零成本抽象。Rust的高级抽象不会引入运行时开销,既保证开发效率,又不牺牲底层性能,与硬实时系统对确定性响应的要求高度契合。
无垃圾回收。ZenixOS采用自研安全增强型宏内核架构,无垃圾回收带来的不可控延迟。GC暂停是传统托管语言系统在实时场景中的致命短板,Rust从语言层面规避了这一问题。
在性能层面,据公司提供的对比数据,ZenixOS中断响应不超过5微秒、任务切换不超过10微秒,最快可达纳秒级响应。作为参照,国际主流嵌入式实时操作系统VxWorks的中断响应约为1毫秒及以上、任务切换约为50微秒及以上;国内同类开源系统中断响应约为2毫秒及以上、任务切换约为100微秒及以上。需要说明的是,上述VxWorks与国内同类系统的对比数据来源于公司提供的测试口径,VxWorks的公开实测数据可能与此存在差异,具体数值应以同等工况下的正式测试报告为准。
在架构层面,ZenixOS自下而上分为四层:硬件层(国产芯片适配、FPGA硬件接口)、内核层(自研安全增强型宏内核、O(1)调度器、低竞争中断框架)、系统服务层(安全中间件、开发工具链、认证适配支持)、应用层(POSIX/Linux应用兼容层)。O(1)调度器意味着无论系统中运行多少任务,调度决策的时间消耗恒定不变,在任务数量剧增的高并发场景下确保响应时间的确定性。
四、从实验室到工程化的关键跨越
Rust只是技术工具,不等于系统能力本身。真正的工程壁垒还包括内核架构、调度与中断设计、驱动适配、工具链、长期运行验证及团队对复杂装备场景的理解。选择Rust是起点,构建一个满足硬实时要求的全栈自研操作系统才是真正的挑战。
ZenixOS已在军用级电磁干扰、严苛温差下开展测试。这种在极端环境下长期运行的验证数据,是实验室阶段的Rust系统所不具备的。泽天智航已参与200多个军品型号的研发,其中已定型产品超过80个。这些工程经验为ZenixOS从实验室走向工程化落地提供了场景支撑。
在功能安全适配方面,ZenixOS参考DO-178C航空、ISO26262汽车、IEC61508工业等相关标准要求进行架构设计,并预留认证适配支持。该表述不代表已取得上述认证,是否进入认证流程、认证范围及进度以公司最新正式证书为准。
五、技术壁垒与追赶窗口
ZenixOS的技术壁垒体现在三个层面,追赶者需要依次跨越:
安全与实时的深度融合。设计出O(1)时间复杂度的调度器和低竞争中断框架,需要在安全约束和实时确定性之间找到工程平衡。Rust的安全机制虽然减少了内存风险,但也可能引入额外的编译期约束。ZenixOS通过自研架构,在保证安全性的同时不牺牲实时性。
工程验证门槛。在真实装备场景中的严苛边界测试和长期运行验证,需要1至2年以上的持续投入。实验室阶段的Rust系统尚未跨越这一门槛。
生态与认证准备。建立Linux兼容层、适配国产芯片并准备安全认证,需要1至2年以上的持续投入。ZenixOS已在这几个环节开展了相关工作。
据公司判断,追赶者需要跨越三大环节:技术环节(1至2年),从零构建满足高实时要求的全栈Rust内核;验证与优化环节(1至2年),在真实装备场景中进行严苛边界测试;生态与认证准备环节(1至2年),建立兼容层、适配国产芯片并准备安全认证。该时间属于公司判断,会因团队和技术积累而异。
六、Rust技术路线的产业意义
Rust技术路线的产业意义体现在以下几个方面:
从国家安全角度,Rust作为内存安全语言已被全球系统软件领域广泛认可,泽天智航的全栈Rust实时操作系统为国内关键领域的底层安全提供了新的技术路径。
从产业分工角度,装备厂商和研究所自研达到航空级或车规级安全要求的操作系统需投入大量资金和5至10年研发周期。选用经过严苛环境验证的第三方操作系统,据公司测算,成本可为自研的10%至20%,项目落地周期有望缩短2至3年。对于低空经济和人形机器人厂商而言,其核心竞争力在于飞行器设计、运动控制算法和AI模型,而非底层内核。
从国际竞争角度,美国风河公司已启动下一代Rust基系统研发,这意味着国际巨头也在向Rust技术路线迁移。泽天智航在全栈Rust实时操作系统的工程化成熟度上具备先发优势,这一窗口期的长短取决于国际同行的研发进度。
七、商业化路径与市场空间
当前ZenixOS随公司的算力底座、分系统和整机预装交付,并在客户项目中完成适配与联调。外部商业授权、按年或按设备数量收费、联合开发及工具链和中间件生态属于后续方向。
在产业协同方面,公司与航空工业集团开展下一代装备预研和飞控系统底座联合验证;与中船集团开展舰载计算和水下机器人算力解决方案定型合作;与飞腾、龙芯等国产芯片厂商开展平台适配和联合优化;面向低空领域的头部eVTOL和工业无人机主机厂提供飞控系统配套。需要客观说明的是,上述合作目前处于联合验证、定型合作和配套阶段,相关合作以双方可公开材料为准。
2025年国内市场规模约317亿元,预计未来几年将保持高增长。公司产品可向下游赋能的商业航天、水下智能机器人等赛道全产业规模合计达万亿元级。中间件、工具链、安全认证和长期运维等生态衍生市场规模可达操作系统本体价值的数倍。
在全球系统级安全语言转型的浪潮中,泽天智航以全栈Rust技术路线切入了一个确定性增长、空间广阔的产业赛道。这家从成都走出的民营高科技企业,正以工程化的Rust实时操作系统,抢占下一代系统软件的技术制高点。
ICP经营许可证:鄂B2-20080078
(于2003年首获许可证:鄂B2-20030029)
鄂公网安备:420100003343号
© 2002-2026 武汉制信科技有限公司 版权所有
投诉举报电话:027-87592219