-
公开(公告)号：CN118539964A
公开(公告)日：2024-08-23
申请号：CN202410601138.0
申请日：2024-05-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: H04B7/185 , H04L41/14 , H04L41/06 , H04L43/0876 , H04L43/08
Abstract: 本发明提供了一种星载FPGA可配置通用测试系统，包括：硬件板卡搭载主芯片SOC和外设，用于为被测件提供运行时的外围电路环境，并提供实时的测试激励和回传测试结果；上位机用于用户对测试进行配置、流程控制和结果显示。本发明采用硬件板卡为被测件提供外围电路运行环境，使得测试时序贴近被测件真实运行场景；同时利用通用配置项协议实现实时配置传输功能，使得板卡能够为被测件实时提供测试激励，有效提高测试效率和测试覆盖率；通过多种故障注入模式，对被测件的稳定性进行深入测试，同时具备一定的自动化测试功能，还能够为用户提供集成好的测试接口，使得平台操作更加简便，可以有效降低用户的操作难度。
-
公开(公告)号：CN112487404B
公开(公告)日：2024-08-23
申请号：CN202011479691.X
申请日：2020-12-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F21/44
Abstract: 本发明提供了一种计算机安全审计系统及方法，包括：信息特征提取模块提取需交换信息的信息特征；时间特征提取模块提取需交换信息的时间特征，并提供至请求码生成模块；硬件特征提取模块提取需交换信息的硬件特征，并提供至请求码生成模块；请求码生成模块根据信息特征、时间特征及硬件特征生成请求码，发送至解锁码生成模块；解锁码生成模块根据请求码生成解锁码，提供至信息授权模块、时间授权模块、硬件授权模块及审计监视计算机；审计监视计算机根据解锁码进行信息的交换；信息授权模块根据解锁码监视需交换信息的的交换信息；时间授权模块根据解锁码监视需交换信息的的交换时间；硬件授权模块根据解锁码监视需交换信息的的交换硬件。
-
公开(公告)号：CN112487404A
公开(公告)日：2021-03-12
申请号：CN202011479691.X
申请日：2020-12-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F21/44
Abstract: 本发明提供了一种计算机安全审计系统及方法，包括：信息特征提取模块提取需交换信息的信息特征；时间特征提取模块提取需交换信息的时间特征，并提供至请求码生成模块；硬件特征提取模块提取需交换信息的硬件特征，并提供至请求码生成模块；请求码生成模块根据信息特征、时间特征及硬件特征生成请求码，发送至解锁码生成模块；解锁码生成模块根据请求码生成解锁码，提供至信息授权模块、时间授权模块、硬件授权模块及审计监视计算机；审计监视计算机根据解锁码进行信息的交换；信息授权模块根据解锁码监视需交换信息的的交换信息；时间授权模块根据解锁码监视需交换信息的的交换时间；硬件授权模块根据解锁码监视需交换信息的的交换硬件。
-
公开(公告)号：CN113392025B
公开(公告)日：2024-01-26
申请号：CN202110759404.9
申请日：2018-03-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种对可重构FPGA软件进行过程监控的方法，包括：利用可重构FPGA软件的专用验证测试系统在对重要内部信号进行复制监控的同时，通过FPGA管脚进行引出，并且将所述重要内部信号通过所述FPGA管脚从测试板上传递到主控FPGA板上进行采集。其中可重构FPGA软件的专用验证测试系统包括：信号传递层模块；验证指令层模块；验证功能层模块；验证环境层模块；及验证顶层模块。
-
公开(公告)号：CN108932372A
公开(公告)日：2018-12-04
申请号：CN201810614592.4
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互；使接口数据组中的数据向前移位一个位置，其中所述接口数据组包括n个位置，其中n为正整数；把在此次交互中获取的交互数据读取到第n个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
Patent Agency Ranking
公开(公告)号：CN114816880B
公开(公告)日：2025-01-10
申请号：CN202210478858.3
申请日：2018-05-24
Applicant: 上海微小卫星工程中心
IPC: G06F11/22 , G06F11/362 , G06F11/3668
Abstract: 本发明公开的验证方法用于星上FPGA可重构软件验证，该验证测试方法包括：主控板接收来自上位机的重构配置文件及验证测试配置文件；主控板的第一FPGA将收到的配置文件存储于主控板存储系统中，并根据实际测试板需求，进行验证测试执行重载程序、待测FPGA重载程序配置发布；测试板的测试执行FPGA调用测试执行FPGA重载程序，生成测试执行FPGA动态测试激励，并将所述动态测试激励作用于待测FPGA之中进行原型验证测试；待测FPGA对测试激励作出测试激励反馈，并将测试结果通过接口控制系统进行上传反馈；上位机接收FPGA验证测试结果进行比对分析来获得故障类型及故障位置，同时对所发现的或潜在的故障，通过文件配置操作进行验证文件动态调整。
-
公开(公告)号：CN109344085B
公开(公告)日：2021-11-23
申请号：CN201811352565.0
申请日：2018-11-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
公开(公告)号：CN116382117A
公开(公告)日：2023-07-04
申请号：CN202310396018.7
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
IPC: G05B17/02
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互，其中仿真目标向数学模型输入驱动信息，数学模型向仿真目标输出反馈信息,仿真目标与数学模型周期性交互数据；对接口数据进行故障注入，故障注入包括：使得某些接口数据按照某种规律变化，将此规律变化下的接口数据替代原本数据；使得驱动信息与反馈信息合并为接口数据，并同时输入故障模型，以能够进行关联接口参数联合故障注入。
-
公开(公告)号：CN110069410A
公开(公告)日：2019-07-30
申请号：CN201910299292.6
申请日：2019-04-15
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障树相应的割序集，并确定割序集中的最小割序集；(5)建立最小割序等价类的测试用例输入及其预期输出，产生一个测试用例；(6)加载测试用例并运行被测软件，把输入数据作为执行输入，得到实际输出；(7)检查实际输出集合是否与预期输出集合一致。利用上述方法生成的测试用例具有耦合度低、效率高、颗粒度高和可复用性高的优点。
-
公开(公告)号：CN109344085A
公开(公告)日：2019-02-15
申请号：CN201811352565.0
申请日：2018-11-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.032 seconds)
