-
公开(公告)号：CN110768821B
公开(公告)日：2022-04-08
申请号：CN201910896588.6
申请日：2019-09-23
Applicant: 北京控制工程研究所
Abstract: 一种针对四机热备份计算机的数据交换比对区设计方法，为实现四机完全同步运行，每个控制周期必须将每个单机所能获取的大量数据进行交换比对，达到四机输入状态完全一致，本发明提出了一种针对这种四机大数据量交换比对区的设计策略，识别需要进行交换比对的数据范围，再根据不同数据的特点进行分类并设计相应的数据交换比对区，然后分别制定不同的写入和读取策略，从而有效的保证了四机运行的同步性以及数据交换比对的可靠性、安全性和可恢复性，有效的提高了系统的容错能力。
-
-
公开(公告)号：CN103745153B
公开(公告)日：2015-07-08
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103678137B
公开(公告)日：2015-07-08
申请号：CN201310746685.X
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。
-
公开(公告)号：CN103699042B
公开(公告)日：2015-04-22
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
Patent Agency Ranking
-
-
公开(公告)号：CN106452843A
公开(公告)日：2017-02-22
申请号：CN201610827520.9
申请日：2016-09-14
Applicant: 北京控制工程研究所
IPC: H04L12/24
CPC classification number: H04L41/0677 , H04L41/145
Abstract: 一种在轨1553B总线网络故障监测诊断方法，选取总线网络中某RT端做功能复用，为其增加总线网络故障监测及诊断功能，使得总线网络具备故障集中监测、集中诊断、分布式处理的能力。被复用的RT端负责消息传输异常的监测、基于飞行任务剖面的故障建模、故障诊断，并将故障诊断结果分发给总线控制器及其他RT端，实现1553B总线网络故障在轨自主处理。本发明在轨无须额外增加独立功能的总线监视模块，通过功能复用的RT端集中式监测整个总线网络的数据传输状态，基于飞行任务剖面生成1553B总线网络故障特征库，为卫星总线网络提供自主故障诊断和健康管理。该方法在已发射卫星中得以应用，取得了较好效果，推广应用前景良好。
-
公开(公告)号：CN103699388B
公开(公告)日：2015-07-08
申请号：CN201310744736.5
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程序中使用的绝对地址集合，利用绝对地址集合，构造间接影响关系。根据C源程序中的中断响应函数，寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
-
公开(公告)号：CN103699388A
公开(公告)日：2014-04-02
申请号：CN201310744736.5
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 基于绝对地址汇聚的数据访问冲突检测方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法。本发明以语法分析技术为基础，结合领域知识，更准确地识别的数据竞争，降低数据竞争检测的漏报率。该方法对C源程序进行语法分析，构造源程序中使用的绝对地址集合，利用绝对地址集合，构造间接影响关系。根据C源程序中的中断响应函数，寻找C源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.038 seconds)
