-
公开(公告)号：CN115712432A
公开(公告)日：2023-02-24
申请号：CN202211352286.0
申请日：2022-10-31
Applicant: 北京控制工程研究所
Abstract: 一种面向COTS平台的星载软件EDAC容错方法，基于星载EDAC硬件实现方式，设计EDAC校验模块和校验码，校验码采用海明码，程序可执行代码单个码字长度32位，校验码7位，实现纠一检二功能。通过可执行代码程序段插桩，在原始可执行代码中各模块被调用语句之前插入EDAC校验模块的调用语句，实现被调用模块执行前完成EDAC校验。对插桩后的每条可执行代码计算其校验码，作为程序区的一部分存放，采用“运行代码优先校验”的改进思路，设计软件模块调度前校验和空闲时段校验相结合的方式，对可执行代码进行EDAC校验。同时在程序存储区存放EDAC算法的副本，实现两份EDAC算法模块的相互校验，确保EDAC模块自身正确性。
-
公开(公告)号：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)提供采用虚拟地址或文件名称两种方式对数据进行访问的功能，在进行按文件名称写入操作时，系统会先查询文件名称与虚拟页地址对应表。
-
公开(公告)号：CN104063295A
公开(公告)日：2014-09-24
申请号：CN201410295331.2
申请日：2014-06-26
Applicant: 北京控制工程研究所
Abstract: 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号，并设置同步信号，然后释放自旋锁；后续申请到自旋锁的处理器核通过读取到的值得知自己为从核，且主核ID对应的处理器核为主核，释放自旋锁；主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核，使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行，提高了多核计算机的可靠性。
-
Patent Agency Ranking
公开(公告)号：CN113934457A
公开(公告)日：2022-01-14
申请号：CN202111094502.1
申请日：2021-09-17
Applicant: 北京控制工程研究所
IPC: G06F9/38 , G06F12/0884
Abstract: 一种基于单核DSP的并行计算优化方法，包括如下步骤：将待运行的程序分为关键复杂程序和非关键复杂程序，其中关键复杂程序固定运行在DSP的内部缓存中，非关键复杂程序运行在外部配置的RAM存储器中；对待运行程序中的循环语句，使循环计数器采用递减，且循环体内不进行循环嵌套；每个循环体用到的硬件资源不超过处理器中的运算单元个数和寄存器个数，使得每个循环体中的语句能够同时在多个运算单元中并行执行；采用单指令多数据指令对进行相同计算处理的数据进行汇编编程，提高数据处理的并行度。
-
公开(公告)号：CN104579314B
公开(公告)日：2018-05-01
申请号：CN201410844496.0
申请日：2014-12-30
Applicant: 北京控制工程研究所
IPC: H03K19/177
Abstract: 本发明提供一种针对SRAM型FPGA的可靠性优化方法，该方法包括如下步骤：以查找表LUT为单位，建立含有逻辑屏蔽效应的功能等价类；对网表中各查找表的可靠性进行评估；根据可靠性评估的结果，对于电路中输入地址线未完全使用的查找表，进行可靠性优化；对优化后的电路可靠性进行评估，计算优化效果；本发明充分利用FPGA电路中存在的空闲资源，在不带来额外面积开销的前提下有效提高电路可靠性，并且具有计算复杂度低，对电路性能影响小，不依赖于特定FPGA芯片物理结构，应用范围广等特点。
-
公开(公告)号：CN106445659A
公开(公告)日：2017-02-22
申请号：CN201610814726.8
申请日：2016-09-09
Applicant: 北京控制工程研究所
IPC: G06F9/48
CPC classification number: G06F9/4881
Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。
-
公开(公告)号：CN105204952A
公开(公告)日：2015-12-30
申请号：CN201510521047.7
申请日：2015-08-21
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 本发明提供一种多核操作系统容错管理方法，主要包括，构建n×n的核间故障检测矩阵，每个处理器核利用核间故障检测矩阵定期检测系统中其他处理器核是否发生故障；其中，每个处理器核的故障检测包括：在每个定时监测周期起始，各个处理器核在核间故障检测矩阵中各自对应的一列k中的元素设置为TRUE；在每个定时监测周期末尾，各个处理器核查看矩阵中各自对应的一行j中的元素，如果其中某一个元素ejk不为TRUE，则认为与该列对应的处理器核k可能发生了故障，最后将行j中的元素全部清零。本发明的系统每个处理器核均具备对处理器中其他核进行故障检测的能力，大大提高了系统容错能力。
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.043 seconds)
