代数方法的动态门结构表示法,可通过将复杂子树中的 FDEP门转换为基本事件的割集给出子树的解。　　航天复杂系统中共因事件和输入次序交互等动态事件给可靠性研究带来了挑战。DFT求解若采用Markov方法,通常会面临极高的计算复杂度与时间开销而无法实现。基于系统定义假设,由基本事件的概率分布入手,根据动态门的时序逻辑定义和关联方式,给出系统故障事件的准确通用计算方法GDFTA(Generic Dynamic fault-Tree Algorithm)。GDFTA方法以概率积分方法实现了通用的动态树求解。方法对各类动态门均给出了计算过程,避免了Markov方法的状态空间爆炸问题,并取得了较理想的计算准确性。通过对动态树实例的可靠性评估证明该方法可行。在标准动态故障树测试集中,四类不同系统的可靠性结果精度优于Monte Carlo方法,对比其他算法的计算效率也有显著提高。　　空天飞行器图像采集与数据处理领域对嵌入式系统提出了存储可靠性、容量及性能的新需求。本文设计了高速、大容量并具备高可靠性的嵌入式系统存储结构。采用 SLC(Single Level Cell)介质镜像容错的系统存储单元具备良好的可靠性,在显著提高了系统I/O传输性能的同时改善了系统存储的MTBF(Mean Time Between Failures)。多核平台引入多通道存储方案为多核处理器提供充足的前端总线带宽,大幅度提高任务吞吐率和并发调度效率。通过 FPGA模拟实现1-8核可配置系统环境。根据基于典型的文件混合传输、多媒体文件创建测试和系统 DFT可靠性计算,基于容错和多备件的系统结构实现了空天应用高可靠性需求的同时也满足高清晰图像处理的性能需求。