-
公开(公告)号:CN103745153A
公开(公告)日:2014-04-23
申请号:CN201310746198.3
申请日:2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
CPC classification number: G06F21/52 , G06F11/3644
Abstract: 一种航天器软件空间使用安全性检查方法,是一种针对航天器软件内存空间使用安全的检查方法,目的在于检查航天器软件是否会出现内存使用违例的情况,包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时,全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时,程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下,完成上述两种软件空间使用安全问题的检查,具有良好的适应性。本发明方法的复杂度低,适用于大规模软件。
-
公开(公告)号:CN103744813A
公开(公告)日:2014-04-23
申请号:CN201310751624.2
申请日:2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法,根据1553B总线各个子地址通讯方式和特点,确定了通讯的时序要求,保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求,为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求,还给出了多个通讯共同完成同一系统功能时,需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号:CN103678136A
公开(公告)日:2014-03-26
申请号:CN201310744664.4
申请日:2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法,目的在于降低误报、提高分析准确度。一般认为,主程序和中断服务程序具有共享变量时,如果二者中至少一个对该共享变量进行了写操作,那么该变量可能会发生数据竞争。本发明以语法分析技术为基础,结合领域特征,识别无害的数据竞争,降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率,有利于发现真正有害的数据竞争。
-
公开(公告)号:CN110413409B
公开(公告)日:2021-08-10
申请号:CN201910636830.6
申请日:2019-07-15
Applicant: 北京控制工程研究所
Abstract: 一种多探头星敏感器多核系统任务分配的方法,包括如下步骤:S1、在任一周期内,主核能够获取所有从核在下一周期内的负载数量,并对所有从核排序,然后进入下一周期;S2、当任一从核K1完成负载识别任务后,主核根据所述从核K1中断的时间获取本周期内的剩余时间;S3、主核根据S1中的从核排序、S2中的本周期内的剩余时间,获得本周期的剩余时间内从核K1能够完成的负载识别数量M,然后主核将负载数量最高的从核K2的最后M个负载识别任务分配给从核K1;最后主核根据重新分配后的负载数量更新S1中的所有从核排序;S4、重复S2~S3,直到所有从核的负载识别任务完成。本方法能够实现从核任务负载最大化实时均衡目的。
-
公开(公告)号:CN110768821A
公开(公告)日:2020-02-07
申请号:CN201910896588.6
申请日:2019-09-23
Applicant: 北京控制工程研究所
Abstract: 一种针对四机热备份计算机的数据交换比对区设计方法,为实现四机完全同步运行,每个控制周期必须将每个单机所能获取的大量数据进行交换比对,达到四机输入状态完全一致,本发明提出了一种针对这种四机大数据量交换比对区的设计策略,识别需要进行交换比对的数据范围,再根据不同数据的特点进行分类并设计相应的数据交换比对区,然后分别制定不同的写入和读取策略,从而有效的保证了四机运行的同步性以及数据交换比对的可靠性、安全性和可恢复性,有效的提高了系统的容错能力。
-
公开(公告)号:CN108334054B
公开(公告)日:2019-10-18
申请号:CN201810086355.5
申请日:2018-01-30
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法,如下:(1)构造控制系统的部件单机1553数传模型,(2)配置数传模型的通信参数生成多个部件单机(3)配置数传模型的数据收发接口(4)根据数传模型的被测对象运行时序,配置数传模型的数据传输时序。(5)根据测试需求,从步骤(2)部件单机实例库中选择所需部件单机,作为1553总线的通信网络节点,构建1553总线的通信网络拓扑结构;(6)根据测试需求,在测试过程中动态修改通信网络拓扑结构,包括在1553总线的通信网络中新增通信网络节点,删除通信网络节点;(7)根据测试过程产生的测试数据,判断被测对象在1553总线的通信网络拓扑结构下的通信有效性。
-
公开(公告)号:CN106452843B
公开(公告)日:2019-04-09
申请号:CN201610827520.9
申请日:2016-09-14
Applicant: 北京控制工程研究所
IPC: H04L12/24
Abstract: 一种在轨1553B总线网络故障监测诊断方法,选取总线网络中某RT端做功能复用,为其增加总线网络故障监测及诊断功能,使得总线网络具备故障集中监测、集中诊断、分布式处理的能力。被复用的RT端负责消息传输异常的监测、基于飞行任务剖面的故障建模、故障诊断,并将故障诊断结果分发给总线控制器及其他RT端,实现1553B总线网络故障在轨自主处理。本发明在轨无须额外增加独立功能的总线监视模块,通过功能复用的RT端集中式监测整个总线网络的数据传输状态,基于飞行任务剖面生成1553B总线网络故障特征库,为卫星总线网络提供自主故障诊断和健康管理。该方法在已发射卫星中得以应用,取得了较好效果,推广应用前景良好。
-
公开(公告)号:CN108334054A
公开(公告)日:2018-07-27
申请号:CN201810086355.5
申请日:2018-01-30
Applicant: 北京控制工程研究所
IPC: G05B23/02
Abstract: 一种服务于复杂1553总线网络结构的控制系统数据传输有效性测试方法,如下:(1)构造控制系统的部件单机1553数传模型,(2)配置数传模型的通信参数生成多个部件单机(3)配置数传模型的数据收发接口(4)根据数传模型的被测对象运行时序,配置数传模型的数据传输时序。(5)根据测试需求,从步骤(2)部件单机实例库中选择所需部件单机,作为1553总线的通信网络节点,构建1553总线的通信网络拓扑结构;(6)根据测试需求,在测试过程中动态修改通信网络拓扑结构,包括在1553总线的通信网络中新增通信网络节点,删除通信网络节点;(7)根据测试过程产生的测试数据,判断被测对象在1553总线的通信网络拓扑结构下的通信有效性。
-
公开(公告)号:CN104743137B
公开(公告)日:2017-01-04
申请号:CN201510098358.7
申请日:2015-03-05
Applicant: 北京控制工程研究所
IPC: B64G1/52
Abstract: 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操作,否则,结束本周期的故障诊断,本发明将判断故障发生的时序条件抽象为事件,将故障处理措施抽象为动作,通过事件队列实现故障诊断与处理,实现了复杂故障诊断与处理场景的形式化描述,为了清晰、无二义性地描述航天器故障诊断的需求提供了一种方法,该方法既有利于航天器故障诊断与处理方案设计人员清晰明了地描述航天器故障诊断需求,又有利于实现故障诊断与处理方法的复用。
-
公开(公告)号:CN103646077A
公开(公告)日:2014-03-19
申请号:CN201310676324.2
申请日:2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
CPC classification number: G06F17/30165 , G06F17/30174
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法,步骤如下:建立远程数据存储库服务器,对数据进行集中存储和共享;在终端用户所使用的计算机本地硬盘上建立工作区,存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹,通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态,及与远程数据存储库数据的对应关系;本地工作区内的数据与数据存储库对应的数据实现被动同步;对数据存储库内数据的删除通过直接对数据存储库操作来实现,不涉及本地工作区与数据存储库的同步;对本地工作区数据的删除,仅执行对本地工作区数据的删除,不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
-
-
-
-
-
-
-
-