-
公开(公告)号：CN102063328A
公开(公告)日：2011-05-18
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
公开(公告)号：CN102063328B
公开(公告)日：2012-12-26
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
Patent Agency Ranking
公开(公告)号：CN102063370B
公开(公告)日：2013-10-16
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN103116361A
公开(公告)日：2013-05-22
申请号：CN201310055410.1
申请日：2013-02-21
Applicant: 北京控制工程研究所
IPC: G05D1/10
Abstract: 本发明公开了一种卫星动量轮控制下的变轨间隔确定方法，包括以下步骤：（1）计算动量轮能够承受的最大角动量变化；（2）获取轨控推力器带来的干扰力矩；（3）计算干扰角动量的幅值；（4）计算动量轮控制下的变轨时间间隔；（5）地面注入本次变轨序列的变轨数据块；（6）执行变轨。本发明方法在动量轮控制下进行，一方面不至于动量轮饱和，另一方面，本发明设计的变轨方式不需要姿控发动机喷气，仅仅需要轨控发动机喷气即可实现变轨，节省燃料。
-
公开(公告)号：CN102063370A
公开(公告)日：2011-05-18
申请号：CN201010611254.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种从总线指令流中提取实际执行指令和预取指令的方法，本发明根据8086/186/386处理器的片上缓存行为，仅在8086/186/386处理器总线指令流断裂时进行预取指令分析，且仅对当前缓存内指令流遍历一遍，能够准确而有效地过滤总线上出现的预取指令，分析得到处理器实际执行指令，从而提高了测试效率。由于8086、80186、80386处理器指令集的一致性、处理器缓存操作的相似性(仅缓存大小略有不同)，本发明完全可以通用于这3款处理器的目标码覆盖率测试。
-
公开(公告)号：CN103116361B
公开(公告)日：2013-11-20
申请号：CN201310055410.1
申请日：2013-02-21
Applicant: 北京控制工程研究所
IPC: G05D1/10
Abstract: 本发明公开了一种卫星动量轮控制下的变轨间隔确定方法，包括以下步骤：（1）计算动量轮能够承受的最大角动量变化；（2）获取轨控推力器带来的干扰力矩；（3）计算干扰角动量的幅值；（4）计算动量轮控制下的变轨时间间隔；（5）地面注入本次变轨序列的变轨数据块；（6）执行变轨。本发明方法在动量轮控制下进行，一方面不至于动量轮饱和，另一方面，本发明设计的变轨方式不需要姿控发动机喷气，仅仅需要轨控发动机喷气即可实现变轨，节省燃料。
-
公开(公告)号：CN102419730A
公开(公告)日：2012-04-18
申请号：CN201110412461.6
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种51汇编语言软件安全性编码规则自动检查方法，首先确定针对51汇编语言的安全编码规则。然后将源代码按照统一格式重新排版，进行分离代码和注释、提取独立的单词助记符。随后在重新排版的源代码上增加子程序开始和结束标识，然后从得到的单词助记符中提取伪指令、指令、操作数、行号、标号并与51汇编语言语法规则进行匹配，识别出变量、相关指令、操作数、中断向量区、子程序、中断服务程序，由此提取各个子程序、中断服务程序的名称及起始行号和结束行号。最后根据提取结果以及结构分析结果，将制定的安全性编码规则作为标准，判断程序代码中是否存在错误并将判断结果输出。本方法具有分析准确率高、直接对应源程序、规则可扩展等特点。
-
-
-
-
-
-
Search Results
7
records
(took 0.031 seconds)
