-
公开(公告)号：CN110569615A
公开(公告)日：2019-12-13
申请号：CN201910864496.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F17/50
Abstract: 本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌入式软件中全实物、半实物、全数字等节点的混合协同仿真，以便尽早、尽快完整模拟软件应用场景以发现潜在缺陷进行缺陷预防；本发明采用的基于滑动窗口的时钟同步方法可以在协同仿真执行过程中实现节点时钟的高效同步，解决时间一致性问题；本发明采用的基于时间系数矩阵的动态时间推进方法，确保仿真时序的正确推进。
-
公开(公告)号：CN108804238A
公开(公告)日：2018-11-13
申请号：CN201810273776.9
申请日：2018-03-29
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F9/54
Abstract: 本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软总线将基于消息派发的集中式总线结构重新划分，分布在不同组件之间，形成“网络化”的总线结构，灵活实现多设备、多总线类型、多总线协议的通讯机制，具有分布式通信、强实时性、Actor‑Actor对等通信等特点，支持同步及异步通信方式，极大的提升了分布式网络的通信效率及性能。
-
公开(公告)号：CN110569615B
公开(公告)日：2023-05-05
申请号：CN201910864496.X
申请日：2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F30/20
Abstract: 本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌入式软件中全实物、半实物、全数字等节点的混合协同仿真，以便尽早、尽快完整模拟软件应用场景以发现潜在缺陷进行缺陷预防；本发明采用的基于滑动窗口的时钟同步方法可以在协同仿真执行过程中实现节点时钟的高效同步，解决时间一致性问题；本发明采用的基于时间系数矩阵的动态时间推进方法，确保仿真时序的正确推进。
-
公开(公告)号：CN110442518B
公开(公告)日：2022-11-11
申请号：CN201910661748.9
申请日：2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN108804238B
公开(公告)日：2022-03-04
申请号：CN201810273776.9
申请日：2018-03-29
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F9/54
Abstract: 本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软总线将基于消息派发的集中式总线结构重新划分，分布在不同组件之间，形成“网络化”的总线结构，灵活实现多设备、多总线类型、多总线协议的通讯机制，具有分布式通信、强实时性、Actor‑Actor对等通信等特点，支持同步及异步通信方式，极大的提升了分布式网络的通信效率及性能。
-
Patent Agency Ranking
公开(公告)号：CN109799728B
公开(公告)日：2022-01-04
申请号：CN201811252922.6
申请日：2018-10-25
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G05B17/02
Abstract: 本发明公开了一种基于层次化自适应策略的容错CPS仿真测试方法，包括以下步骤：容错CPS仿真资源模型的建立与测试资源的分配，包括建立容错CPS仿真资源的分层模型和测试资源的自适应分配；容错CPS仿真测试，包括层间消息传递和协同仿真时序推进；基于滑动窗口的节点活性检测。本发明用于容错CPS系统的仿真测试，既能实现测试资源的有效分配，提高测试效率，节约时间和成本，又能针对不同规模的CPS系统进行动态自适应，构建可伸缩的测试平台，还能针对容错CPS系统多模冗余的特点进行有效的测试执行，高效地对测试主从节点的一致性进行判定，确保冗余策略有效。
-
公开(公告)号：CN110442518A
公开(公告)日：2019-11-12
申请号：CN201910661748.9
申请日：2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN109669363A
公开(公告)日：2019-04-23
申请号：CN201811250669.0
申请日：2018-10-25
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G05B17/02
Abstract: 本发明公开了一种基于状态行为树的自动化仿真测试优化方法。包括以下步骤：层次化的测试脚本设计；状态行为树模型的建立，包括状态行为树的初建和构成；基于最大公共子树的测试优化，包括状态行为树编码和最大公共子树求解；混合实时任务调度，包括任务调度模型的建立和任务调度策略的制定。本发明用于半实物和全数字相结合的仿真测试的优化，既能实现测试执行的自动化，提高测试效率，又能将半实物和全数字进行有机结合开展协同仿真测试，对测试执行进行优化，还能对两种类型仿真测试任务进行合理调度，提高仿真系统的性能。
-
公开(公告)号：CN105959347A
公开(公告)日：2016-09-21
申请号：CN201610246227.3
申请日：2016-04-20
Applicant: 中国工程物理研究院计算机应用研究所
IPC: H04L29/08
CPC classification number: H04L67/104
Abstract: 本发明提供了一种基于P2P网络的全数字协同仿真系统通信方法，所述的方法包括:基于P2P的全数字协同仿真模型，P2P构建及主题订阅与发布，基于数据交互的仿真时序推进，仿真节点的心跳检测；所述基于P2P的全数字协同仿真模型，包括：集成仿真控制台模块、软总线模块、虚拟目标机模块、辅助测试模块；所述集成仿真控制台模块负责系统仿真过程中仿真规则的执行，构造各仿真目标机之间的协同仿真逻辑关系；所述软总线模块是全数字协同仿真与验证系统的通信枢纽，为不同仿真节点间数据交互提供可靠、实时的底层保障；所述虚拟目标机模块是一个独立的仿真节点，它完全模拟硬件设备的功能实现，将整个硬件系统虚拟化到数字平台。
-
公开(公告)号：CN105843664A
公开(公告)日：2016-08-10
申请号：CN201610245988.7
申请日：2016-04-20
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F9/45
CPC classification number: G06F8/52
Abstract: 本发明提供了一种动态二进制翻译中基于代码热度的翻译缓存管理方法，所述方法包括步骤：将整个翻译缓存划分两级缓存；当有新的基本块需要翻译时，根据所述基本块的地址在所述热代码缓存查找代码块；根据所述基本块的地址在所述子代码缓存查找代码块；计算缓存所述代码块需要的空间大小；清空所述子代码缓存；翻译所述基本块,并将翻译后的代码块存入所述子代码缓存；执行所述代码块；统计所述代码块的执行次数，如果所述执行次数大于所述阈值，则将所述代码块缓存入所述热代码缓存；将所述基本块加入慢哈希表，将结果加入快哈希表。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.047 seconds)
