公开(公告)号：CN119883734A

公开(公告)日：2025-04-25

申请号：CN202411955182.8

申请日：2024-12-27

Applicant: 北京控制工程研究所

Inventor： 苗蕾 ,  刘波 ,  乔磊 ,  徐建 ,  杨建宇 ,  王华伟 ,  刘晨璐 ,  谭彦亮 ,  张潇锐 ,  刘洪标 ,  尚智 ,  曹梦丹 ,  邢卫卫

IPC: G06F11/14 ,  G06F16/22 ,  G06F16/23

Abstract: 本发明提供了一种基于多核处理器检查点链表的故障恢复方法和装置，该方法包括：获取多核处理器所运行的多个进程信息；基于多个进程信息，构建进程关系树和检查点链表；其中，进程关系树包括不同进程之间的层次关系；检查点链表包括每个进程的存储信息；根据进程关系树对检查点链表进行更新，得到更新的检查点链表；在多核处理器故障时，根据更新的检查点链表对进程进行恢复。本方案在确保进程正确运行的基础上，降低了恢复的开销，提高了资源受限情况下多核平台操作系统的安全性。

公开(公告)号：CN119418739A

公开(公告)日：2025-02-11

申请号：CN202411462092.5

申请日：2024-10-18

Applicant: 北京控制工程研究所

Inventor： 肖阳 ,  刘超伟 ,  冯丹 ,  刘波 ,  弓铎 ,  梁贤赓 ,  曹梦丹 ,  徐建 ,  任宪朝 ,  孙浩

IPC: G11C11/406 ,  G11C16/10

Abstract: 本发明提供了一种DRAM数据安全策略管理方法和装置，该方法包括：获取目标DRAM的最大刷新周期和处理器的硬件上电复位时间；根据所接收到的任务需求，确定目标DRAM的刷新方式和读写任务时间；根据刷新方式和任务需求，确定自刷新所用时间；根据最大刷新周期、自刷新所用时间、硬件上电复位时间和读写任务时间，确定处理器发生复位时的自刷新最晚完成时间。本方案提供了DRAM的可靠自刷新方法，在发生硬件复位时仍能完成DRAM的自刷新，保障了数据安全。

公开(公告)号：CN115373707A

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

申请号：CN202210883336.1

申请日：2022-07-26

Applicant: 北京控制工程研究所

Inventor： 谭彦亮 ,  刘波 ,  徐建 ,  彭飞 ,  周育逵 ,  苗志富 ,  尚智 ,  许娜 ,  邢卫卫 ,  刘晨璐 ,  韩朝君 ,  曹梦丹 ,  杨建宇 ,  陈玙 ,  张晓静

IPC: G06F8/65

Abstract: 一种航天器实时系统内存受限条件下任务在线更新系统，包括系统符号信息地面维护模块、注入数据包地面生成模块，注入数据包的星上处理模块；系统符号信息地面维护模块，检查注入程序是否与航天器内存分配冲突；注入数据包地面生成模块，将待注入程序头部信息、程序运行信息、任务属性信息、可执行二进制文件封装成注入数据包文件；注入数据包的星上处理模块，接到解析注入程序指令后，在空闲任务中按协议格式对注入数据包文件进行解析，解析完成后，将增加新任务到调度表或替换原有某任务。本发明同时提供一种在线更新方法。本发明使航天器具有任务级系统扩展能力，实现任务的新增或替换，根据任务需要及时升级航天器星载软件，赋予航天器新功能。

公开(公告)号：CN119415306A

公开(公告)日：2025-02-11

申请号：CN202411461916.7

申请日：2024-10-18

Applicant: 北京控制工程研究所

Inventor： 肖阳 ,  刘超伟 ,  徐建 ,  曹梦丹 ,  弓铎 ,  张明玉 ,  冯丹 ,  刘波 ,  冯烨 ,  蔡彪

IPC: G06F11/10 ,  G06F11/07 ,  G06F11/14

Abstract: 本发明公开了一种热备份计算机内存区数据的错误检测及恢复方法和装置，属于内存数据错误检测与恢复领域。方法包括：对各单机的内存区进行分块，且各单机的分块结果相同；针对每一个控制周期，均执行：基于公有数据计算各内存分块的标记值；将各单机同一位置的内存分块之间的标记值进行比对，以基于标记值是否一致来确定各单机的故障内存分块；若存在故障内存分块，则基于与当前控制周期相邻的若干个历史控制周期和当前控制周期的故障内存分块的数量，判断公有数据恢复是否收敛，以确定恢复策略。本方案利用公有数据内存区分块标记比对方式，可以快速识别和定位公有数据错误的内存分块并快速进行数据恢复，且可以有效防止故障大范围扩散。

公开(公告)号：CN119902598A

公开(公告)日：2025-04-29

申请号：CN202411990842.6

申请日：2024-12-31

Applicant: 北京控制工程研究所

Inventor： 陈熙 ,  刘洪标 ,  曹梦丹 ,  徐建 ,  彭飞 ,  邢卫卫 ,  尚智 ,  苗志富 ,  张潇锐 ,  张锦坤

IPC: G06F1/04 ,  G06F9/50

Abstract: 本发明公开了一种定时器配置方法及装置，属于时钟技术领域。方法包括：基于总线频率和预分频器的最大分频能力，确定预分频器所能提供的计时当量是否满足定时器所需实现的计时当量；若不满足，则基于总线频率p和定时器所需实现的计时当量，确定满足设定条件的一组正整数m和n；所述设定条件为mnf＝p；m和n均具有对应的选择范围，f为定时器所需实现的计时当量的倒数；并将预分频器的分频资源配置为m，将计数器的分频资源配置为nc；其中，c为所需的计时时长；利用配置好的结果进行计时。本发明能够在多级分频方式下弥补预分频器资源受限问题，且能够使得定时器的定时精度更高。

公开(公告)号：CN119248577A

公开(公告)日：2025-01-03

申请号：CN202411385841.9

申请日：2024-09-30

Applicant: 北京控制工程研究所

Inventor： 苗蕾 ,  乔磊 ,  刘波 ,  徐建 ,  王华伟 ,  谭彦亮 ,  杨建宇 ,  张锦坤 ,  尚智 ,  刘洪标 ,  曹梦丹 ,  张潇锐 ,  许娜 ,  刘晨璐 ,  苗志富 ,  韩朝君

IPC: G06F11/14

Abstract: 本发明公开了一种基于嵌入式操作系统的故障恢复方法，首先构建包含任务信息和存储信息的目标进程结构，再使用检查点文件对关于检查点的各文件进行索引和存储。按照设定的检查点时间间隔，更新检查点文件中数据。当系统收到检查点设置请求时，按检查点文件中的进程关系结构，进行全局一致性的检查点设置；当系统收到检查点恢复命令时，根据关系结构、当前进程存储修改标志、关联进程存储修改标志，对相应进程进行回卷，恢复各进程。本发明通过使用检查点文件结构及采用仅回卷对存储修改状态进行置位标记的进程的方法，确保所有和存储修改进程具有依赖关系的进程都进行回卷，保障了故障恢复正确执行。

公开(公告)号：CN119449212A

公开(公告)日：2025-02-14

申请号：CN202411462055.4

申请日：2024-10-18

Applicant: 北京控制工程研究所

Inventor： 肖阳 ,  刘超伟 ,  冯丹 ,  刘波 ,  弓铎 ,  梁贤赓 ,  曹梦丹 ,  徐建 ,  杨巍 ,  王晓磊

IPC: H04J3/06

Abstract: 本发明提供了一种基于TTE网络的拜占庭计算机系统的内外同步方法，该方法应用于引入TTE网络的拜占庭计算机系统中，包括：获取采用同步拜占庭协议的拜占庭计算机系统的包括多个第一同步周期的第一运行周期和TTE网络输入的包括多个第二同步周期的第二运行周期；针对每个第一同步周期，均执行：获取对应该第一同步周期的当前第二同步周期，确定该第一同步周期的第一初始时刻和当前第二同步周期的第二初始时刻；根据第一初始时刻和第二初始时刻对该第一同步周期进行调整，得到修正同步周期，完成同步。本方案提供的基于TTE网络的拜占庭计算机系统的内外同步实现内部同步周期与外部同步周期的同步，保证了拜占庭计算机系统的高可靠性。

公开(公告)号：CN117614576A

公开(公告)日：2024-02-27

申请号：CN202311576994.7

申请日：2023-11-23

Applicant: 北京控制工程研究所

Inventor： 杨建宇 ,  李圣龙 ,  张锦坤 ,  乔磊 ,  徐建 ,  苗蕾 ,  刘晨璐 ,  周育逵 ,  曹梦丹

IPC: H04B17/391 ,  H04B7/185 ,  H04B17/00

Abstract: 本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实时推算各节点的物理位置；开发对象仿真模块包含与各节点一一对应的运行实例；通信模型用于根据各节点的物理位置，确定每个节点的联通性，以确定星座模型中所有通信链路；遥感模型用于根据遥感服务请求返回遥感结果；API网关用于处理运行实例的通信服务请求和遥感服务请求。本方案可以实现对星群组网被测软件运行实例的调试测试和演示验证，为空天地一体化协同组网下星载操作系统开发提供了仿真运行环境。