翼辉信息依托在嵌入式操作系统领域十几年的技术积累,结合安全关键领域(Safety-Critical)对操作系统在容错安全和信息安全方面的需求,正式推出全新的Matrix653操作系统产品。Matrix653是符合ARINC653标准的微内核操作系统。用户使用Matrix653操作系统可以快速搭建出符合航电系统SWaP(Size Weight and Power)设计约束,适合于行业标准的稳定、高效、可移植的软件系统。
为了利用硬件多核的运算能力,Matrix653 提供对多核的支持。在最大限度的利用硬件功能的同时,也保证分时分区特性,以及系统运行的可预测性。其技术方案架构图如下所示:
上图中横轴表示时间,纵轴表示 CPU 核心。每一个核心上面绑定一个分区列表。它们之间是一一对应的,即一个核心对应一个分区列表,对应关系在开发阶段进行配置,每个核心的分区数目可以根据用户的需要自定义。分区配置信息包括像时间窗口、分区内进程数量以及分区运行的核心 ID 等参数。在系统运行过程中,分区配置信息一旦初始化,便不可更改。由于分区有独立的地址空间,这保证了分区之间的内存是不能互相访问的。同时也保证某个核心上发生错误不会影响其他核心正常运转,这也体现了分时分区机制的容错安全。