-
公开(公告)号：CN109799728A
公开(公告)日：2019-05-24
申请号：CN201811252922.6
申请日：2018-10-25
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G05B17/02
Abstract: 本发明公开了一种基于层次化自适应策略的容错CPS仿真测试方法，包括以下步骤：容错CPS仿真资源模型的建立与测试资源的分配，包括建立容错CPS仿真资源的分层模型和测试资源的自适应分配；容错CPS仿真测试，包括层间消息传递和协同仿真时序推进；基于滑动窗口的节点活性检测。本发明用于容错CPS系统的仿真测试，既能实现测试资源的有效分配，提高测试效率，节约时间和成本，又能针对不同规模的CPS系统进行动态自适应，构建可伸缩的测试平台，还能针对容错CPS系统多模冗余的特点进行有效的测试执行，高效地对测试主从节点的一致性进行判定，确保冗余策略有效。
-
公开(公告)号：CN108959095A
公开(公告)日：2018-12-07
申请号：CN201810762652.7
申请日：2018-07-12
Applicant: 中国工程物理研究院计算机应用研究所
CPC classification number: G06F11/366 , G06F11/079
Abstract: 本发明公开了一种基于XML Schema验证XML文档的方法，包括：S1，Java语言实现DOM编程接口，解析XML文档以获取相应的解析文档DOMdoc；S2，对解析文档DOMdoc进行完整性校验，以判断其是否存在语法错误；S3，输出错误信息；S4，定义错误位置追踪函数。本发明提供一种基于XML Schema验证XML文档的方法，其能够基于XML Schema验证XML文档语法正确性之外，在具体的应用中还支持错误信息输出和错误信息追踪，方便数据编辑人员了解错误原因和快速找到语法出错位置，以便对语法错误做出准确快速的修改。
-
公开(公告)号：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: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
Patent Agency Ranking
公开(公告)号：CN108804238B
公开(公告)日：2022-03-04
申请号：CN201810273776.9
申请日：2018-03-29
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F9/54
Abstract: 本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软总线将基于消息派发的集中式总线结构重新划分，分布在不同组件之间，形成“网络化”的总线结构，灵活实现多设备、多总线类型、多总线协议的通讯机制，具有分布式通信、强实时性、Actor‑Actor对等通信等特点，支持同步及异步通信方式，极大的提升了分布式网络的通信效率及性能。
-
公开(公告)号：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: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征；基于线性加权与非线性加权的可信值集结；可信特征对软件可信性实际贡献分析；可信特征对软件可信性实际贡献与期望贡献偏差分析；可信特征对软件可信性实际贡献与理想贡献占比分析；软件可信改进分析。本发明采用层次性结构实现软件可信评估架构，获得以相同量值度量元可信度提升的软件可信改进最好效果的目标，能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号：CN110309085A
公开(公告)日：2019-10-08
申请号：CN201910440318.4
申请日：2019-05-24
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封装和内部结构层次设计；外部接口包括地址总线接口、数据总线接口、控制请求信号接口、数据请求信号接口和完成信号接口，内部层次结构包括前者包含后者的主控制单元、字节控制单元和比特控制单元。本发明能够提高I2C接口验证控制器的可配置性、可复用性、操作简便性，I2C接口验证充分性和效率都得到极大提高，验证效率至少提高40％以上。
-
公开(公告)号：CN109669363A
公开(公告)日：2019-04-23
申请号：CN201811250669.0
申请日：2018-10-25
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G05B17/02
Abstract: 本发明公开了一种基于状态行为树的自动化仿真测试优化方法。包括以下步骤：层次化的测试脚本设计；状态行为树模型的建立，包括状态行为树的初建和构成；基于最大公共子树的测试优化，包括状态行为树编码和最大公共子树求解；混合实时任务调度，包括任务调度模型的建立和任务调度策略的制定。本发明用于半实物和全数字相结合的仿真测试的优化，既能实现测试执行的自动化，提高测试效率，又能将半实物和全数字进行有机结合开展协同仿真测试，对测试执行进行优化，还能对两种类型仿真测试任务进行合理调度，提高仿真系统的性能。
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.032 seconds)
