全栈自主硬核技术：众合科技发布分时分区系统内核——SnanoKernel丨低空企业

在电动垂直起降飞行器（eVTOL）从原型验证走向适航审定的关键阶段，飞控软件的安全性、确定性和可验证性正成为主机厂最核心的能力门槛。今天，众合科技正式发布超轻量强实时分时分区安全微核SnanoKernel。该产品面向航空级高安全场景，基于内核原生架构实现时间与空间分区隔离，为飞控等安全关键软件提供可预测、可验证、可追溯的运行底座。

近年来，低空经济保持稳步发展态势，成果显著。与此同时，电动垂直起降（eVTOL）领域也从缩比、原型验证逐步迈入适航审定攻坚期。作为低空经济破局的最核心要素，适航认证是挡在主机厂面前最大的一道坎，也是eVTOL商业化运营的先决条件。

回顾国内民用航空工业发展历程，商用飞机长期依赖进口配套，最高安全水准的飞控计算机类关键系统设备始终缺乏本土化产业生态的培育基础与发展契机，安全核心技术均被国外寡头垄断。

国际范围内，最高安全等级领域主要包括航空、轨道交通和核电控制系统这三个领域。一旦系统出错，将引发“灾难性”后果。三者的安全技术与方法处于同一层级要求，具备高度同源性（例：多家国际工业寡头均同时布局轨道交通信号系统与航空控制系统业务）。

助力低空经济破局

众合科技深耕轨道交通领域20年，完整经历了地铁信号系统国产替代、自主创新全历程，最终彻底解决了国家在轨交控制系统领域的“卡脖子”问题。众合科技自研系统项目已落地全国31座城市，覆盖84个地铁与市域铁路项目，累计运营里程超过2000公里，实时在线主控设备超过6000套。毫秒级确定性调度、故障边界严格隔离、单点失效绝不扩散的核心安全控制逻辑，已在海量运营场景中得到反复验证。

针对eVTOL用户的分时分区功能需求（可用于基于软件功能的失效分析模型补强，进一步提升安全可靠性指标），现阶段仍普遍依赖于国外操作系统。为了更好地服务行业用户，众合科技基于20年全自主技术积累以及对处理器和操作系统底层技术的深度认知，正式推出：超轻量强实时分时分区安全微核 SnanoKernel。

01 硬件级分区隔离运行

依托处理器核心与MPU内存保护单元原生构建分区隔离机制，为安全关键应用软件提供独立运行空间，支持更轻量的一级调度方式；资源边界由硬件守护，非法访问直接拦截，确保各分区运行互不侵扰。

02 全静态确定性时序调度

内存空间、调度时间表采用全静态化配置，配套周期完整性校验机制，保障分区调度完整可靠；双支路协同调度，结合分时调度全程监控，契合飞控高完整性架构要求。

03 静态受控式分区通信

提供高可靠分区间通信机制，通信通道全静态配置，数据传输路径与权限严格可控，叠加数据完整性保障技术，在满足功能交互的同时，守住分区安全边界，杜绝跨分区非授权数据交互。

04 分区健康管理闭环

覆盖非法访问、异常指令、应用超时等全维度异常监测，异常事件严格约束在对应分区内；内置「故障识别—边界隔离—分区故障处置」全自动处置闭环，单分区故障不扩散、不影响系统整体运行。

内核原生的强确定性实现路径

分时分区（ARINC653）是民航机载安全系统的通用架构标准，核心是通过时间与空间的静态隔离，为安全关键任务划定确定性运行的基线要求。对于飞控这类强实时安全关键场景而言，任务调度的时间刚性、内存资源的边界确定性，直接关系到系统的安全底线。而ARINC653标准并不限定分时分区具体的技术实现路径——实现路径的选择，最终定义了系统确定性的实际上限。

SnanoKernel分时分区微核基于MPU实时域控制处理器，在单核心处理器内核层面直接实现分时分区的时间调度与空间隔离能力。没有中间虚拟化层，无多级地址转换开销，无核间访问延迟，调度逻辑直接运行在处理器上，内存访问边界由MPU硬件级守护，无需额外的中间软件层做中转映射。这种架构有效压缩了调度链路长度，将分区切换时延、运行时序抖动控制在微秒级，时间窗口边界精度更高，减少调度开销与时间抖动，保障飞控关键任务的运行周期精准可控。

在调度架构上，SnanoKernel采用单一层级调度设计，所有分区的时间分配、资源调度统一由微核完成。配合全静态化配置的调度时间表与周期完整性校验机制，系统运行时序完全可预测、可复现，有效保障了安全关键任务的时间刚性边界，规避了多层调度架构下可能出现的时序波动风险。调度机制清晰可控，任务执行时间确定，WCET分析清晰易行。

SnanoKernel面向飞控强实时、高安全场景的定向设计——以可控的技术取舍，换取安全系统最核心的运行确定性，匹配DAL-A/B级机载系统的底层安全要求。

全自研、三方的适航支持

适航的核心，是通过完整、可追溯的工程证据链，证明系统在全生命周期内的安全性。对于DAL-A级安全关键软件来说，完整、精简的系统架构，清晰的逻辑链路，才能支持顺畅的证据链的构建和验证工作。

SnanoKernel采用内核原生的分时分区架构与一级调度设计，软件栈层级少，调度逻辑集中，代码规模可控。这种精简的架构，使得失效影响分析更清晰，测试覆盖工作也更容易完整落地，从底层设计上降低了安全验证的复杂度。

和依托第三方商用组件及现成认证包的实现路径不同，SnanoKernel为自主研发，核心逻辑完全可控，不存在黑盒依赖，也不需要针对第三方中间层做额外的适航适配与补充验证，证据链可从内核到应用实现完整闭环，既能适配国内适航审查的节奏，也为后续机型适配和功能迭代保留了自主空间。

适航认证是一次完整、艰难的系统性证明过程，全栈技术自主、微内核解决核心的分时分区需求，将为这次系统性证明之旅奠定一个坚实的基础。另外，众合科技经历轨道交通安全控制领域自主突破的全过程，亦将坚定不移地为低空经济有效破局贡献自己的智慧和力量。

浙江众合科技股份有限公司

众合科技，前身为1970年成立的浙江大学半导体厂，1999年6月由浙大整合改制并在深交所上市。公司以“技术驱动”为核心，依托“产学研用”协同优势，坚持科技惠民的初心，始终致力于高科技、卡脖子的国家重点战略业务领域。

经过多年的技术升级、产业探索，现已在智慧交通、单晶硅材料制造领域取得领先地位，并作为国内领先的数字化解决方案服务商实现了在交通与能源、健康等行业场景数字化领域的技术与品牌积淀。近年来公司积极向“超级乙方”战略转型，重点拓展低空、低轨卫星等空间信息产业，通过融合“交通+低空”“卫星+A”技术构建跨领域生态平台。