-
公开(公告)号：CN103257606B
公开(公告)日：2015-08-19
申请号：CN201310142187.4
申请日：2013-04-22
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIFO控制器模块、指示灯模块和通道采样率选择/采样模块。本发明采用单片机系统+FPGA系统架构，具有高速实时采样的优点。单片机系统实现GPIF状态机的同步时钟采用100MHz工作，实现了USB总线实时传输600Mbps采样原始数据。
-
公开(公告)号：CN103646077A
公开(公告)日：2014-03-19
申请号：CN201310676324.2
申请日：2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
CPC classification number: G06F17/30165 , G06F17/30174
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
公开(公告)号：CN103257606A
公开(公告)日：2013-08-21
申请号：CN201310142187.4
申请日：2013-04-22
Applicant: 北京控制工程研究所
IPC: G05B19/042
Abstract: 一种USB接口高速实时采样逻辑分析仪，包括单片机系统和FPGA系统，其中，单片机系统包括USB接口模块、GPIF模块、SPI总线模块、FPGA引导配置模块和RAM程序执行模块；FPGA系统包括FPGA程序执行模块、FIFO控制器模块、指示灯模块和通道采样率选择/采样模块。本发明采用单片机系统+FPGA系统架构，具有高速实时采样的优点。单片机系统实现GPIF状态机的同步时钟采用100MHz工作，实现了USB总线实时传输600Mbps采样原始数据。
-
公开(公告)号：CN103714035B
公开(公告)日：2015-07-08
申请号：CN201310751618.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G06F13/40
Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
-
Patent Agency Ranking
公开(公告)号：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: 本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。
-
公开(公告)号：CN102419731A
公开(公告)日：2012-04-18
申请号：CN201110412481.3
申请日：2011-12-08
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: C语言嵌入式软件插桩及动态测试覆盖率信息提取方法，把C语言程序看做一个由各分支点组成的数组，每一个分支点对应数组中的一个元素，每个元素定义为两种状态，“1”表示执行过，“0”表示未执行过。然后将数组定义在专用存储区。随后在C语言程序各分支点处，增加向定义在专用存储区的分支点信息数组输出该分支点是否被执行信息的操作代码。执行增加操作代码以后的C语言程序，执行完毕后从专用存储区提取分支点信息数组，根据分支点信息数组中各元素的状态即可确定C语言程序中各分支点的执行情况，由此得到C语言程序的动态测试覆盖率。本发明方法具有代码膨胀率小，分支点信息所占存储空间小，覆盖率信息提取方便的特点。
-
公开(公告)号：CN103646077B
公开(公告)日：2016-03-30
申请号：CN201310676324.2
申请日：2013-12-11
Applicant: 北京控制工程研究所
IPC: G06F17/30
Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法，步骤如下：建立远程数据存储库服务器，对数据进行集中存储和共享；在终端用户所使用的计算机本地硬盘上建立工作区，存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹，通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态，及与远程数据存储库数据的对应关系；本地工作区内的数据与数据存储库对应的数据实现被动同步；对数据存储库内数据的删除通过直接对数据存储库操作来实现，不涉及本地工作区与数据存储库的同步；对本地工作区数据的删除，仅执行对本地工作区数据的删除，不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。
-
公开(公告)号：CN103714035A
公开(公告)日：2014-04-09
申请号：CN201310751618.7
申请日：2013-12-31
Applicant: 北京控制工程研究所
IPC: G06F13/40
Abstract: 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为树根，形成多层的树状结构；插件是集成环境中被集成的软件的封装，以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性，能够通过增加新的局部总线，对总线协议进行扩展，以针对新类型工具进行更加高效、紧密的集成。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.03 seconds)
