-
公开(公告)号：CN103646077B
公开(公告)日：2016-03-30
申请号：CN201310676324.2
申请日：2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
-
公开(公告)号：CN103745153A
公开(公告)日：2014-04-23
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
CPC classification number: G06F21/52 , G06F11/3644
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103714035A
公开(公告)日：2014-04-09
申请号：CN201310751618.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G06F13/40
Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
-
公开(公告)号：CN103678136A
公开(公告)日：2014-03-26
申请号：CN201310744664.4
申请日：2013-12-30
Applicant: 北京控制工程研究所
Abstract: 一种基于控制流的数据竞争误报降低方法，是一种针对航天嵌入式C程序数据竞争检测的改进方法，目的在于降低误报、提高分析准确度。一般认为，主程序和中断服务程序具有共享变量时，如果二者中至少一个对该共享变量进行了写操作，那么该变量可能会发生数据竞争。本发明以语法分析技术为基础，结合领域特征，识别无害的数据竞争，降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率，有利于发现真正有害的数据竞争。
-
Patent Agency Ranking
公开(公告)号：CN103745153B
公开(公告)日：2015-07-08
申请号：CN201310746198.3
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F21/52
Abstract: 一种航天器软件空间使用安全性检查方法，是一种针对航天器软件内存空间使用安全的检查方法，目的在于检查航天器软件是否会出现内存使用违例的情况，包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时，全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时，程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下，完成上述两种软件空间使用安全问题的检查，具有良好的适应性。本发明方法的复杂度低，适用于大规模软件。
-
公开(公告)号：CN103714035B
公开(公告)日：2015-07-08
申请号：CN201310751618.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G06F13/40
Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
-
公开(公告)号：CN103699042B
公开(公告)日：2015-04-22
申请号：CN201310751632.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。
-
公开(公告)号：CN103955357A
公开(公告)日：2014-07-30
申请号：CN201410178279.2
申请日：2014-04-29
Applicant: 北京控制工程研究所
IPC: G06F9/40
Abstract: 一种动态二进制翻译指令集模拟器计时方法，本方法通过有效划分基本块，使得基本块每次执行时所占用的指令周期数可以在动态翻译阶段确定，从而实现模拟器的精确计时；计时过程包括下列步骤：(1)以跳转指令、分支指令和内存访问指令作为基本块的划分依据；(2)在动态翻译过程中，计算被翻译指令的周期数及所在内存区域的内存延迟大小，从而在动态翻译阶段确定基本块每执行一次所占用的指令周期数；(3)模拟器在执行翻译代码时，并以基本块为单位判断实时事件的响应时机。本方法能够对实时事件及时响应，可以满足航天嵌入式软件的强实时性需求，同时由于不需要逐条指令判断实时事件的响应时机，计时开销较小。
-
公开(公告)号：CN103646077A
公开(公告)日：2014-03-19
申请号：CN201310676324.2
申请日：2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
CPC classification number: G06F17/30165 , G06F17/30174
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.032 seconds)
