-
Patent Agency Ranking
公开(公告)号：CN116680039A
公开(公告)日：2023-09-01
申请号：CN202310675966.4
申请日：2023-06-08
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种具有冗余特性的虚拟仿真系统的实现方法：将可执行代码经指令集模拟器进行编译，得到可执行文件。执行横向处理：各虚拟单机之间进行数据交换，对各虚拟单机的数据采集要素进行比对后判别，根据冗余特性进行处理得到冗余表决处理结果；执行纵向处理：根据冗余表决处理结果令各虚拟单机执行相应工作，运行可执行文件或是拷贝数据；开辟第一队列和第二队列，第一队列存储需要比对的数据采集要素，第二队列存储未出结果的比对模块数据采集要素。本发明依赖目标码汇编语言的比对，将数据采集要素存储为数组的形式进行比对与复制，同时开辟两块队列的存储空间，用于存储比对过程中的过程数据，以此实现了虚拟仿真系统中冗余架构的实现。
-
公开(公告)号：CN116955170A
公开(公告)日：2023-10-27
申请号：CN202310860326.0
申请日：2023-07-13
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明提供了一种火箭测发软件自动化测试系统，包括：处理器、显示器、输入设备，所述处理器中加载有人机交互模块、接口管理模块、数据分析模块、流程控制模块、数据管理模块，其中：所述显示器，用于显示测试结果；所述处理器，用于生成和自动执行火箭测发软件的测试用例，以及提供测试用例的编辑操作，以支持针对所述测试用例的修改和回归测试。实现根据测试需求编辑测试流程，提供辅助测试用例的设计功能。测试流程自动执行后，可生成可编辑格式的测试记录，节约测试人员的测试时间，减少文档编写工作量。本发明中的系统可覆盖功能、性能、接口、强度、人机交互、安全性等测试类型。
-
公开(公告)号：CN113821076B
公开(公告)日：2023-10-27
申请号：CN202111182277.7
申请日：2021-10-11
Applicant: 上海航天计算机技术研究所
IPC: G06F1/12
Abstract: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法，包括多个虚拟数字单机和时序同步中心节点；所述虚拟数字单机用于模拟硬件芯片的指令执行；所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间；多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制，同时解决了虚拟时钟下，不同虚拟数字单机运行时序不同步的问题，大大提高了虚拟仿真系统的可靠性和安全性。
-
公开(公告)号：CN119847935A
公开(公告)日：2025-04-18
申请号：CN202510029685.0
申请日：2025-01-08
Applicant: 上海航天计算机技术研究所
IPC: G06F11/3668 , G06F18/241 , G06F40/186 , G06F9/30 , B64G1/24
Abstract: 本发明公开了一种卫星程控执行过程测试用例的生成方法，通过收集卫星程控过程中的指令特征，对指令进行分类，建立程控输出指令库；收集卫星程控过程中的执行过程特征，建立程控指令过程表；按需设置测试特征值，根据测试特征值，读取程控指令过程表，生成对应的测试程序序列。能够有效覆盖指定程控指令序列的所有路径，同时能精准覆盖指定测试特征值相关的程控指令序列的路径，提高卫星程控指令序列测试的效率、覆盖性和有效性。
-
公开(公告)号：CN113821076A
公开(公告)日：2021-12-21
申请号：CN202111182277.7
申请日：2021-10-11
Applicant: 上海航天计算机技术研究所
IPC: G06F1/12
Abstract: 本发明提供了一种基于虚拟时钟的虚拟仿真系统及同步方法，包括多个虚拟数字单机和时序同步中心节点；所述虚拟数字单机用于模拟硬件芯片的指令执行；所述虚拟数字单机能够根据模拟的指令机器周期数计算得到该虚拟数字单机在虚拟时钟环境下的运行时间；多个所述虚拟数字单机之间通过所述时序同步中心节点进行时序同步。本发明可根据不同需求进行分组控制，同时解决了虚拟时钟下，不同虚拟数字单机运行时序不同步的问题，大大提高了虚拟仿真系统的可靠性和安全性。
-
-
-
-
Search Results
5
records
(took 0.022 seconds)
