-
公开(公告)号：CN103678136B
公开(公告)日：2015-07-08
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
公开(公告)号：CN103677849B
公开(公告)日：2015-04-15
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号：CN104298619A
公开(公告)日：2015-01-21
申请号：CN201410505469.0
申请日：2014-09-26
Applicant: 北京控制工程研究所
IPC: G06F12/08
Abstract: 基于Ramdisk和固态硬盘的高速二级存储系统及数据存取方法，结合中小型企业信息化对服务器性能的较高需求，设计了一种结合固态硬盘、虚拟磁盘及RAID等多项技术的二级存储系统(服务器架构)。本架构是一种可以大幅提高读写性能的二级存储方式，使用固态硬盘作为基础存储介质，并结合RAID模块对固态硬盘的容错性和并发读写能力进行进一步提升；使用虚拟磁盘技术将内存的一部分规划成磁盘，作为高性能存储介质。在实际应用中，将应用及服务提前从固态硬盘阵列读取至虚拟硬盘，以获得高性能的内存计算速度，搭建高性能实时数据计算平台；将数据库部分存储于固态硬盘阵列中，可以实现的突发读写以及数据的随机读取。
-
公开(公告)号：CN103677849A
公开(公告)日：2014-03-26
申请号：CN201310738865.3
申请日：2013-12-26
Applicant: 北京控制工程研究所
IPC: G06F9/44
Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号：CN103955357B
公开(公告)日：2017-03-15
申请号：CN201410178279.2
申请日：2014-04-29
Applicant: 北京控制工程研究所
IPC: G06F9/40
Abstract: 一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤：(1)以跳转指令、分支指令和内存访问指令作为基本块的划分依据；(2)在动态翻译过程中，计算被翻译指令的周期数及所在内存区域的内存延迟大小，从而在动态翻译阶段确定基本块每执行一次所占用的指令周期数；(3)模拟器在执行翻译代码时，并以基本块为单位判断实时事件的响应时机。本方法能够对实时事件及时响应，可以满足航天嵌入式软件的强实时性需求，同时由于不需要逐条指令判断实时事件的响应时机，计时开销较小。
-
Patent Agency Ranking
公开(公告)号：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源程序包括的所有中断上下文。根据绝对地址之间的间接影响关系，判断中断上下文是否会触发数据访问冲突。与现有的数据访问冲突检测方法相比，本发明所提出的方法，能够降低漏报，提高分析准确度。
-
公开(公告)号：CN103699042A
公开(公告)日：2014-04-02
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
公开(公告)号：CN102063328B
公开(公告)日：2012-12-26
申请号：CN201010611695.9
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F9/46
Abstract: 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模块、中断状态分析模块、内存访问分析模块和竞争条件识别器。本发明采用静态检测方法，以源代码或汇编代码为输入，无需运行被测程序，能够在软件开发的早期阶段应用，自动化程度较高；对中断使能状态进行了迭代的过程间分析，其中，“迭代”能够最大限度地收集所有可能的中断切换情况，减少数据竞争检测的漏报；“过程间”考虑了函数调用以及中断进入对程序状态的影响，提高了检测的精确度和检测效率。
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.026 seconds)
