基于知识隐藏的星载计算机系统安全研究

在现代战争中，卫星的信息安全与可靠性直接关系交战方能否具有一定的信息优势，能否掌握战场的主动权。星载计算机系统、通信系统的安全与可靠性是关键。分布式、多总线、多处理单元的冗余设计、看门狗技术是目前用来保证星载计算机系统可靠性的主要手段。文章从知识隐藏的角度。提出用弹性计算理论来保证星载计算机系统容错、容入侵的思路和方法。论文给出了知识隐藏的概念，分析了3种知识隐藏方法，围绕弹性计算模型，提出了基于弹性计算模型的星载计算机系统的文件系统、基本组成设计与实现。     

一种基于Markov模型的星载计算机系统可靠性评测的新方式

可靠性在星载计算机系统中具有非常重要的作用。现以Markov链为基础,提出了一种新的估计星载计算机系统可靠性的统计使用检测方法。首先通过对故障的传播进行分析,对检测过程中Markov链上由故障产生的状态转移描述方法进行了改进,将“故障不一定产生失效”的现象用Markov链描述出来。其次,提出了程序执行路径的概率计算方法,并且用该方法对星载计算机可靠性进行了估计。最后通过仿真实验表明了该计算方法的有效性。通过对故障状态转移的分析和路径概率计算方法的提出,使星载计算机系统可靠性评测更能反映实际情况。     

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

风云一号（B）的星载计算机系统

本文叙述了风云一号(B)星载计算机系统的构成及性能、主备双机冗余结构以及主备双机切换和备机内部A、B机自荐切换的实现过程,介绍了星载计算机的可靠性设计、冗余容错设计和星载计算机软件,也反应了星载计算机在卫星中的作用。     

一种低成本纳卫星星载计算机容错方法

为了提高纳卫星星载计算机系统的可靠性,减少体积、质量及功耗等多方面因素的影响,文章提出了一种软硬件结合的低成本容错设计方法。将星载计算机硬件采用双机冗余冷备份方案,通过现场可编程门阵列(FPGA)对故障处理器进行仲裁切换;软件容错通过错误检测与纠正(EDAC)信息容错技术的实现,对星载计算机整体程序进行纠错检错,以对抗单粒子翻转事件。结果表明:该方法能够对星载计算机系统进行有效的故障切换处理,并降低单粒子事件的不良影响,可以在纳卫星系统中推广应用。     

近地卫星星历的高精度星载算法研究

随着星载计算机系统结构和性能的改善,利用星载计算机实现高精度的星历计算成为可能。本文针对近地轨道卫星提出了一种适合星上轨道预报的数值算法。通过采用简化的动力学模型和一种嵌套插值算法的积分器,有效提高了计算效率,降低了对星载计算系统的性能要求,从而实现高精度的卫星星历星载计算。该算法在星载计算机系统平台上进行仿真验证的结果表明,对于某飞行器可实现轨道预报1天优于1km的星历计算。     

基于BM3803处理器的即插即用星载计算机系统设计

针对我国星载计算机不能通用和"即插即用"的特点,文章提出一种模块化的星载计算机硬件设计方法,以某卫星原理样机为例,设计了一种基于BM3803处理器的即插即用星载计算机系统,重点研究了通用驱动软件的实现,通过软硬件结合,实现了设备模块的功能自动识别和"即插即用"功能。文章将该方案与现有星载计算机系统进行了对比分析,结果表明:该系统的处理性能更高,具有较好的通用性和扩展性,能够进行模块级替换和产品化生产,并满足新一代星载计算机系统快速组装的需求。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。     

某高性能星载计算机软硬件的协同设计

为满足某应用卫星对星载嵌入式计算机的高要求,采用了一种星载嵌入式计算机系统软硬件协同设计方法.给出了软硬件协同设计的流程、开发平台,以及所设计的原理样机的结构.采用软硬件协同设计可提升系统性能和可靠性,缩短研制周期.     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。