公开(公告)号：CN111880971B

公开(公告)日：2024-02-02

申请号：CN202010756190.5

申请日：2020-07-30

Applicant: 上海航天计算机技术研究所

Inventor： 柳宜川 ,  李超 ,  邱源 ,  王佳 ,  王茂森 ,  沈奇

IPC: G06F11/16

Abstract: 本发明提供了一种三机异构冗余系统和控制方法，该系统包括：处理器A模块、处理器B模块、处理器C模块、功能模块A、功能模块B、电源模块A、电源模块B、电源模块C，所述电源模块A向所述处理器A模块、功能模块A提供电能，并向所述处理器A模块输出控制权状态A；所述电源模块B向所述处理器B模块、功能模块B提供电能，并向所述处理器B模块输出控制权状态B；所述电源模块C向所述处理器C模块、功能模块B提供电能，并向所述处理器C模块输出控制权状态C。从而实现了不同处理器对功能模块的访问和互相间的信息替换，满足多种冗余模式重构方法，有效地提(56)对比文件Jian-xiao Zou等.Design andreliability analysis of emergency tripsystem with triple modular redundancy.《2009 International Conference onCommunications, Circuits and Systems》.2009,1006-1009.

公开(公告)号：CN111813734B

公开(公告)日：2022-11-01

申请号：CN202010707644.X

申请日：2020-07-21

Applicant: 上海航天计算机技术研究所

Inventor： 朱剑辉 ,  朱浩文 ,  李森 ,  王佳 ,  王茂森 ,  胡浩 ,  余绍庭

IPC: G06F13/42

Abstract: 本发明提供了一种无消息间隔限制的1553B总线通信方法和系统，应用在包含总线控制器BC和远程终端RT的通信系统中，其特征在于，所述方法包括：步骤1：设置BC向RT发送的RT子地址为循环缓冲模式和非中断方式接收模式；其中，BC向RT发送的数据的消息内容包括：数据有效标志和数据有效内容；步骤2：所述RT采用查询的方式接收所述BC发送的数据；步骤3：若所述BC发送的数据中包含数据有效标志，则所述RT读取所述数据有效内容。本发明中的方法可以不用再对总线消息间隔加以限制，不仅提升了1553B总线通信的可靠性，还简化了BC软件的设计逻辑，提升了软件性能和通信效率。

公开(公告)号：CN109491821B

公开(公告)日：2022-07-01

申请号：CN201811323190.5

申请日：2018-11-06

Applicant: 上海航天计算机技术研究所

Inventor： 王冠雄 ,  关宁 ,  王茂森 ,  滕树鹏 ,  邱源 ,  章泉源 ,  朱新忠 ,  冯书谊

IPC: G06F11/07

Abstract: 本发明提供了一种抗单粒子翻转的加固系统及方法，包括：模式选择输入接口、位流存储器、加固系统控制器、软纠错控制器IP核、遥控遥测接口、现场可编程门阵列FPGA；其中：位流存储器，用于存储FPGA的位流，以对FPGA的配置、回读以及刷新操作提供源数据；加固系统控制器，用于加载FPGA的配置数据、完成接口协议转换，以及对软纠错控制器IP核的状态进行监控；软纠错控制器IP核，用于执行对FPGA配置的回读、检测及纠错操作。本发明通过采用软纠错控制器IP核实现了精确到帧的单粒子翻转错误实时监测及修正，将回读刷新对系统机能的影响降到最低，从而保证了新型Xilinx FPGA宇航应用的稳定性。

公开(公告)号：CN111880971A

公开(公告)日：2020-11-03

申请号：CN202010756190.5

申请日：2020-07-30

Applicant: 上海航天计算机技术研究所

Inventor： 柳宜川 ,  李超 ,  邱源 ,  王佳 ,  王茂森 ,  沈奇

IPC: G06F11/16

Abstract: 本发明提供了一种三机异构冗余系统和控制方法，该系统包括：处理器A模块、处理器B模块、处理器C模块、功能模块A、功能模块B、电源模块A、电源模块B、电源模块C，所述电源模块A向所述处理器A模块、功能模块A提供电能，并向所述处理器A模块输出控制权状态A；所述电源模块B向所述处理器B模块、功能模块B提供电能，并向所述处理器B模块输出控制权状态B；所述电源模块C向所述处理器C模块、功能模块B提供电能，并向所述处理器C模块输出控制权状态C。从而实现了不同处理器对功能模块的访问和互相间的信息替换，满足多种冗余模式重构方法，有效地提高了系统的可靠性。

公开(公告)号：CN111597115A

公开(公告)日：2020-08-28

申请号：CN202010424089.X

申请日：2020-05-19

Applicant: 上海航天计算机技术研究所

Inventor： 王磊 ,  白亮 ,  朱新忠 ,  田文波 ,  王茂森 ,  施雯

IPC: G06F11/36

Abstract: 本发明公开了一种嵌入式操作系统自动化闭环测试系统及测试方法，包括被测目标系统和测试控制系统，所述被测目标系统模拟宇航计算机系统外围设备，通过基于QEMU仿真应用系统和被测操作系统构成运行环境；测试控制系统由测试用例管理系统、代码托管系统和缺陷跟踪系统组成，将代码提交代码托管系统后，激活测试用例系统提取选定测试用例，将测试用例和代码自动编译下载到被测目标系统测试，测试过程发现的缺陷数据则提交给缺陷跟踪系统，缺陷跟踪系统记录缺陷数据并实时跟踪缺陷修复情况。该系统解决了嵌入式操作系统多任务、大批量数据处理及特殊空间环境故障注入等特性的一体化测试要求；测试流程降低了测试过程的误操作率，极大地提高测试效率。

公开(公告)号：CN111541624A

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

申请号：CN202010288931.1

申请日：2020-04-13

Applicant: 上海航天计算机技术研究所

Inventor： 胡浩 ,  王茂森 ,  邱源 ,  滕树鹏 ,  叶恒

IPC: H04L12/879 ,  H04L12/883

Abstract: 本发明提供了一种空间以太网缓存处理方法，包括以下步骤：S1：当数据链路层接收到网络数据包时，将其缓存在EMAC层的接收缓存中；S2：从接收到的网络数据中提取缓存描述符，存储在内部存储器中；S3：当有发送需求时，将网络数据从EMAC接收缓存区EDMA搬移至EMAC发送缓存区并通过PHY接口进行发送。该方法能够满足星载以太网大容量数据交换的特殊应用需求，无需将数据链路层的网络数据整体二次拷贝至内存中，突破星载处理器对高速网络交换数据的处理能力瓶颈，具有较强的实时数据交换和处理能力，可以有效兼顾多种网络信源，网络传输速率不限，与标准的TCP/IP协议具有良好的兼容性。

公开(公告)号：CN111522427A

公开(公告)日：2020-08-11

申请号：CN202010336357.2

申请日：2020-04-24

Applicant: 上海航天计算机技术研究所

Inventor： 滕树鹏 ,  王茂森 ,  王志国 ,  李森 ,  缪依展 ,  游红俊

IPC: G06F1/3234

Abstract: 本申请公开了一种高功耗星载存储系统的供电控制方法，包括步骤：S1：电源模块为接口模块供电，且电源模块根据存储模块关机指令控制存储模块关机；S2：接口模块判断是否是首次上电，若否，执行步骤S8，若是，执行步骤S3；S3：接口模块向电源模块发送存储模块开机指令；S4：电源模块响应存储模块开机指令，并向存储模块供电；S5：接口模块向存储模块发送遥控指令，以使存储模块根据遥控指令进行工作；S6：待存储模块完成工作后，向接口模块发送关机需求信号；S7：接口模块接收到关机需求信号后，判断是否存在遥控指令，若是，返回步骤S5，若否，接口模块向电源模块发送存储模块关机指令，返回步骤S1。根据时机使存储模块开关机，解决功耗过大问题。

公开(公告)号：CN108762970A

公开(公告)日：2018-11-06

申请号：CN201810602293.9

申请日：2018-06-12

Applicant: 上海航天计算机技术研究所

Inventor： 李超 ,  王茂森 ,  刘骁 ,  吴杰 ,  李毅 ,  彭飞 ,  柳宜川 ,  滕树鹏

IPC: G06F11/07 ,  G06F11/16 ,  G06F15/17

CPC classification number: G06F11/0757 ,  G06F11/1666 ,  G06F15/17

Abstract: 本发明公开了一种高可靠星载计算机程序存储设备，包括CPU、FPGA、PROM、EEPROM、SRAM和看门狗电路；FPGA衔接CPU和各个存储器，用于匹配各个存储器的控制时序；PROM用于存储监控程序和安全程序；EEPROM用于存储系统应用程序；计算机运行时，程序从EEPROM搬场到SRAM中，并驻留在SRAM中运行；EEPROM存储采用三模冗余的方式，对每一份数据存储在独立的三个EEPROM中；看门狗电路用于对EEPROM的复位控制。本发明采用PROM、EEPROM、SRAM三种存储器，充分发挥三种存储器的自身特点，采用FPGA技术进行有效管理，实现星载计算机高可靠的程序存储。