公开(公告)号：CN110471647A

公开(公告)日：2019-11-19

申请号：CN201910743938.5

申请日：2019-08-13

Applicant: 上海航天计算机技术研究所

Inventor： 白亮 ,  双小川 ,  芮晔 ,  章泉源 ,  田文波 ,  张洁

IPC: G06F8/20 ,  G06F9/4401

Abstract: 本发明公开了基于微内核架构的嵌入式分区操作系统及其设计方法，该设计方法包括：第一步骤：系统整体设计，规划整个操作系统的架构，对微内核应具备的功能提出要求，对微内核与分区之间的应用程序接口做出规定，明确分区所承担的功能；第二步骤：微内核架构设计，对微内核的结构做出详细说明，细分出各个模块并标定功能；第三步骤：分区设计，设定分区的详细结构。本发明利用微内核提升嵌入式分区操作系统的实时性，通过最简化内核功能，保留基本资源，以最低的开销，保证实时调度策略和系统调用的确定性，从而实现分区间的高效通信和快速上下文切换。

公开(公告)号：CN110471647B

公开(公告)日：2023-10-03

申请号：CN201910743938.5

申请日：2019-08-13

Applicant: 上海航天计算机技术研究所

Inventor： 白亮 ,  双小川 ,  芮晔 ,  章泉源 ,  田文波 ,  张洁

IPC: G06F8/20 ,  G06F9/4401

Abstract: 本发明公开了基于微内核架构的嵌入式分区操作系统及其设计方法，该设计方法包括：第一步骤：系统整体设计，规划整个操作系统的架构，对微内核应具备的功能提出要求，对微内核与分区之间的应用程序接口做出规定，明确分区所承担的功能；第二步骤：微内核架构设计，对微内核的结构做出详细说明，细分出各个模块并标定功能；第三步骤：分区设计，设定分区的详细结构。本发明利用微内核提升嵌入式分区操作系统的实时性，通过最简化内核功能，保留基本资源，以最低的开销，保证实时调度策略和系统调用的确定性，从而实现分区间的高效通信和快速上下文切换。

公开(公告)号：CN110489230A

公开(公告)日：2019-11-22

申请号：CN201910728686.9

申请日：2019-08-05

Applicant: 上海航天计算机技术研究所

Inventor： 双小川 ,  白亮 ,  芮晔 ,  沈霞宏 ,  邱源 ,  张洁

IPC: G06F9/50

Abstract: 本发明提供了一种安全关键和时间关键的资源调度方法及设备，将系统分关键分区和非关键分区，通过资源划分保证安全关键任务的执行。具体的方法主要分为：1)在系统层隔离部分CPU资源用于关键分区的调度；2)给出根据分区利用率确定最小CPU资源上限，在保证关键任务调度可靠性的同时最大化系统的资源利用率；3)在分区层设计基于动态优先级的实时调度算法，最终提升系统的容错能力和任务调度可靠性。

公开(公告)号：CN3501008D

公开(公告)日：2006-01-25

申请号：CN200430084655.9

申请日：2004-11-09

Applicant: 上海航天计算机技术研究所

Designer： 罗振京 ,  宣明 ,  张洁 ,  祁亚鲁 ,  方秉衡 ,  卢皓

Abstract: 左视图与右视图对称，省略左视图。