基于调度预测的星载混合相关任务调度算法及其仿真的研究

为解决星载计算机系统中具有相关性任务的调度和临界资源的分配问题，提出了一种星载混合相关任务调度算法。首先，对星载计算机系统中的任务给出了形式化的描述。其次，具体阐述了这种星载多任务调度算法并给出了可调度性预测分析条件。最后，通过仿真实验对这个调度算法的性能进行了验证并给出了结论。     

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

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

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

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

硬实时系统中自适应反馈软件容错动态调度算法研究

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。
     

空间环境中的多处理器混合容错调度算法

为提高空间应用环境中混合实时任务的容错调度效率,提出基于空间环境的多处理器混合容错调度算法。算法在周期任务调度中采用基于分组的“最佳适应”分配策略,以少量增加的计算时间获得更为紧凑的任务调度结果,从而减少调度所需的处理器数目和任务执行时间;在非周期任务调度中,利用基于空闲时间片的方法完成动态调度,使得混合实时任务的容错调度效率有显著提高,能够更好地适应复杂空间环境的任务处理。仿真结果表明算法在改善混合实时任务容错调度性能上具有重要作用。     

微小卫星星务计算机系统的容错控制策略研究

微小卫星系统是一个可靠性要求很高的系统,需要由具有容错能力的星载计算机来控制。针对微小卫星重量、体积、功耗的限制,提出了一种微小卫星的星务计算机系统的可靠性设计方案,设计中采用双模冗余方案搭建系统的容错结构,并根据卫星的运行要求提出了适用于微小卫星的温备份方式容错控制策略,介绍了一些用于支持温备份方式容错控制策略的关键技术。通过分析在微小卫星设计中的适用情况,温备份策略从硬件开销和时间开销两个方面都有利于卫星的设计。在立体测绘微小卫星“试验卫星一号”的星务计算机系统中的应用表明,提出的可靠性设计方案能够提高小卫星的可靠性、安全性以及实时性。     

基于偏差信息的星载计算机系统负载平衡算法的研究

相邻结点负载平衡算法具有计算简单、额外开销小的优点。但由于采用局部的观点平衡负载，限制了结点信息得到的范围，使得系统在某种情况下达不到全局平衡，本文提出了基于偏差信息的星载计算机系统负载平衡算法，它改变了结点传递的实际负载信息，使修改后的负载信息能体现出结点及其周边结点的负载形势，以此弥补了相邻结点负载平衡算法的不足，并将其应用在星载计算机系统上，首先，介绍了相邻结点负载平衡算法及其存在的不足；其次，描述了基于偏差信息的星载计算机系统负载平衡算法，最后，通过仿真实验，给出了这种算法同其它几种负载平衡算法的比较，并证明了它的正确性与可行性。     

一种面向节能的星载实时任务动态调度算法研究

星载嵌入式操作系统性能和任务能耗之间的平衡非常重要,采用合理的处理器和电压分配策略是一个重要手段。提出一系列基于计算概率的建模方法,用来解决星载实时嵌入式系统中对于具有数据依赖的非周期性任务的处理器和电压分配相关问题,并且能够确保所有的任务都能在时间约束下执行。首先设计一个处理器调度算法,将任务的有向无环图(DAG)映射到一组可变电压处理器上,然后使用动态编程算法为每个任务分配合适的电压。通过带有重启的局部搜索策略从候选解集中获取最优解,以解决局部最优陷阱问题。通过实验说明,所提出的算法与其他算法相比,在所有时间约束下具有更好的能效。     

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

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

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

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