题目：非相似余度系统软件安全性分析方法研究

        随着各种航空和电子技术的发展，现代飞机高新技术的大量采用，自动化和数字化程度的飞速提高，飞机电子系统的使用越发广泛，机载软件正在发生着巨大变化。为了寻求提高飞行控制系统可靠性的有效途径，在国内外已经进行了大量的研究工作，同时已经表明：除了选择高质量的元部件之外，提高飞行控制系统可靠性的有效途径是采用余度技术。
        非相似余度技术采用多个不同版本的程序运行在多个不同的硬件通道上，有效的抑制了一些共因故障的发生。但是国内飞控软件针对余度系统的安全性分析应用较少，不清楚非相似系统的含义，也不知道使用何种技术来进行软件安全性分析。因此有必要开展非相似系统的软件安全性分析和实施方案研究。
        本文的主要研究工作和创新如下：
1）首先明确非相似余度系统软件安全性分析工作的整体范围。通过整理余度系统相关概念和基本原理，明确了余度系统软件的运行模式和故障传播机制，从而确定本次研究工作的适用范围和分析重点。
2）提出了余度系统软件非相似因素分析方法。基于对软件开发过程的各阶段中非相似因素的分析，明确了各阶段中非相似因素对软件开发各阶段的影响及程度，结合非相似因素在各阶段的重要性，并给出了余度系统软件非相似因素分析流程。
3）提出了非相似余度系统软件特点的分析方法。针对余度系统软件的特点，给出了余度系统软件余度技术的安全关键问题，并对问题进行分析和解决，同时提出了余度系统软件不同特点下的非相似影响，并给出了非相似余度系统软件特点的分析流程，为余度系统安全性分析工作在实际工程中的开展提供详尽的指导。
4）最后，将本文提出的非相似余度系统软件安全性分析方法应用于某飞行控制系统，识别发现了系统中存在的安全性缺陷或未解决的安全关键问题，从而验证了本文分析方法的有效性。