-
公开(公告)号：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验证测试结果进行比对分析来获得故障类型及故障位置，同时对所发现的或潜在的故障，通过文件配置操作进行验证文件动态调整。
-
公开(公告)号：CN110069410A
公开(公告)日：2019-07-30
申请号：CN201910299292.6
申请日：2019-04-15
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障树相应的割序集，并确定割序集中的最小割序集；(5)建立最小割序等价类的测试用例输入及其预期输出，产生一个测试用例；(6)加载测试用例并运行被测软件，把输入数据作为执行输入，得到实际输出；(7)检查实际输出集合是否与预期输出集合一致。利用上述方法生成的测试用例具有耦合度低、效率高、颗粒度高和可复用性高的优点。
-
公开(公告)号：CN108763077A
公开(公告)日：2018-11-06
申请号：CN201810505446.8
申请日：2018-05-24
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
CPC classification number: G06F11/3604 , G06F11/3648 , G06F11/3696
Abstract: 本发明公开的验证系统用于星上FPGA可重构软件验证，可以对不同实现形式、不同规模以及不同复杂程度的待测目标代码进行验证测试。该验证测试系统可包含星务系统/上位机、主控板及测试板。
-
公开(公告)号：CN108629511A
公开(公告)日：2018-10-09
申请号：CN201810418991.3
申请日：2018-05-04
Applicant: 上海微小卫星工程中心
IPC: G06Q10/06
Abstract: 本申请涉及一种基于多因素模糊理论推理及层级分析法的卫星综合效能评估方法，包括层级划分；得到评估指标体系集合；以各自不同的权重值划分层级；针对某一特定指标选取可能的评价结果；进行从下至上的单因素指标评判；建立多因素模糊隶属度集合；建立多因素模糊隶属度加权指标；综合层级评判；综合评判结果确认；和效能结果迭代。
-
公开(公告)号：CN116467183A
公开(公告)日：2023-07-21
申请号：CN202310304426.5
申请日：2023-03-27
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
Abstract: 本发明公开了一种星地协同卫星单机在轨重构自动管理系统，地面测控分系统和地面重构验证管理分系统三部分，三部分通过星地协同设计保障星地重构过程的一致性，包含可进行地面多种类故障注入试验验证架构，星上注入数据管理和重构管理框架，实现了一种应用于卫星单机软件在轨重构验证的平台架构，可以利用该架构快速进行单机在轨重构前的验证和演练，解决目前没有可应用于卫星单机软件在轨重构的验证演练平台的局面。
-
Patent Agency Ranking
公开(公告)号：CN108958737A
公开(公告)日：2018-12-07
申请号：CN201810607215.8
申请日：2018-06-13
Applicant: 上海微小卫星工程中心
Abstract: 本发明涉及一种星载软件在轨编程方法，该方法包括下列步骤：将要进行在轨编程的子程序输入到卫星的随机存取存储器RAM中；以及在所述RAM中对子程序地址表进行修改，使得所输入的子程序的入口地址指向所述RAM中的所输入的子程序的代码。通过本发明的在轨编程方法，可对星载软件进行更新，并且不需要系统复位即可执行经更新的软件。
-
公开(公告)号：CN108491330A
公开(公告)日：2018-09-04
申请号：CN201810280838.9
申请日：2018-04-02
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种应用于卫星CPU软件在轨重构的试验验证系统，包括：可配置重构验证码自动生成系统模块，所述可配置重构验证码自动生成系统模块为重构的试验验证提供重构数据，并为被测软件编译并生成目标码；被测件仿真运行系统模块，所述被测件仿真运行系统模块为具有重构设计的被验证软件提供模拟真实运行环境的仿真系统；重构全实时自动监控系统模块，所述重构全实时自动监控系统模块对重构的全过程进行实时监控；和重构故障注入系统模块，所述重构故障注入系统模块为卫星CPU软件重构的试验验证提供各种类型的故障注入，并且可以在卫星软件的CPU重构设计策略验证要点的各个阶段实现故障注入。
-
公开(公告)号：CN114816880A
公开(公告)日：2022-07-29
申请号：CN202210478858.3
申请日：2018-05-24
Applicant: 上海微小卫星工程中心
Abstract: 本发明公开的验证方法用于星上FPGA可重构软件验证，该验证测试方法包括：主控板接收来自上位机的重构配置文件及验证测试配置文件；主控板的第一FPGA将收到的配置文件存储于主控板存储系统中，并根据实际测试板需求，进行验证测试执行重载程序、待测FPGA重载程序配置发布；测试板的测试执行FPGA调用测试执行FPGA重载程序，生成测试执行FPGA动态测试激励，并将所述动态测试激励作用于待测FPGA之中进行原型验证测试；待测FPGA对测试激励作出测试激励反馈，并将测试结果通过接口控制系统进行上传反馈；上位机接收FPGA验证测试结果进行比对分析来获得故障类型及故障位置，同时对所发现的或潜在的故障，通过文件配置操作进行验证文件动态调整。
-
-
公开(公告)号：CN104834226B
公开(公告)日：2017-06-20
申请号：CN201510193891.1
申请日：2015-04-22
Applicant: 上海微小卫星工程中心
IPC: G05B17/02
Abstract: 一种数字卫星仿真系统及数字卫星状态快速切换的方法，仿真系统包括：当前状态栈，保存数字卫星的当前工作状态；目标工作状态栈，保存所需切入的目标工作状态；状态表，保存当前可切换的各个工作状态以及每个工作状态所需的上下文数据；状态树，保存各个工作状态间切换对应的指令ID以及每个工作状态保持需要上注的指令ID；指令池，保存保持各个工作状态所需的指令以及各个工作状态间切换需要的切换指令，每条指令唯一对应一指令ID号；执行池，保存从当前工作状态切换到目标工作状态并保持目标工作状态所需的指令序列以及动力学系统初始化需要的动力学初值。本发明利用状态池，实现了数字卫星工作状态自动快速切换。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.032 seconds)
