公开(公告)号：CN115373707A

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

申请号：CN202210883336.1

申请日：2022-07-26

Applicant: 北京控制工程研究所

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

IPC: G06F8/65

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

公开(公告)号：CN102063370B

公开(公告)日：2013-10-16

申请号：CN201010611254.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 吴瑾 ,  段永顥 ,  于志杰 ,  郭向英 ,  董燕 ,  武占峰 ,  张西超 ,  张金巍 ,  魏鹏 ,  曾霞 ,  左万娟 ,  尚智

IPC: G06F11/36

Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。

公开(公告)号：CN119883734A

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

申请号：CN202411955182.8

申请日：2024-12-27

Applicant: 北京控制工程研究所

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

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

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

公开(公告)号：CN102063370A

公开(公告)日：2011-05-18

申请号：CN201010611254.9

申请日：2010-12-17

Applicant: 北京控制工程研究所

Inventor： 吴瑾 ,  段永顥 ,  于志杰 ,  郭向英 ,  董燕 ,  武占峰 ,  张西超 ,  张金巍 ,  魏鹏 ,  曾霞 ,  左万娟 ,  尚智

IPC: G06F11/36

Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。

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

公开(公告)号：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与片外存储器的内容一致性。