-
公开(公告)号：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个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
公开(公告)号：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验证测试结果进行比对分析来获得故障类型及故障位置，同时对所发现的或潜在的故障，通过文件配置操作进行验证文件动态调整。
-
公开(公告)号：CN118192302A
公开(公告)日：2024-06-14
申请号：CN202410507433.X
申请日：2024-04-25
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G05B17/02
Abstract: 本发明提供了一种基于动力学模型的通用化卫星仿真测试方法及系统，提供一动力学模型架构，并设置通用化接口，构建得到动力学模型；针对动力学模型，生成相应的动力学动态库源代码，并进行审查和优化，通过动力学动态库源代码将动力学模型转化成对应目标系统架构的动力学模型应用；基于动力学模型应用构建得到卫星半物理仿真平台，通过星务控制计算机与动力学模型应用、遥测单机和遥控单机交互，实现卫星仿真测试。本发明将卫星单机或传感器虚拟化，定制化生成符合单机或传感器运行逻辑的模型动态库，在卫星研制阶段提供半物理仿真的测试环境，保证卫星研制和测试精确度的条件下，降低卫星研制成本，提高卫星仿真测试的效率。
-
公开(公告)号：CN109344085B
公开(公告)日：2021-11-23
申请号：CN201811352565.0
申请日：2018-11-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
Patent Agency Ranking
公开(公告)号：CN118535634A
公开(公告)日：2024-08-23
申请号：CN202410447998.3
申请日：2024-04-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F16/26 , G06F16/242 , G06F3/0482 , G06F3/04842 , G06F3/04845
Abstract: 本发明公开了一种基于Cesium的卫星碎片规避过程可视化展示系统，其特征在于，基于Vue与Cesium框架，通过CZML文件、以及自定义的多维度图表数据的数据交互，用于多种航天数据的可视化展示以及多种角度对碎片规避过程全方位过程展示，所述系统包含运行管理分系统模块、航天计算分系统模块、轨道态势可视化分系统模块、数据管理及应用分系统模块。采用本发明可以实现多功能动态展示卫星轨道轨迹及变轨轨迹，满足对卫星空间态势的多样化、个性化展示需求。
-
公开(公告)号：CN116382117A
公开(公告)日：2023-07-04
申请号：CN202310396018.7
申请日：2018-06-14
Applicant: 上海微小卫星工程中心
IPC: G05B17/02
Abstract: 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互，其中仿真目标向数学模型输入驱动信息，数学模型向仿真目标输出反馈信息,仿真目标与数学模型周期性交互数据；对接口数据进行故障注入，故障注入包括：使得某些接口数据按照某种规律变化，将此规律变化下的接口数据替代原本数据；使得驱动信息与反馈信息合并为接口数据，并同时输入故障模型，以能够进行关联接口参数联合故障注入。
-
公开(公告)号：CN110489245B
公开(公告)日：2022-03-11
申请号：CN201910723704.4
申请日：2019-08-07
Applicant: 上海微小卫星工程中心 , 中国科学院微小卫星创新研究院
IPC: G06F9/54 , G06F11/263
Abstract: 本发明涉及一种基于远程过程调用RPC的故障注入方法，包括下列步骤：由故障注入前端提供故障信息，所述故障信息包括关于目标单机的信息和关于故障类型的信息；由远程过程调用RPC模块将故障信息打包到第一通信帧中并通过网络发送给卫星模拟器；由卫星模拟器将第一通信帧解析成关于目标单机的信息和关于故障类型的信息并根据关于目标单机的信息和关于故障类型的信息生成单机数据；将单机数据打包到第二通信帧中并通过网络发送给故障注入前端。本发明还涉及一种相应的系统。通过本发明，可以以通用方式快速、高效地模拟各种卫星故障。
-
公开(公告)号：CN110489245A
公开(公告)日：2019-11-22
申请号：CN201910723704.4
申请日：2019-08-07
Applicant: 上海微小卫星工程中心 , 中国科学院微小卫星创新研究院
IPC: G06F9/54 , G06F11/263
Abstract: 本发明涉及一种基于远程过程调用RPC的故障注入方法，包括下列步骤：由故障注入前端提供故障信息，所述故障信息包括关于目标单机的信息和关于故障类型的信息；由远程过程调用RPC模块将故障信息打包到第一通信帧中并通过网络发送给卫星模拟器；由卫星模拟器将第一通信帧解析成关于目标单机的信息和关于故障类型的信息并根据关于目标单机的信息和关于故障类型的信息生成单机数据；将单机数据打包到第二通信帧中并通过网络发送给故障注入前端。本发明还涉及一种相应的系统。通过本发明，可以以通用方式快速、高效地模拟各种卫星故障。
-
公开(公告)号：CN110069410A
公开(公告)日：2019-07-30
申请号：CN201910299292.6
申请日：2019-04-15
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障树相应的割序集，并确定割序集中的最小割序集；(5)建立最小割序等价类的测试用例输入及其预期输出，产生一个测试用例；(6)加载测试用例并运行被测软件，把输入数据作为执行输入，得到实际输出；(7)检查实际输出集合是否与预期输出集合一致。利用上述方法生成的测试用例具有耦合度低、效率高、颗粒度高和可复用性高的优点。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.042 seconds)
