-
公开(公告)号：CN119883734A
公开(公告)日：2025-04-25
申请号：CN202411955182.8
申请日：2024-12-27
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种基于多核处理器检查点链表的故障恢复方法和装置，该方法包括：获取多核处理器所运行的多个进程信息；基于多个进程信息，构建进程关系树和检查点链表；其中，进程关系树包括不同进程之间的层次关系；检查点链表包括每个进程的存储信息；根据进程关系树对检查点链表进行更新，得到更新的检查点链表；在多核处理器故障时，根据更新的检查点链表对进程进行恢复。本方案在确保进程正确运行的基础上，降低了恢复的开销，提高了资源受限情况下多核平台操作系统的安全性。
-
公开(公告)号：CN119537107A
公开(公告)日：2025-02-28
申请号：CN202411594220.1
申请日：2024-11-08
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种四机热备份计算机中失步单机的故障恢复方法和装置，该方法应用于采用拜占庭容错结构的四机热备份计算机中，包括：在每个任务周期中，将四机热备份计算机中的内存数据进行分类，得到包括共有慢变数据和共有快变数据的分类数据；在四机热备份计算机的各单机的输出结果不一致时，确定失步单机；根据共有慢变数据对失步单机进行第一次恢复，并确定第一次恢复时所在的任务周期中发生变化的变化共有慢变数据；根据变化共有慢变数据和共有快变数据对失步单机进行第二次恢复，得到恢复数据；其中，第二次恢复在暂停任务运行状态下进行。本方案实现了四机热备份系统的单机级故障精确自主恢复，提高了星载计算机系统的高冗余容错能力。
-
公开(公告)号：CN119418739A
公开(公告)日：2025-02-11
申请号：CN202411462092.5
申请日：2024-10-18
Applicant: 北京控制工程研究所
IPC: G11C11/406 , G11C16/10
Abstract: 本发明提供了一种DRAM数据安全策略管理方法和装置，该方法包括：获取目标DRAM的最大刷新周期和处理器的硬件上电复位时间；根据所接收到的任务需求，确定目标DRAM的刷新方式和读写任务时间；根据刷新方式和任务需求，确定自刷新所用时间；根据最大刷新周期、自刷新所用时间、硬件上电复位时间和读写任务时间，确定处理器发生复位时的自刷新最晚完成时间。本方案提供了DRAM的可靠自刷新方法，在发生硬件复位时仍能完成DRAM的自刷新，保障了数据安全。
-
公开(公告)号：CN106708730B
公开(公告)日：2019-04-09
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN104536835B
公开(公告)日：2018-02-06
申请号：CN201410773385.5
申请日：2014-12-12
Applicant: 北京控制工程研究所
Abstract: 一种热备份实时控制系统中自适应任务调度方法，(1)根据热备份实时系统中各项硬实时任务的特点，将任务分成单周期任务，多周期任务和空闲任务；(2)根据热备份实时系统中控制精度的需要，确定控制周期；判断单周期任务中是否包含交换比对任务，若不包含则额外设计一个交换比对任务，并确定所有任务的运行顺序和优先级；设置各项非空闲任务的启动时间点和截止时间点，并设置时间片的大小；(3)设置多周期任务的最小调度周期和最大调度周期；(4)在控制周期中断和时间片中断中按照步骤(2)确定的运行顺序进行任务调度，并在运行交换比对任务中对热备份实时控制系统中各机的任务调度完成情况进行比对，控制各机同时启动和结束多周期任务。
-
Patent Agency Ranking
公开(公告)号：CN107463442A
公开(公告)日：2017-12-12
申请号：CN201710566062.2
申请日：2017-07-12
Applicant: 北京控制工程研究所
IPC: G06F9/50
Abstract: 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多核SoC系统的多个处理器核并行运行调度器模块；调度器模块采用自旋锁访问全局任务调度队列OSTaskRdyList，从全局任务调度队列OSTaskRdyList中取得当前优先级最高的任务T1；调度器模块查找空闲的处理器核或者运行最低优先级任务的处理器核，把优先级最高的任务调度到该处理器核上。本发明解决了多任务在多核SoC上均衡分配和并行运行的问题，大幅度提高了多核SoC的计算和处理效率。
-
公开(公告)号：CN119473715A
公开(公告)日：2025-02-18
申请号：CN202411522574.5
申请日：2024-10-29
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种基于数据分区压缩处理的卫星软件快速上电恢复方法，涉及航天软件存储技术领域，其中方法包括：对卫星软件的数据依次进行功能划分和数据类型划分；根据划分结果对卫星软件的数据进行压缩和分区存储；当卫星重启时，根据功能划分结果对存储的数据进行上电恢复，以使卫星软件处于安全运行状态。本方案能够解决软件存储资源受限问题，同时能够减少上电后系统恢复的时间开销，有效保障了紧急关键任务期间软件的安全性、可靠性及稳定性。
-
公开(公告)号：CN119415306A
公开(公告)日：2025-02-11
申请号：CN202411461916.7
申请日：2024-10-18
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种热备份计算机内存区数据的错误检测及恢复方法和装置，属于内存数据错误检测与恢复领域。方法包括：对各单机的内存区进行分块，且各单机的分块结果相同；针对每一个控制周期，均执行：基于公有数据计算各内存分块的标记值；将各单机同一位置的内存分块之间的标记值进行比对，以基于标记值是否一致来确定各单机的故障内存分块；若存在故障内存分块，则基于与当前控制周期相邻的若干个历史控制周期和当前控制周期的故障内存分块的数量，判断公有数据恢复是否收敛，以确定恢复策略。本方案利用公有数据内存区分块标记比对方式，可以快速识别和定位公有数据错误的内存分块并快速进行数据恢复，且可以有效防止故障大范围扩散。
-
公开(公告)号：CN115291965A
公开(公告)日：2022-11-04
申请号：CN202210761755.8
申请日：2022-06-29
Applicant: 北京控制工程研究所
IPC: G06F9/445
Abstract: 一种低成本高可靠系统软件加载启动实现方法及系统，硬件实现了片上系统在加电后自动实现系统软件的加载和启动功能，可替代传统的用于系统软件加载启动的片外PROM存储器芯片。上述硬件采用组合逻辑电路实现，当处理器访问前8kB地址时，该硬件电路可以返回相应的可执行程序代码数据。增加了MUX数据选通，由外部启动方式选择信号指定选通路径，用于选择处理器从片内启动，或者由片外PROM存储器中启动。当用户选择从片外PROM存储器中启动时，启动过程与启动结果与传统的系统软件加载启动方法一致。
-
公开(公告)号：CN115185906A
公开(公告)日：2022-10-14
申请号：CN202210692952.9
申请日：2022-06-17
Applicant: 北京控制工程研究所
IPC: G06F16/17 , G06F12/109 , G06F12/1009
Abstract: 一种针对NandFlash的轻量级文件管理方法及系统，是指根据空间飞行器对NandFlash的使用需求设计的一种轻量级文件管理系统。生成方法步骤为：(1)建立存储在NandFlash中的坏块表、对应表，给上层应用软件提供一个可以连续访问的虚拟存储空间，并对上层应用软件屏蔽坏块信息；(2)实现虚拟地址到实际地址的映射，实现快速在对应表中找到坏块对应的替换块的块号；(3)提供对页数据备份存储和累加和校验功能，可选择本专利提供的备份存储功能，以保证数据的可靠性；(4)提供采用虚拟地址或文件名称两种方式对数据进行访问的功能，在进行按文件名称写入操作时，系统会先查询文件名称与虚拟页地址对应表。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.048 seconds)
