-
公开(公告)号：CN113392025B
公开(公告)日：2024-01-26
申请号：CN202110759404.9
申请日：2018-03-14
申请人： 上海微小卫星工程中心
IPC分类号： G06F11/36
摘要： 本发明公开了一种对可重构FPGA软件进行过程监控的方法，包括：利用可重构FPGA软件的专用验证测试系统在对重要内部信号进行复制监控的同时，通过FPGA管脚进行引出，并且将所述重要内部信号通过所述FPGA管脚从测试板上传递到主控FPGA板上进行采集。其中可重构FPGA软件的专用验证测试系统包括：信号传递层模块；验证指令层模块；验证功能层模块；验证环境层模块；及验证顶层模块。
-
公开(公告)号：CN108932372A
公开(公告)日：2018-12-04
申请号：CN201810614592.4
申请日：2018-06-14
申请人： 上海微小卫星工程中心
摘要： 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互；使接口数据组中的数据向前移位一个位置，其中所述接口数据组包括n个位置，其中n为正整数；把在此次交互中获取的交互数据读取到第n个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
公开(公告)号：CN118192302A
公开(公告)日：2024-06-14
申请号：CN202410507433.X
申请日：2024-04-25
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC分类号： G05B17/02
摘要： 本发明提供了一种基于动力学模型的通用化卫星仿真测试方法及系统，提供一动力学模型架构，并设置通用化接口，构建得到动力学模型；针对动力学模型，生成相应的动力学动态库源代码，并进行审查和优化，通过动力学动态库源代码将动力学模型转化成对应目标系统架构的动力学模型应用；基于动力学模型应用构建得到卫星半物理仿真平台，通过星务控制计算机与动力学模型应用、遥测单机和遥控单机交互，实现卫星仿真测试。本发明将卫星单机或传感器虚拟化，定制化生成符合单机或传感器运行逻辑的模型动态库，在卫星研制阶段提供半物理仿真的测试环境，保证卫星研制和测试精确度的条件下，降低卫星研制成本，提高卫星仿真测试的效率。
-
公开(公告)号：CN109344085B
公开(公告)日：2021-11-23
申请号：CN201811352565.0
申请日：2018-11-14
申请人： 上海微小卫星工程中心
IPC分类号： G06F11/36
摘要： 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。
-
公开(公告)号：CN117932908A
公开(公告)日：2024-04-26
申请号：CN202410044542.2
申请日：2024-01-11
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
摘要： 本发明公开了一种针对星务软件的数字化仿真测试平台设计方法，包括：使用QEMU软件模拟星载软件的硬件环境，创造一个与真实硬件功能一样的数字化仿真环境，模拟CPU、内存、中断和其他外部设备，并修改启动加载器bootloader模块；基于目标架构，选择对应的交叉编译工具，在Linux环境中配置编译器相关参数设置；利用该交叉编译工具链将星载软件代码生成为可运行于目标架构的二进制可执行文件；确认测试环境相关设备等配置正确，启动QEMU数字化仿真测试环境，加载指定目标架构的可执行文件，进行星载软件用例测试及调试；采集并判断用例运行数据信息。本发明能够提高星载软件测试的效率和准确性，降低测试成本。
-
公开(公告)号：CN108932372B
公开(公告)日：2023-04-25
申请号：CN201810614592.4
申请日：2018-06-14
申请人： 上海微小卫星工程中心
IPC分类号： G06F30/20 , G06F16/2455 , G06F16/25 , G06F16/2458 , G06F111/10
摘要： 本发明涉及一种用于在仿真中注入故障的方法，该方法包括下列步骤：发起仿真目标与数学模型的交互；使接口数据组中的数据向前移位一个位置，其中所述接口数据组包括n个位置，其中n为正整数；把在此次交互中获取的交互数据读取到第n个位置；确定接口数据故障注入单是否为空，其中所述接口数据故障注入单为队列并且描述以何种方式对哪个接口数据进行故障注入；在接口数据故障注入单不为空的情况下，从接口数据故障注入单中读取第一个元素；以及执行故障注入。通过该方法，可以以高度安全、可靠的方式注入故障，同时获取到真实环境不能/不易获取的数据，从而不仅保障了测试数据来源，而且拓展了测试分析面。
-
公开(公告)号：CN112634666B
公开(公告)日：2021-12-24
申请号：CN202011474702.5
申请日：2020-12-15
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC分类号： G08G9/00
摘要： 本发明提供了一种基于事件的空间飞行器数据分析系统及方法，包括：目标系统产生测试状态数据和运行状态数据，并提供至分析软件系统；分析软件系统将多个所述测试状态数据分别与多个事件类型进行匹配，并生成测试事件关系数据；生产测试数据系统在空间飞行器的生产测试环节，根据所述测试事件关系数据生成事件关系记录表，并存储所述事件关系记录表；分析软件系统还定时循环扫描所述运行状态数据，并将所述运行状态数据分别与多个所述事件类型进行匹配，并生成运行事件关系数据；运行服务及回归测试数据系统在空间飞行器的运行服务及回归测试环节，根据所述运行事件关系数据与所述事件关系记录表进行比较，生成事件触发列表。
-
公开(公告)号：CN110674067B
公开(公告)日：2021-06-29
申请号：CN201910898349.4
申请日：2019-09-23
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
摘要： 本发明公开了一种硬件间通信仿真的配置连接系统，包括：外设接口；以及单机，其中待连接硬件包括发送部分与接收部分，发送部分为外设接口或单机，接收部分为外设接口或单机，硬件间通信仿真的配置连接首先进行初始化，解析配置文件，并用相应的数据结构保存硬件间连接的配置字符串,将发送分部与接收部分的配置字符串，解析出相应的硬件发送与接收通道号；按发送分部与接收部分的配置字符串，获取出相应的硬件类对像句柄；用算法将接收通道的回调函数，注册至发送通道。
-
公开(公告)号：CN112634666A
公开(公告)日：2021-04-09
申请号：CN202011474702.5
申请日：2020-12-15
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC分类号： G08G9/00
摘要： 本发明提供了一种基于事件的空间飞行器数据分析系统及方法，包括：目标系统产生测试状态数据和运行状态数据，并提供至分析软件系统；分析软件系统将多个所述测试状态数据分别与多个事件类型进行匹配，并生成测试事件关系数据；生产测试数据系统在空间飞行器的生产测试环节，根据所述测试事件关系数据生成事件关系记录表，并存储所述事件关系记录表；分析软件系统还定时循环扫描所述运行状态数据，并将所述运行状态数据分别与多个所述事件类型进行匹配，并生成运行事件关系数据；运行服务及回归测试数据系统在空间飞行器的运行服务及回归测试环节，根据所述运行事件关系数据与所述事件关系记录表进行比较，生成事件触发列表。
-
公开(公告)号：CN110674067A
公开(公告)日：2020-01-10
申请号：CN201910898349.4
申请日：2019-09-23
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
摘要： 本发明公开了一种硬件间通信仿真的配置连接系统，包括：外设接口；以及单机，其中待连接硬件包括发送部分与接收部分，发送部分为外设接口或单机，接收部分为外设接口或单机，硬件间通信仿真的配置连接首先进行初始化，解析配置文件，并用相应的数据结构保存硬件间连接的配置字符串,将发送分部与接收部分的配置字符串，解析出相应的硬件发送与接收通道号；按发送分部与接收部分的配置字符串，获取出相应的硬件类对像句柄；用算法将接收通道的回调函数，注册至发送通道。
-
-
-
-
-
-
-
-
-
搜索结果
28 条记录 (耗时 0.03 秒)
