-
公开(公告)号:CN109471761A
公开(公告)日:2019-03-15
申请号:CN201811265820.8
申请日:2018-10-29
Applicant: 北京京航计算通讯研究所
IPC: G06F11/22 , G06F11/263
Abstract: 本发明属于软件测评技术领域,具体涉及一种应用FPGA的嵌入式实时操作系统时间性能测试系统。为准确测量嵌入式实时操作系统的时间性能指标,本发明提供了一种嵌入式操作系统时间性能测量系统,其通过FPGA触发激励信号及测量参数配置,目标机上时间性能测试程序运行,FPGA接收响应信号,FPGA计算时间间隔,时间间隔数据存储和数据据转发至上位机,上位机进行时间性能分析。本发明技术方案采用FPGA测量与目标机测试功能相结合的测试方案,将计时功能与外部激励由FPGA实现,减少测试程序中的系统调用,减小信号延迟时间,提高了嵌入式实时操作系统时间性能测试的灵活性。
-
公开(公告)号:CN114610614A
公开(公告)日:2022-06-10
申请号:CN202210228824.9
申请日:2022-03-08
Applicant: 北京京航计算通讯研究所
Abstract: 一种可编程逻辑器件封装模块的安全性测试方法和系统,方法包括以下步骤:针对所述封装模块的每个功能,采用软件故障树分析法和软件失效模式与影响分析法进行故障分析,得到每个功能对应的综合故障树;以每个所述综合故障树中的最小割集为约束条件构建测试用例,所有测试用例构成测试用例集合;采用遗传算法从所述测试用例集合中选择最优测试用例组,所述最优测试用例组对所述可编程逻辑器件的封装模块进行测试,得到所述可编程逻辑器件的封装模块的安全性测试结果。
-
公开(公告)号:CN111049718B
公开(公告)日:2021-07-20
申请号:CN201911391307.8
申请日:2019-12-30
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于CAN总线通信工程技术领域,具体涉及一种CAN总线模拟监控方法。与现有技术相比,本发明设计的CAN总线模拟监控方案利用硬件方案和逻辑架构的优势,提高了数据传输的实时性;另外,增加了触发控制数据收发、设置定时时间完成数据发送和可设置的数据屏蔽接收等功能。提高了CAN总线在不同的行业应用中的适应性,满足各类使用需求。
-
公开(公告)号:CN108153669B
公开(公告)日:2021-01-08
申请号:CN201711225458.7
申请日:2017-11-29
Applicant: 北京京航计算通讯研究所
Inventor: 郑金艳 , 张清 , 陈朋 , 安鹏伟 , 刘伟 , 魏伟波 , 孙文靖 , 康建涛 , 高晓琼 , 张依漪 , 孟琪 , 张骢 , 陈盼 , 季微微 , 李昂 , 马培培 , 李志刚 , 王赢超 , 李春静 , 王莹
IPC: G06F11/36
Abstract: 本发明属于FPGA软件仿真测试技术领域,具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现,以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上,该坐标轴是由横向器件和纵向时间组成的二维坐标轴,通过采用对坐标轴中每个目标按照时序要求配置任务点的方式,实现测试用例的系统化和时序化操作,进而提高FPGA软件仿真任务调度的系统配置能力,提高测试用例批处理能力。
-
公开(公告)号:CN111158339A
公开(公告)日:2020-05-15
申请号:CN201911392669.9
申请日:2019-12-30
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明属于CAN总线通信工程技术领域,具体涉及一种CAN总线模拟监控系统。与现有技术相比,本发明设计的CAN总线模拟监控方案利用硬件方案和逻辑架构的优势,提高了数据传输的实时性;另外,增加了触发控制数据收发、设置定时时间完成数据发送和可设置的数据屏蔽接收等功能。提高了CAN总线在不同的行业应用中的适应性,满足各类使用需求。
-
公开(公告)号:CN111124896B
公开(公告)日:2022-12-02
申请号:CN201911244946.1
申请日:2019-12-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于主次峰值比计算算法测试领域,具体涉及一种主次峰值比计算算法的蜕变测试系统。所述系统包括蜕变关系提取模块、附加测试用例生成模块以及验证模块;所述蜕变关系提取模块用于依据主次峰值比计算算法输入的区域图像及邻域图像提取蜕变关系;所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例,将附加测试用例输出至验证模块;所述验证模块用于将原始测试用例和附加测试用例输入被测程序,验证被测程序是否存在缺陷。与现有技术相比本发明由于蜕变测试系统来源于算法内部的几何属性、数值属性和算法特性,无需获取绝对准确的期望结果,可以很好地解决重构标准模型的测试判定不确定性的问题。
-
公开(公告)号:CN114079562A
公开(公告)日:2022-02-22
申请号:CN202111368157.6
申请日:2021-11-18
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种基于门限秘密共享的软件定义网络数据安全传输方法,属于网络空间安全技术领域,解决了现有物联网中网络数据传输安全性不足和可靠性差的问题。包括交换机接收到源主机发送的连接请求数据包后发送给控制器;控制器根据历史通信记录和网络拓扑识别是否需要重新选择转发路径;需要则计算得到多条新转发路径和路径权重;源主机接收到目的主机发送的连接请求回复后,运行k‑n门限加密算法对原始数据加密处理,得到n份密文数据,根据当前多条转发路径和路径权重选择k条转发路径发送n份密文数据;当目标主机接收到不重复密文数据的份数大于等于k时,对密文数据解密得到原始数据。实现了多路径的动态选择和实时权重更新,提高了安全性。
-
公开(公告)号:CN111158339B
公开(公告)日:2021-05-18
申请号:CN201911392669.9
申请日:2019-12-30
Applicant: 北京京航计算通讯研究所
IPC: G05B23/02
Abstract: 本发明属于CAN总线通信工程技术领域,具体涉及一种CAN总线模拟监控系统。与现有技术相比,本发明设计的CAN总线模拟监控方案利用硬件方案和逻辑架构的优势,提高了数据传输的实时性;另外,增加了触发控制数据收发、设置定时时间完成数据发送和可设置的数据屏蔽接收等功能。提高了CAN总线在不同的行业应用中的适应性,满足各类使用需求。
-
公开(公告)号:CN111444084A
公开(公告)日:2020-07-24
申请号:CN201911296104.0
申请日:2019-12-16
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件测评相关技术领域,具体涉及一种基于Bayes的军用软件质量度量方法,基于人工智能理论中Bayes的推理网络,提出了一种基于Bayes的军用软件质量度量方法。该方法以概率的形式描述了各个度量元对军用软件质量的影响,并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方法,本发明的技术方法提高军用软件质量度量的准确性、可靠性。
-
公开(公告)号:CN111049718A
公开(公告)日:2020-04-21
申请号:CN201911391307.8
申请日:2019-12-30
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于CAN总线通信工程技术领域,具体涉及一种CAN总线模拟监控方法。与现有技术相比,本发明设计的CAN总线模拟监控方案利用硬件方案和逻辑架构的优势,提高了数据传输的实时性;另外,增加了触发控制数据收发、设置定时时间完成数据发送和可设置的数据屏蔽接收等功能。提高了CAN总线在不同的行业应用中的适应性,满足各类使用需求。
-
-
-
-
-
-
-
-
-