公开(公告)号：CN105204952B

公开(公告)日：2018-03-09

申请号：CN201510521047.7

申请日：2015-08-21

Applicant: 北京控制工程研究所

Inventor： 王婧 ,  彭飞 ,  龚健 ,  吴一帆 ,  华更新 ,  刘鸿瑾 ,  许娜 ,  徐建

IPC: G06F11/07

Abstract: 本发明提供一种多核操作系统容错管理方法，主要包括，构建n×n的核间故障检测矩阵，每个处理器核利用核间故障检测矩阵定期检测系统中其他处理器核是否发生故障；其中，每个处理器核的故障检测包括：在每个定时监测周期起始，各个处理器核在核间故障检测矩阵中各自对应的一列k中的元素设置为TRUE；在每个定时监测周期末尾，各个处理器核查看矩阵中各自对应的一行j中的元素，如果其中某一个元素ejk不为TRUE，则认为与该列对应的处理器核k可能发生了故障，最后将行j中的元素全部清零。本发明的系统每个处理器核均具备对处理器中其他核进行故障检测的能力，大大提高了系统容错能力。

公开(公告)号：CN106844281A

公开(公告)日：2017-06-13

申请号：CN201611045933.8

申请日：2016-11-22

Applicant: 北京控制工程研究所

Inventor： 吴军 ,  梁洁玫 ,  吴一帆 ,  杨桦 ,  刘波 ,  夏冰冰 ,  高瑛珂 ,  刘鸿瑾 ,  龚健 ,  姜宏 ,  郭兵 ,  许娜

IPC: G06F15/76

CPC classification number: G06F15/76 ,  G06F2015/765

Abstract: 一种适用于PowerPC处理器的高可靠指令Cache，包括AXI总线接口单元、指令Cache块缓存器、指令Cache控制器、指令Cache的数据存储体、命中检查器、指令寄存器、指令校验电路、指令校验码读出寄存器、校验码生成逻、校验码缓存器、检验码存储体，克服了现有的Cache不适用于航天、军事、工业控制等工作环境较恶劣领域，容易导致存储数据出现错误的问题，通过指令Cache的检错纠错功能增强了PowerPC处理器在恶劣工作环境的适应性，提高PowerPC处理器的可靠性，通过扩展ECC+Parity校验码数据通路，提高了指令Cache的可靠性，具有较好的使用价值。

公开(公告)号：CN104657238B

公开(公告)日：2016-09-21

申请号：CN201510070076.6

申请日：2015-02-10

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  龚健 ,  刘波 ,  杨桦 ,  刘鸿瑾 ,  赵云富 ,  胡洪凯 ,  董暘暘 ,  王婧 ,  徐建 ,  苗致富 ,  张绍林

IPC: G06F11/16

Abstract: 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电路，该电路能够通过I/O接口被处理器访问和操作；(3)构建可重构阵列模型中N×N个节点之间的通信协议；(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。

公开(公告)号：CN104063295B

公开(公告)日：2016-08-24

申请号：CN201410295331.2

申请日：2014-06-26

Applicant: 北京控制工程研究所

Inventor： 王婧 ,  彭飞 ,  刘波 ,  华更新 ,  龚健 ,  高益军 ,  杨桦 ,  刘鸿瑾 ,  张绍林 ,  许娜

IPC: G06F11/16 ,  G06F9/445

Abstract: 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号，并设置同步信号，然后释放自旋锁；后续申请到自旋锁的处理器核通过读取到的值得知自己为从核，且主核ID对应的处理器核为主核，释放自旋锁；主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核，使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行，提高了多核计算机的可靠性。

公开(公告)号：CN104461764B

公开(公告)日：2015-12-30

申请号：CN201410782611.6

申请日：2014-12-16

Applicant: 北京控制工程研究所

Inventor： 董暘暘 ,  施蕾 ,  杨孟飞 ,  胡洪凯 ,  叶有时 ,  赵云富 ,  冯丹 ,  刘波 ,  程照强 ,  张绍林 ,  刘鸿瑾 ,  张洪华

IPC: G06F11/10

Abstract: 本发明提供一种内置CRC校验码的FPGA配置文件生成方法，该方法包括如下步骤：以EDA工具生成的FPGA配置文件为基础，按照特征值读取配置文件中所包含的FPGA配置信息，并按帧计算其对应的CRC校验码；在配置文件中搜索空白区域；将计算得到的配置帧CRC校验码写入搜索得到的空白区即可完成内置CRC校验码的FPGA配置文件生成，本发明能充分利用原始FPGA配置文件中的空闲资源，在不带来额外软硬件开销的基础下实现FPGA校验信息和配置信息的同时同地存储，并且计算过程不依赖于特定的FPGA芯片物理结构，便于硬件资源有限的平台实现FPGA配置信息回读校验达成系统容错目的，具有广泛的应用前景。

公开(公告)号：CN105069052A

公开(公告)日：2015-11-18

申请号：CN201510441109.3

申请日：2015-07-24

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  杨桦 ,  龚健 ,  乔磊 ,  徐健 ,  赵玮 ,  刘鸿瑾 ,  刘波

IPC: G06F17/30

CPC classification number: G06F17/30949

Abstract: 本发明一种星载操作系统集成的故障快速自主处理方法，步骤如下：(1)为每种故障分配一个故障代码，并由用户自定义故障处理函数，作为一个记录项，以hash表的方式组织，实现以故障代码为关键字的快速插入和快速查找；(2)在星载操作系统运行过程中，当内核检测到故障时把故障代码发送到一个消息队列，通过消息队列取得故障消息，根据故障代码在hash表中进行查找，得出故障诊断的详细结果，并进行处理。本发明提供了应用层面的一种故障诊断和处理机制，能够采用软件手段有效解决系统中处理器中断或陷阱无法识别和处理的故障问题。

公开(公告)号：CN102541623B

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

申请号：CN201110433239.4

申请日：2011-12-20

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  吴军 ,  吴一帆 ,  杨桦 ,  彭飞 ,  刘鸿瑾

IPC: G06F9/455

Abstract: 一种嵌入式处理器的存储空间模拟方法，提供了嵌入式处理器的存储空间模拟方法。该方法可以模拟嵌入式处理器的完整存储空间，通过采用分页的方式来模拟大容量的完整存储空间，在分页机制下，只模拟程序中真正使用到的那部分存储空间，从而节省了模拟所需的空间开销；本方明针对不同的地址范围，采用静态模拟和动态模拟相结合的混合模拟方法，实现了一种效率高、开销低的大容量存储空间模拟机制。