关于空间应用SoC可靠性设计与验证的思考

介绍了国内外空间应用SoC的研究现状,建立了空间应用SoC可靠性设计流程,总结归纳了相关的可靠性设计、加固方法以及可靠性验证技术,并提出了未来的研究方向和相关工作建议,供相关人员参考。     

宇航矢量伺服控制器在SiP中的设计与实现

磁场导向控制FOC（field-oriented control）矢量控制算法在伺服驱动控制系统中一般由CPU或DSP实现，难以满足航天应用中实时性较高场景下的需求。为提高宇航电机系统控制的实时性与可靠性，从FOC矢量控制算法的硬件加速角度出发，详细介绍了伺服控制器的设计，给出了一种全数字、高性能的伺服控制器硬件加速设计方案，并在具有可编程逻辑功能的宇航级SiP6117S芯片上进行了验证。仿真实验表明，相比于前人的设计，通过调整观测数据的量化精度来降低硬件加速过程中的处理延时，能有效改善多级流水延迟并在一定程度上提升算法的实时性。     

高速SpaceWire协议IP的可靠性增强方法

针对航天高速SpaceWire总线系统对协议IP的高可靠性要求，提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进，将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集，对一般单元集中的每个单元做三模冗余，对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统，而且优于部分三模冗余系统，使系统可靠性得到有效提高。     

空间应用SoC研究现状简介

分析当今空间应用SoC研究与应用状况,介绍国外NASA、ESA、JAXA等主要研究机构在SoC多核技术、IP复用与集成、抗辐射、新的微处理器架构等方面的研究成果,对空间应用SoC技术的热点研究方向进行了归纳总结.     

SoC验证方法学研究与应用

SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.     

辐射效应对SRAM型FPGA可靠性的影响分析

分析了空间辐射环境对SRAM型FPGA可靠性的影响,总结归纳了空间应用SRAM型FPGA的故障模式,供FPGA产品设计人员参考。     

三模冗余MPSOC容错设计与验证

为了提高MPSOC处理器的可靠性,提出了一种基于软件表决和硬件仲裁的三模冗余容错处理器设计方案,并对这种容错设计进行了原型实现和验证,试验结果表明了方案的正确性和有效性.     

SpaceWire D的调度表生成方法

针对航天高速SpaceWire D提出了一种调度表生成方法。该方法基于贪婪算法和SMT求解器。贪婪算法是主体,在每次迭代中以调度表的分布均匀性为优化原则产生一个约束集作为SMT求解器的输入参数,然后调用SMT求解器。SMT求解器是重要工具,用于对输入参数的可满足性进行判定,如果可满足则将输出的模型作为生成的调度表。此外,还提出了设置分片长度、确定时间槽大小以及划分冲突域的策略。最后,通过试验对方法的效果进行了验证。结果表明,生成调度表的时间较短且调度表具有良好的分布均匀性。     

SiP陶瓷芯片水汽含量控制工艺方法研究

结合宇航级陶瓷封装芯片的特点和水汽控制要求,对SiP陶瓷封装工艺进行了研究,分析了陶瓷封装过程中产生水汽的各个因素,优化了封装生产工艺流程,增加了预烘转运过程下厂监制,保证了转运时间的工艺过程管控,通过试验验证了管控措施的有效性。     

SoC技术在空间应用中的需求分析

在研究国外NASA和ESA的SoC应用及发展情况基础上,结合卫星电子系统组成、SoC在空间应用的技术优势以及当前卫星电子系统小型化对SoC技术的迫切需求,阐明空间应用SoC技术的发展需求,提出SoC空间应用的技术方案.