-
公开(公告)号：CN119883734A
公开(公告)日：2025-04-25
申请号：CN202411955182.8
申请日：2024-12-27
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种基于多核处理器检查点链表的故障恢复方法和装置，该方法包括：获取多核处理器所运行的多个进程信息；基于多个进程信息，构建进程关系树和检查点链表；其中，进程关系树包括不同进程之间的层次关系；检查点链表包括每个进程的存储信息；根据进程关系树对检查点链表进行更新，得到更新的检查点链表；在多核处理器故障时，根据更新的检查点链表对进程进行恢复。本方案在确保进程正确运行的基础上，降低了恢复的开销，提高了资源受限情况下多核平台操作系统的安全性。
-
公开(公告)号：CN106708730B
公开(公告)日：2019-04-09
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN106445659A
公开(公告)日：2017-02-22
申请号：CN201610814726.8
申请日：2016-09-09
Applicant: 北京控制工程研究所
IPC: G06F9/48
CPC classification number: G06F9/4881
Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。
-
-
公开(公告)号：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)提供采用虚拟地址或文件名称两种方式对数据进行访问的功能，在进行按文件名称写入操作时，系统会先查询文件名称与虚拟页地址对应表。
-
Patent Agency Ranking
公开(公告)号：CN107977289B
公开(公告)日：2020-10-23
申请号：CN201711083696.9
申请日：2017-11-07
Applicant: 北京控制工程研究所
Abstract: 本发明涉及一种热备份计算机中多模冗余总线容错架构及其控制方法，属于通信技术领域。本发明根据空间站制导导航控制分系统特性，设计一种包含M条总线的热备份计算机多模冗余总线容错架构。根据任务需求，使众多的敏感器、执行结构合理的分布于M条总线上。空间站制导导航控制计算机的各个单机设计有N路总线控制线路，分别连接在M条总线中的N条总线。正常情况下，每台单机控制一条总线，即每台单机的一路总线控制器工作在主控模式，其他N‑1路总线控制器作为冗余备份工作在监听/休眠模式。采用该种热备份计算机多模冗余总线容错架构及其控制方法，满足了复杂长寿命制导导航控制分系统对总线长期高可靠且总线数据吞吐带宽高的性能要求。
-
公开(公告)号：CN107977289A
公开(公告)日：2018-05-01
申请号：CN201711083696.9
申请日：2017-11-07
Applicant: 北京控制工程研究所
CPC classification number: G06F11/1616 , G06F11/2005 , G06F11/2017
Abstract: 本发明涉及一种热备份计算机中多模冗余总线容错架构及其控制方法，属于通信技术领域。本发明根据空间站制导导航控制分系统特性，设计一种包含M条总线的热备份计算机多模冗余总线容错架构。根据任务需求，使众多的敏感器、执行结构合理的分布于M条总线上。空间站制导导航控制计算机的各个单机设计有N路总线控制线路，分别连接在M条总线中的N条总线。正常情况下，每台单机控制一条总线，即每台单机的一路总线控制器工作在主控模式，其他N-1路总线控制器作为冗余备份工作在监听/休眠模式。采用该种热备份计算机多模冗余总线容错架构及其控制方法，满足了复杂长寿命制导导航控制分系统对总线长期高可靠且总线数据吞吐带宽高的性能要求。
-
公开(公告)号：CN119336452A
公开(公告)日：2025-01-21
申请号：CN202411211937.3
申请日：2024-08-30
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种面向星载操作系统的RISCV处理器异常上下文保护和恢复方法，支持星载操作系统无论在任务中、中断处理程序中、还是中断上下文保护或恢复过程中均允许被异常打断，且可以有效的保存和恢复现场；在单粒子事件频发的空间环境下，可以有效的在处理器异常情况下保护和恢复上下文、保证软件的正常连续运行，提高星载计算机的可靠性。
-
公开(公告)号：CN115514609A
公开(公告)日：2022-12-23
申请号：CN202211066243.6
申请日：2022-08-31
Applicant: 北京控制工程研究所
IPC: H04L41/0246 , H04L41/0273 , H04L41/12 , H04L41/50 , H04L45/02 , H04L69/16
Abstract: 本发明涉及一种Socket链路受限的发布订阅系统及方法，该系统包括N个单机，单机内部建立多个节点，其中一个单机为系统管理器，系统管理器之外的单机以单机为注册单位进行入网申请，入网成功后，单机间通过Socket链路进行网络通信，单机内部节点利用共享内存分发和接收消息，实现消息的传输。
-
公开(公告)号：CN115373707A
公开(公告)日：2022-11-22
申请号：CN202210883336.1
申请日：2022-07-26
Applicant: 北京控制工程研究所
IPC: G06F8/65
Abstract: 一种航天器实时系统内存受限条件下任务在线更新系统，包括系统符号信息地面维护模块、注入数据包地面生成模块，注入数据包的星上处理模块；系统符号信息地面维护模块，检查注入程序是否与航天器内存分配冲突；注入数据包地面生成模块，将待注入程序头部信息、程序运行信息、任务属性信息、可执行二进制文件封装成注入数据包文件；注入数据包的星上处理模块，接到解析注入程序指令后，在空闲任务中按协议格式对注入数据包文件进行解析，解析完成后，将增加新任务到调度表或替换原有某任务。本发明同时提供一种在线更新方法。本发明使航天器具有任务级系统扩展能力，实现任务的新增或替换，根据任务需要及时升级航天器星载软件，赋予航天器新功能。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.036 seconds)
