公开(公告)号：CN110795351B

公开(公告)日：2023-02-28

申请号：CN201911035718.3

申请日：2019-10-29

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  尤志坚 ,  张璋 ,  常亮 ,  王永 ,  虞业泺

IPC分类号： G06F11/36

摘要： 本发明提供一种用于构件化星务软件的可靠性增长测试及评价方法。该方法基于子构件运行剖面，对触发激励源及其输入概率分布进行建模，以生成测试数据，然后根据测试结果进行可靠性估计，进一步对构件化星务软件进行设计优化，以使软件可靠性达到任务要求。

公开(公告)号：CN110674067B

公开(公告)日：2021-06-29

申请号：CN201910898349.4

申请日：2019-09-23

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 徐浩明 ,  石薇 ,  施敏华 ,  高才栋 ,  尤志坚 ,  王明亮 ,  徐元旭

IPC分类号： G06F13/38 ,  G06F30/20

摘要： 本发明公开了一种硬件间通信仿真的配置连接系统，包括：外设接口；以及单机，其中待连接硬件包括发送部分与接收部分，发送部分为外设接口或单机，接收部分为外设接口或单机，硬件间通信仿真的配置连接首先进行初始化，解析配置文件，并用相应的数据结构保存硬件间连接的配置字符串,将发送分部与接收部分的配置字符串，解析出相应的硬件发送与接收通道号；按发送分部与接收部分的配置字符串，获取出相应的硬件类对像句柄；用算法将接收通道的回调函数，注册至发送通道。

公开(公告)号：CN110795352A

公开(公告)日：2020-02-14

申请号：CN201911035729.1

申请日：2019-10-29

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  常亮 ,  尤志坚 ,  朱敬傲 ,  石薇 ,  徐浩明

IPC分类号： G06F11/36

摘要： 本发明提供了一种面向构件化星务软件的细粒度测试用例系统的建立方法，该方法包括：建立测试用例细粒度描述模型；建立共性测试需求表单；建立测试用例映射集。本发明还提供一种该测试用例系统的使用方法，包括：确认测试用例集；提取描述模型对应属性，在测试用例集中搜索重用历史；查看重用记录，确认各项测试用例描述属性是否匹配测试需求；修改测试用例输入，执行测试。

公开(公告)号：CN110795351A

公开(公告)日：2020-02-14

申请号：CN201911035718.3

申请日：2019-10-29

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  尤志坚 ,  张璋 ,  常亮 ,  王永 ,  虞业泺

IPC分类号： G06F11/36

摘要： 本发明提供一种用于构件化星务软件的可靠性增长测试及评价方法。该方法基于子构件运行剖面，对触发激励源及其输入概率分布进行建模，以生成测试数据，然后根据测试结果进行可靠性估计，进一步对构件化星务软件进行设计优化，以使软件可靠性达到任务要求。

公开(公告)号：CN110674067A

公开(公告)日：2020-01-10

申请号：CN201910898349.4

申请日：2019-09-23

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 徐浩明 ,  石薇 ,  施敏华 ,  高才栋 ,  尤志坚 ,  王明亮 ,  徐元旭

IPC分类号： G06F13/38 ,  G06F30/20

摘要： 本发明公开了一种硬件间通信仿真的配置连接系统，包括：外设接口；以及单机，其中待连接硬件包括发送部分与接收部分，发送部分为外设接口或单机，接收部分为外设接口或单机，硬件间通信仿真的配置连接首先进行初始化，解析配置文件，并用相应的数据结构保存硬件间连接的配置字符串,将发送分部与接收部分的配置字符串，解析出相应的硬件发送与接收通道号；按发送分部与接收部分的配置字符串，获取出相应的硬件类对像句柄；用算法将接收通道的回调函数，注册至发送通道。

公开(公告)号：CN103984596A

公开(公告)日：2014-08-13

申请号：CN201410210582.6

申请日：2014-05-19

申请人： 上海微小卫星工程中心

发明人： 白雪柏 ,  贺芸 ,  徐文明 ,  王明亮

IPC分类号： G06F9/48

摘要： 一种星载软件的调度方法及装置，该方法包括：1）设置实时时钟，通过所述实时时钟提供周期调度硬件信号；2）设立系统任务进程，在所述周期调度硬件信号有效时触发时钟周期中断，并释放所述系统任务进程运行，其中，所述系统任务进程在所有任务进程中具有最高优先级；3）设立多个周期任务进程并为每一所述周期任务进程设立一调度优先级，在所述系统任务进程运行完毕后由所述系统任务进程根据调度优先级循环释放所有所述周期任务进程运行。本发明利用硬件时间片提供准确的时钟周期信号，保证了周期任务进程的周期准确性以及实时性；实现周期任务进程的并发运行，提高了CPU利用率。

公开(公告)号：CN118035117A

公开(公告)日：2024-05-14

申请号：CN202410327031.1

申请日：2019-10-29

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  常亮 ,  尤志坚

IPC分类号： G06F11/36

摘要： 本发明提供了一种面向构件化星务软件的细粒度测试用例系统，其根据如下方法建立：建立测试用例细粒度描述模型；建立共性测试需求表单；建立测试用例映射集。本发明还提供一种该测试用例系统的使用方法，包括：确认测试用例集；提取描述模型对应属性，在测试用例集中搜索重用历史；查看重用记录，确认各项测试用例描述属性是否匹配测试需求；修改测试用例输入，执行测试。

公开(公告)号：CN109344085B

公开(公告)日：2021-11-23

申请号：CN201811352565.0

申请日：2018-11-14

申请人： 上海微小卫星工程中心

发明人： 王明亮 ,  常亮 ,  施敏华 ,  徐元旭 ,  尤志坚

IPC分类号： G06F11/36

摘要： 本发明涉及一种分析卫星测试数据的方法，包括：接收卫星上行遥控指令；根据卫星上行遥控指令确定遥测参数；接收测试数据；根据测试数据分类规则对测试数据进行分类；针对不同类别的测试数据启动相应的判读推理机；使用所述判读推理机分析相应测试数据以确定所述遥测参数是否合格并生成分析结果；以及显示分析结果。本发明还涉及一种分析卫星测试数据的系统。通过该方法或系统，可以极大地提高卫星测试的效率，从而加快卫星批量化生产的速度，并减少潜在的故障。

公开(公告)号：CN113051007A

公开(公告)日：2021-06-29

申请号：CN202110407305.4

申请日：2021-04-15

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  常亮 ,  贺俊旺 ,  徐元旭 ,  唐晓刚

IPC分类号： G06F9/445

摘要： 本发明提供了一种星务软件快速引导装置及方法，包括：星务最小模式软件模块，被配置为运行在星务最小模式下；星务正常模式软件模块，被配置为存储在EEPROM中，运行在星务正常模式下；以及星务引导模式软件模块，被配置为存储在PROM中，在星务引导模式下，通过星务引导模式软件模块的基本输入输出功能进行应用层代码的遥控上行注入，以及判断若应用层代码正常则星务计算机加电或复位后，通过引导模式代码引导跳转至星务最小模式或星务正常模式下运行。

公开(公告)号：CN110795309A

公开(公告)日：2020-02-14

申请号：CN201911035928.2

申请日：2019-10-29

申请人： 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

发明人： 王明亮 ,  常亮 ,  王番 ,  王永 ,  朱振才 ,  高才栋

IPC分类号： G06F11/30

摘要： 本发明提供了一种用于微小卫星的层次化软件健康管理方法和系统。该系统将卫星按照不同子系统进行分层次健康管理，包括传感器层、状态监测层、健康评估层、预测层以及决策处理层等。通过部署在卫星星务各子构件运行关键节点的软件传感器，采集各子构件的运行状态数据，并对其进行分析，得到故障信息，结合卫星历史遥测数据、软件系统知识及故障信息，对当前卫星系统健康状况进行层次化评估，以及对未来时刻系统健康状况进行预判，最终制定健康危害策略。