分时分区操作系统
分时分区
空间隔离，保证分区代码和数据安全；时间隔离，确保每个分区有独立运行时间；防止错误蔓延，简化验证，降低适航成本。
%20--%3e%3csvg%20version='1.1'%20id='图层_1'%20xmlns='http://www.w3.org/2000/svg'%20xmlns:xlink='http://www.w3.org/1999/xlink'%20x='0px'%20y='0px'%20viewBox='0%200%20104%20104'%20style='enable-background:new%200%200%20104%20104;'%20xml:space='preserve'%3e%3cstyle%20type='text/css'%3e%20.st0{opacity:0.5;enable-background:new%20;}%20.st1{fill:%236C7485;}%20.st2{opacity:0.9;fill:%236C7485;enable-background:new%20;}%20.st3{opacity:0.9;fill:%236C7485;stroke:%236C7485;enable-background:new%20;}%20%3c/style%3e%3cg%20class='st0'%3e%3cpath%20class='st1'%20d='M52,95C28.3,95,9,75.7,9,52S28.3,9,52,9c23.7,0,43,19.3,43,43S75.7,95,52,95z%20M52,11c-22.6,0-41,18.4-41,41%20c0,22.6,18.4,41,41,41s41-18.4,41-41C93,29.4,74.6,11,52,11z'/%3e%3c/g%3e%3cg%20class='st0'%3e%3cpath%20class='st1'%20d='M52,70c-9.9,0-18-8.1-18-18s8.1-18,18-18c9.9,0,18,8.1,18,18S61.9,70,52,70z%20M52,36c-8.8,0-16,7.2-16,16%20c0,8.8,7.2,16,16,16s16-7.2,16-16C68,43.2,60.8,36,52,36z'/%3e%3c/g%3e%3ccircle%20class='st2'%20cx='52'%20cy='52'%20r='5'/%3e%3ccircle%20class='st3'%20cx='36'%20cy='91'%20r='4.5'/%3e%3ccircle%20class='st3'%20cx='93'%20cy='43'%20r='4.5'/%3e%3ccircle%20class='st3'%20cx='24'%20cy='20'%20r='4.5'/%3e%3c/svg%3e)
系统确定
分区严格按预设时间窗口运行；基于优先级抢占式调度，调度时间确定；开发阶段预分配资源，避免不确定性开销。
%20--%3e%3csvg%20version='1.1'%20id='图层_1'%20xmlns='http://www.w3.org/2000/svg'%20xmlns:xlink='http://www.w3.org/1999/xlink'%20x='0px'%20y='0px'%20viewBox='0%200%20104%20104'%20style='enable-background:new%200%200%20104%20104;'%20xml:space='preserve'%3e%3cstyle%20type='text/css'%3e%20.st0{opacity:0.8;enable-background:new%20;}%20.st1{fill:%236C7485;}%20.st2{opacity:0.4;fill-rule:evenodd;clip-rule:evenodd;fill:%236C7485;enable-background:new%20;}%20%3c/style%3e%3cg%20class='st0'%3e%3cpath%20class='st1'%20d='M87,83.6H17.1L52,15L87,83.6z%20M20.3,81.6h63.4L52,19.4L20.3,81.6z'/%3e%3c/g%3e%3cpath%20class='st2'%20d='M53,51.5c2.3,0.5,4,2.5,4,4.9c0,0.9-0.2,1.7-0.6,2.4L87,83.5L85.7,85L55.1,60.3c-0.8,0.7-1.9,1.1-3.1,1.1%20c-1.2,0-2.3-0.4-3.2-1.1L18.2,85l-1.3-1.6l30.7-24.8C47.2,58,47,57.3,47,56.4c0-2.4,1.7-4.4,4-4.9V17.3h2V51.5z'/%3e%3ccircle%20class='st1'%20cx='52'%20cy='18'%20r='5'/%3e%3ccircle%20class='st1'%20cx='18'%20cy='83'%20r='5'/%3e%3ccircle%20class='st1'%20cx='86'%20cy='83'%20r='5'/%3e%3c/svg%3e)
符合 ARINC 653 标准
ARINC 653 P1-5 全符合；ARINC 653 P2-4 核心功能全符合；ARINC 653 P3A、P3B 全符合。
%20--%3e%3csvg%20version='1.1'%20id='图层_1'%20xmlns='http://www.w3.org/2000/svg'%20xmlns:xlink='http://www.w3.org/1999/xlink'%20x='0px'%20y='0px'%20viewBox='0%200%20104%20104'%20style='enable-background:new%200%200%20104%20104;'%20xml:space='preserve'%3e%3cstyle%20type='text/css'%3e%20.st0{opacity:0.5;enable-background:new%20;}%20.st1{fill:%236C7485;}%20.st2{opacity:0.9;fill-rule:evenodd;clip-rule:evenodd;fill:%236C7485;enable-background:new%20;}%20.st3{opacity:0.5;fill-rule:evenodd;clip-rule:evenodd;fill:%236C7485;enable-background:new%20;}%20%3c/style%3e%3cg%20class='st0'%3e%3cpath%20class='st1'%20d='M51.5,93L14,73V31l37.5-20L89,31v42l-0.5,0.3L51.5,93z%20M16,71.8l35.5,18.9L87,71.8V32.2L51.5,13.3L16,32.2%20V71.8z'/%3e%3c/g%3e%3cpath%20class='st2'%20d='M85.1,31.2l1.9,1v0.2L53,50.7v39.2l-1.5,0.8L51,90.5V50.1v-0.6l0.5-0.3L85.1,31.2z%20M59.9,17.8l2.1,1.1L27,37.6%20v40.1l-2-1.1V37v-0.6l0.5-0.3L59.9,17.8z'/%3e%3cpath%20class='st3'%20d='M39,84.1V43.6l34.7-18.5L71.6,24l-34,18.2L37,42.4V43v40L39,84.1z'/%3e%3cpolygon%20class='st1'%20points='67,56%2067,72%2077,66%2077,50%20'/%3e%3c/svg%3e)
功能丰富
功能完善的集成开发环境；支持多种调试手段；丰富的系统功能。
%20--%3e%3csvg%20version='1.1'%20id='图层_1'%20xmlns='http://www.w3.org/2000/svg'%20xmlns:xlink='http://www.w3.org/1999/xlink'%20x='0px'%20y='0px'%20viewBox='0%200%20104%20104'%20style='enable-background:new%200%200%20104%20104;'%20xml:space='preserve'%3e%3cstyle%20type='text/css'%3e%20.st0{opacity:0.9;enable-background:new%20;}%20.st1{fill:%236C7485;}%20.st2{opacity:0.9;fill:%236C7485;enable-background:new%20;}%20.st3{opacity:0.5;enable-background:new%20;}%20.st4{opacity:0.7;enable-background:new%20;}%20%3c/style%3e%3cg%20class='st0'%3e%3cpath%20class='st1'%20d='M52,57.8c-0.3,0-0.7-0.1-1-0.3L16,37.7c-0.6-0.4-1-1-1-1.7c0-0.7,0.4-1.4,1-1.7l35-19.9c0.6-0.3,1.4-0.3,2,0%20l35,19.9c0.6,0.4,1,1,1,1.7c0,0.7-0.4,1.4-1,1.7L53,57.6C52.7,57.8,52.3,57.8,52,57.8z%20M52,16.1L17,36l35,19.9L87,36L52,16.1z'/%3e%3c/g%3e%3cpath%20class='st2'%20d='M51.5,30.3c0.3-0.2,0.7-0.2,1,0l8.9,4.9c0.7,0.4,0.7,1.4,0,1.8l-8.9,4.9c-0.3,0.2-0.7,0.2-1,0l-8.9-4.9%20c-0.7-0.4-0.7-1.4,0-1.8L51.5,30.3z'/%3e%3cg%20class='st3'%3e%3cpath%20class='st1'%20d='M52,73.8c-0.3,0-0.7-0.1-1-0.3L16,53.7c-0.6-0.4-1-1-1-1.7c0-0.7,0.4-1.4,1-1.7l7.7-4.4l1,1.7L17,52l35,19.9%20L87,52l-7.7-4.4l1-1.7l7.7,4.4c0.6,0.4,1,1,1,1.7c0,0.7-0.4,1.4-1,1.7L53,73.6C52.7,73.8,52.3,73.8,52,73.8z'/%3e%3c/g%3e%3cg%20class='st4'%3e%3cpath%20class='st1'%20d='M52,90.1c-0.3,0-0.7-0.1-1-0.3L16,70c-0.6-0.4-1-1-1-1.7c0-0.7,0.4-1.4,1-1.7l7.7-4.4l1,1.7L17,68.3l35,19.8%20l35-19.9l-7.7-4.4l1-1.7l7.7,4.4c0.6,0.4,1,1,1,1.7c0,0.7-0.4,1.4-1,1.7L53,89.8C52.7,90,52.3,90.1,52,90.1z'/%3e%3c/g%3e%3c/svg%3e)
系统架构图
安全可靠的操作系统
分时分区
- 内核资源配额，严禁动态分配
- 严格按照配置时间窗进行分区调度
- 分区应用代码运行在 CPU 用户态，通过系统调用（syscall）访问内核资源
- 利用 MMU 实现分区地址空间相互隔离
Safety-Critical
- 充分利用 CPU 不同的特权态，保护内核不被应用破坏
- 利用 MMU 实现分区地址空间相互隔离，分区影响范围最小化
- 全面接管 CPU 异常，支持自定义异常处理策略
可调度性分析
- 编译阶段检查分区的可调度性
- 确定状态输入导致确定结果
- 分区运行模式，进程状态和标准保持完全一致
调度确定性
- µs 级中断响应延迟，支持中断嵌套
- 基于优先级抢占式调度，调度时间确定
- 支持同优先级进程先来先服务 FIFO 调度
- 互斥量优先级天花板，防止优先级翻转
- 分区切换零损耗
- 采用 VCPU，提高分区切换时间确定性
便捷的开发体验
分离开发
- 平台提供商、系统集成商、应用提供商分离开发
- 操作系统与配置、分区应用独立升级
- 配置数据和分区镜像可独立烧写
- 分区应用使用相同虚拟地址空间，一次编译，多处运行
- 分区独立升级替换，不影响其它分区
RealEvo-Matrix653
了解更多- 图形化工程管理
- 串口多分区复用
- 高效的源代码编辑器
- 多分区调试
- 多种工程模板
- RealEvo-Compiler 编译器
- 代码静态检查
- RealEvo-Simulator 仿真器
- XML 配置编辑工具
高效丰富的功能
- 内核实现高效简洁
- 完备的进程间通信机制：信号量、互斥量 、事件、黑板、缓冲器等
- 完备的分区间通信机制：采样端口、队列端口、服务接入点
- 支持动态装载，支持多分区
- 内存块管理、中断服务、多模块调度计划表、健康监控
- IO 系统、文件系统
- 最新标准支持 ARINC 653 P1-5、P2-4
标准化层次化的设计思路
ARINC 653 规范支持
- ARINC 653 P1-5 全符合
- ARINC 653 P3A 规范符合性测试
- ARINC 653 P2-4 多调度计划，内存块，文件系统，中断服务，队列端口链表，采样端口扩展等
- ARINC 653 P3B 规范符合性测试
高质量
- 分层模块化设计，逻辑清晰
- 符合 MISRA C 2012 编程规范
- 通过 ARINC 653 P3A，P3B 测试
- 可通过 DO-178C 认证
软硬件生态
多核支持
- 支持 ARINC 653 P1-5 多核调度
- 每个核有独立调度计划表，更灵活
- 分区空闲时 CPU 运行系统分区进程
- 支持 BMP，CACHE 一致性
多处理器支持
- 支持 ARM64 和 PPC 架构
- 提供各类主流处理器支持
咨询流程
01
需求咨询
提交相关需求，描述需求背景
02
初步沟通
需求答疑，对齐核心诉求，确定合作意向
03
方案交流
针对相关方案进行线上或线下的交流探讨
04
商务流程
方案确定后，开始执行商务流程