-
公开(公告)号:CN113886467B
公开(公告)日:2024-05-14
申请号:CN202111242499.3
申请日:2021-10-25
Applicant: 上海航天计算机技术研究所
IPC: G06F16/2458 , G06F16/28
Abstract: 本发明公开了一种基于关键词提取的软件缺陷库维护方法及系统,通过预先设置用于存储软件缺陷的数据库,预先设置用于存储缺陷关键词的数据库,预先确定软件缺陷和特征信息的映射关系,还包括确定软件缺陷特征信息,根据缺陷软件信息关联已有关键词,判断已有关键词与软件缺陷的匹配度,通过文本挖掘或人工录入方法获取新的关键词,建立一条特征信息采用关键词匹配的软件缺陷记录。
-
公开(公告)号:CN111245919B
公开(公告)日:2022-09-20
申请号:CN202010015828.X
申请日:2020-01-07
Applicant: 上海航天计算机技术研究所
IPC: H04L67/10 , H04L69/00 , H04L49/9005 , H04L67/30 , H04L67/51
Abstract: 本发明提供了一种基于OpenDDS的反射内存网组织管理方法,本发明利用OpenDDS订阅/发布的模式将通信双方抽象成发布者和订阅者,通信双方松耦合的网络形式使得网络节点可以随时加入订阅或取消订阅,实现网络节点的实时更新、网络在线重组;仿照共享内存的方式管理反射内存网,能够随时开辟内存空间,灵活控制缓冲区大小,不再需要由用户手动控制内存偏移量,保证反射内存卡内存空间的高效利用。
-
公开(公告)号:CN113810167B
公开(公告)日:2023-05-09
申请号:CN202111135710.1
申请日:2021-09-27
Applicant: 上海航天计算机技术研究所
IPC: H04L7/00 , H04L7/04 , H04L67/1095
Abstract: 本发明公开了一种分布式系统的时序控制与同步方法,该方法包括:S100:预设时序控制与同步策略,编写时序控制与同步程序,并在进行封装后形成节点控制程序包,以使节点控制程序包作为独立线程在对应节点上运行;S200:基于各节点中封装后的节点控制程序包,根据不同的场景分类,在对应节点的发送数据处以及接收数据处,利用节点控制程序包对本地节点及相邻节点执行包括不做控制、挂起、暂停、缓存、恢复在内的不同时序控制,以便分布式系统网络的全局时序控制与同步。本发明结同步机制简单、低功耗,利用数据流保证节点间的依赖关系,并且收发同步不因节点的运行速度差异而变换,不需要引入额外控制端。
-
公开(公告)号:CN111200533A
公开(公告)日:2020-05-26
申请号:CN202010016113.6
申请日:2020-01-07
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于OpenDDS的分布式网络配置部署方法,本发明提供的基于OpenDDS的分布式网络配置部署方法,通过使用配置文件和封装编程接口的方式向工程人员提供简化的OpenDDS网络中间件,使得工程人员能够在不具备OpenDDS相关知识的情况下,快速完成分布式网络的配置部署。
-
公开(公告)号:CN113886051B
公开(公告)日:2024-10-25
申请号:CN202111244730.2
申请日:2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法,根据软件任务书和系统环境构建事件流,并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1};根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3};根据软件设计架构确定各事件调用软件任务调用的的关系{R1};根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4};形成{M3}和{M4}的映射;得到每个资源的使用频段;是否存在资源冲突,以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况,可以根据软件实际运用场景精确定位软件资源冲突,并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号:CN113886467A
公开(公告)日:2022-01-04
申请号:CN202111242499.3
申请日:2021-10-25
Applicant: 上海航天计算机技术研究所
IPC: G06F16/2458 , G06F16/28
Abstract: 本发明公开了一种基于关键词提取的软件缺陷库维护方法及系统,通过预先设置用于存储软件缺陷的数据库,预先设置用于存储缺陷关键词的数据库,预先确定软件缺陷和特征信息的映射关系,还包括确定软件缺陷特征信息,根据缺陷软件信息关联已有关键词,判断已有关键词与软件缺陷的匹配度,通过文本挖掘或人工录入方法获取新的关键词,建立一条特征信息采用关键词匹配的软件缺陷记录。
-
公开(公告)号: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: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法,包括多个虚拟数字单机和时序同步中心节点;所述虚拟数字单机用于模拟硬件芯片的指令执行;所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间;多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制,同时解决了虚拟时钟下,不同虚拟数字单机运行时序不同步的问题,大大提高了虚拟仿真系统的可靠性和安全性。
-
公开(公告)号:CN111245919A
公开(公告)日:2020-06-05
申请号:CN202010015828.X
申请日:2020-01-07
Applicant: 上海航天计算机技术研究所
IPC: H04L29/08 , H04L29/06 , H04L12/861
Abstract: 本发明提供了一种基于OpenDDS的反射内存网组织管理方法,本发明利用OpenDDS订阅/发布的模式将通信双方抽象成发布者和订阅者,通信双方松耦合的网络形式使得网络节点可以随时加入订阅或取消订阅,实现网络节点的实时更新、网络在线重组;仿照共享内存的方式管理反射内存网,能够随时开辟内存空间,灵活控制缓冲区大小,不再需要由用户手动控制内存偏移量,保证反射内存卡内存空间的高效利用。
-
公开(公告)号:CN113821076B
公开(公告)日:2023-10-27
申请号:CN202111182277.7
申请日:2021-10-11
Applicant: 上海航天计算机技术研究所
IPC: G06F1/12
Abstract: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法,包括多个虚拟数字单机和时序同步中心节点;所述虚拟数字单机用于模拟硬件芯片的指令执行;所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间;多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制,同时解决了虚拟时钟下,不同虚拟数字单机运行时序不同步的问题,大大提高了虚拟仿真系统的可靠性和安全性。
-
-
-
-
-
-
-
-
-