公开(公告)号：CN119248577A

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

申请号：CN202411385841.9

申请日：2024-09-30

Applicant: 北京控制工程研究所

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

IPC: G06F11/14

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

公开(公告)号：CN118132347A

公开(公告)日：2024-06-04

申请号：CN202410084904.0

申请日：2024-01-19

Applicant: 北京控制工程研究所

Inventor： 江耿丰 ,  杜建伟 ,  徐建 ,  谭彦亮 ,  张凯 ,  刘波 ,  冯丹 ,  陶景桥 ,  史晓霞 ,  刘新彦

IPC: G06F11/16

Abstract: 一种星载计算机业务连续情况下的在轨程序维护方法，星载计算机采用冷备份容错设计，通过一条具有高速自动数据传输特性的数据通道实现主备份单机之间的信息互联。正常情况下，主份单机正常工作，维持航天器业务不中断，备份单机接收主份单机经数据通道按照规定格式传送过来的指令信息，通过自身系统完成程序升级，从而实现不影响航天器业务情况下的在轨程序维护任务。

公开(公告)号：CN115514609B

公开(公告)日：2024-05-03

申请号：CN202211066243.6

申请日：2022-08-31

Applicant: 北京控制工程研究所

Inventor： 刘晨璐 ,  徐建 ,  彭飞 ,  杨建宇 ,  谭彦亮 ,  周育逵 ,  许娜

IPC: H04L41/0246 ,  H04L41/0273 ,  H04L41/12 ,  H04L41/50 ,  H04L45/02 ,  H04L69/16

Abstract: 本发明涉及一种Socket链路受限的发布订阅系统及方法，该系统包括N个单机，单机内部建立多个节点，其中一个单机为系统管理器，系统管理器之外的单机以单机为注册单位进行入网申请，入网成功后，单机间通过Socket链路进行网络通信，单机内部节点利用共享内存分发和接收消息，实现消息的传输。

公开(公告)号：CN112256463B

公开(公告)日：2023-07-14

申请号：CN202011061700.3

申请日：2020-09-30

Applicant: 北京控制工程研究所

Inventor： 苗志富 ,  彭飞 ,  徐建 ,  邢卫卫 ,  尚智 ,  刘波 ,  谭彦亮 ,  袁媛 ,  周育逵

IPC: G06F11/07

Abstract: 本发明公开了一种保证Cache与片外存储器内容一致性的单粒子软错误处理方法，包括：设置刷新地址为存储器首地址；按字读取刷新地址内容；当确定触发单粒子软错误时，读取处理器错误状态寄存器；当确定当前单粒子软错误是可纠正错误时，对当前单粒子软错误所对应的出错地址进行纠正，并将纠正结果回写至存储器；对刷新地址进行4字节累加；当确定4字节累加后的刷新地址超过存储器有效地址范围时，返回执行设置刷新地址为存储器首地址的步骤。本发明在单粒子效应导致非法指令陷阱、数据访问陷阱等单粒子软错误时，采用清除对应核的指令Cache和数据Cache等措施，与处理器在使能Cache时的运行特性相适应，保证了单粒子错误时Cache与片外存储器的内容一致性。

公开(公告)号：CN112256463A

公开(公告)日：2021-01-22

申请号：CN202011061700.3

申请日：2020-09-30

Applicant: 北京控制工程研究所

Inventor： 苗志富 ,  彭飞 ,  徐建 ,  邢卫卫 ,  尚智 ,  刘波 ,  谭彦亮 ,  袁媛 ,  周育逵

IPC: G06F11/07

Abstract: 本发明公开了一种保证Cache与片外存储器内容一致性的单粒子软错误处理方法，包括：设置刷新地址为存储器首地址；按字读取刷新地址内容；当确定触发单粒子软错误时，读取处理器错误状态寄存器；当确定当前单粒子软错误是可纠正错误时，对当前单粒子软错误所对应的出错地址进行纠正，并将纠正结果回写至存储器；对刷新地址进行4字节累加；当确定4字节累加后的刷新地址超过存储器有效地址范围时，返回执行设置刷新地址为存储器首地址的步骤。本发明在单粒子效应导致非法指令陷阱、数据访问陷阱等单粒子软错误时，采用清除对应核的指令Cache和数据Cache等措施，与处理器在使能Cache时的运行特性相适应，保证了单粒子错误时Cache与片外存储器的内容一致性。

公开(公告)号：CN106445659B

公开(公告)日：2019-07-12

申请号：CN201610814726.8

申请日：2016-09-09

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  龚健 ,  杨孟飞 ,  杨桦 ,  彭飞 ,  徐建 ,  谭彦亮 ,  吴一帆 ,  刘忠汉

IPC: G06F9/48

Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。

公开(公告)号：CN106708730A

公开(公告)日：2017-05-24

申请号：CN201611046321.0

申请日：2016-11-22

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  杨桦 ,  徐建 ,  乔磊 ,  谭彦亮 ,  邢晓琪 ,  周育逵 ,  顾斌 ,  彭飞

IPC: G06F11/36

CPC classification number: G06F11/3608

Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。