公开(公告)号：CN103646077A

公开(公告)日：2014-03-19

申请号：CN201310676324.2

申请日：2013-12-11

Applicant: 北京控制工程研究所

Inventor： 赵雷 ,  陈睿 ,  郭向英 ,  王政 ,  陈尧 ,  胡智琦 ,  沈沛 ,  郝伟 ,  褚楠

IPC: G06F17/30

CPC classification number: G06F17/30165 ,  G06F17/30174

Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。

公开(公告)号：CN103646077B

公开(公告)日：2016-03-30

申请号：CN201310676324.2

申请日：2013-12-11

Applicant: 北京控制工程研究所

Inventor： 赵雷 ,  陈睿 ,  郭向英 ,  王政 ,  陈尧 ,  胡智琦 ,  沈沛 ,  郝伟 ,  褚楠

IPC: G06F17/30

Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。

公开(公告)号：CN103714035A

公开(公告)日：2014-04-09

申请号：CN201310751618.7

申请日：2013-12-31

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  郭向英 ,  顾斌 ,  赵雷 ,  陈睿 ,  郝伟 ,  盛庄 ,  黄晨 ,  沈沛

IPC: G06F13/40

Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。

公开(公告)号：CN103714035B

公开(公告)日：2015-07-08

申请号：CN201310751618.7

申请日：2013-12-31

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  郭向英 ,  顾斌 ,  赵雷 ,  陈睿 ,  郝伟 ,  盛庄 ,  黄晨 ,  沈沛

IPC: G06F13/40

Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。

公开(公告)号：CN103677849B

公开(公告)日：2015-04-15

申请号：CN201310738865.3

申请日：2013-12-26

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  顾斌 ,  陈睿 ,  郭向英 ,  赵雷 ,  董晓刚 ,  綦艳霞 ,  王政 ,  陈尧 ,  乔磊 ,  沈沛 ,  郝伟

IPC: G06F9/44

Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。

公开(公告)号：CN103677849A

公开(公告)日：2014-03-26

申请号：CN201310738865.3

申请日：2013-12-26

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  顾斌 ,  陈睿 ,  郭向英 ,  赵雷 ,  董晓刚 ,  綦艳霞 ,  王政 ,  陈尧 ,  乔磊 ,  沈沛 ,  郝伟

IPC: G06F9/44

Abstract: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。