-
公开(公告)号: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: 并发中断驱动软件系统的时序确定方法,通过功能分配,为每个具体的功能模块进行处理时间和调用时间间隔的时序确定,并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配,在设计中就考虑了时序约束,易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大,需要统筹考虑,如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计,减少了中断驱动软件系统行为的不确定性。
-
-
公开(公告)号:CN103744813B
公开(公告)日:2016-03-30
申请号:CN201310751624.2
申请日:2013-12-31
Applicant: 北京控制工程研究所
Abstract: 一种保障1553B总线通信时序正确性的时序确定方法,根据1553B总线各个子地址通讯方式和特点,确定了通讯的时序要求,保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求,为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求,还给出了多个通讯共同完成同一系统功能时,需要考虑的时序问题。这样减少了软件系统行为的不确定性。
-
公开(公告)号:CN103678136B
公开(公告)日:2015-07-08
申请号:CN201310744664.4
申请日:2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法,目的在于降低误报、提高分析准确度。一般认为,主程序和中断服务程序具有共享变量时,如果二者中至少一个对该共享变量进行了写操作,那么该变量可能会发生数据竞争。本发明以语法分析技术为基础,结合领域特征,识别无害的数据竞争,降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率,有利于发现真正有害的数据竞争。
-
公开(公告)号:CN104743137A
公开(公告)日:2015-07-01
申请号:CN201510098358.7
申请日:2015-03-05
Applicant: 北京控制工程研究所
IPC: B64G1/52
Abstract: 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操作,否则,结束本周期的故障诊断,本发明将判断故障发生的时序条件抽象为事件,将故障处理措施抽象为动作,通过事件队列实现故障诊断与处理,实现了复杂故障诊断与处理场景的形式化描述,为了清晰、无二义性地描述航天器故障诊断的需求提供了一种方法,该方法既有利于航天器故障诊断与处理方案设计人员清晰明了地描述航天器故障诊断需求,又有利于实现故障诊断与处理方法的复用。
-
公开(公告)号:CN103677849B
公开(公告)日:2015-04-15
申请号:CN201310738865.3
申请日:2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法,通过构建基于可信要素的五元组技术体系,实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础,将软件可信性保障按照可信要素分配到软件研制各阶段,使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动,保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段,与目前大多数依赖过程管理体系保证软件质量的方法有明显不同,实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号:CN103677849A
公开(公告)日:2014-03-26
申请号:CN201310738865.3
申请日:2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法,通过构建基于可信要素的五元组技术体系,实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础,将软件可信性保障按照可信要素分配到软件研制各阶段,使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动,保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段,与目前大多数依赖过程管理体系保证软件质量的方法有明显不同,实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号:CN110413409A
公开(公告)日:2019-11-05
申请号:CN201910636830.6
申请日:2019-07-15
Applicant: 北京控制工程研究所
Abstract: 一种多探头星敏感器多核系统任务分配的方法,包括如下步骤:S1、在任一周期内,主核能够获取所有从核在下一周期内的负载数量,并对所有从核排序,然后进入下一周期;S2、当任一从核K1完成负载识别任务后,主核根据所述从核K1中断的时间获取本周期内的剩余时间;S3、主核根据S1中的从核排序、S2中的本周期内的剩余时间,获得本周期的剩余时间内从核K1能够完成的负载识别数量M,然后主核将负载数量最高的从核K2的最后M个负载识别任务分配给从核K1;最后主核根据重新分配后的负载数量更新S1中的所有从核排序;S4、重复S2~S3,直到所有从核的负载识别任务完成。本方法能够实现从核任务负载最大化实时均衡目的。
-
公开(公告)号:CN103646077B
公开(公告)日:2016-03-30
申请号:CN201310676324.2
申请日:2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法,步骤如下:建立远程数据存储库服务器,对数据进行集中存储和共享;在终端用户所使用的计算机本地硬盘上建立工作区,存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹,通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态,及与远程数据存储库数据的对应关系;本地工作区内的数据与数据存储库对应的数据实现被动同步;对数据存储库内数据的删除通过直接对数据存储库操作来实现,不涉及本地工作区与数据存储库的同步;对本地工作区数据的删除,仅执行对本地工作区数据的删除,不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
-
-
-
-
-
-
-
-