-
Patent Agency Ranking
公开(公告)号：CN113821076B
公开(公告)日：2023-10-27
申请号：CN202111182277.7
申请日：2021-10-11
Applicant: 上海航天计算机技术研究所
IPC: G06F1/12
Abstract: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法，包括多个虚拟数字单机和时序同步中心节点；所述虚拟数字单机用于模拟硬件芯片的指令执行；所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间；多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制，同时解决了虚拟时钟下，不同虚拟数字单机运行时序不同步的问题，大大提高了虚拟仿真系统的可靠性和安全性。
-
公开(公告)号：CN113849413A
公开(公告)日：2021-12-28
申请号：CN202111201800.6
申请日：2021-10-15
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。
-
公开(公告)号：CN113886051B
公开(公告)日：2024-10-25
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN113886051A
公开(公告)日：2022-01-04
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN113821076A
公开(公告)日：2021-12-21
申请号：CN202111182277.7
申请日：2021-10-11
Applicant: 上海航天计算机技术研究所
IPC: G06F1/12
Abstract: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法，包括多个虚拟数字单机和时序同步中心节点；所述虚拟数字单机用于模拟硬件芯片的指令执行；所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间；多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制，同时解决了虚拟时钟下，不同虚拟数字单机运行时序不同步的问题，大大提高了虚拟仿真系统的可靠性和安全性。
-
-
-
-
Search Results
5
records
(took 0.025 seconds)
