基于动态故障树的航天嵌入式多核系统可靠性分析-reliability analysis of aerospace embedded multi-core system based on dynamic fault tree.docx

- II - 哈尔滨工业大学工学博士学位论文 代数方法的动态门结构表示法，可通过将复杂子树中的 FDEP 门转换为基本事件 的剖集给出子树的解。SS 航天复杂系统中共因事件和输入次序交互等动态事件给可靠性研究带来了挑 战。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 可靠性计算，基于容错和多备件的系统结构实现了空天应用高可靠性需求的同时 也满足高清晰图像处理的性能需求。 关键词： 系统可靠性;动态故障树;嵌入式多核;共因事件;备件门;FDEP 门  哈尔滨工业大学工学博士学位论文 Abstract With the large-scale applications of satellite communication and intelligent network nodes, it is urgent to process multi-way signals by high performance and reliable embedded system for achieving a wider range of multimedia applications in the area of aerospace system. On-chip multi-core structure makes several and even many processor cores integrated in a single chip, which provides fault-tolerant structure and high performance advantage and is undoubtedly the future direction of development. Reliability is a critical property of aerospace system. It is also an important criterion in spacecraft design and improvement work. However, in most cases, it is very difficult to physically assess aerospace system and even be impossible. Therefore, it has become a core issue to achieve high reliability design in aerospace engineering and economic budget. It is widespread to improve reliability by multi-modular redundancy and spare parts in aerospace system, but it significantly increases the complexity of reliability study. Moreover, repeated events of connecting multiple components present reliability process challenges. Traditional static fault tree (SFT)