容错计算机控制系统可靠性综合分析方法研究

容错计算机控制系统是由软件容错与硬件余度构成的复杂动态系统，具有软硬件功能、运行、故障相关性及动态时序性。研究容错计算机控制系统的结构、故障的动态时序过程及软硬件相关性，建立动态故障树与马尔可夫状态过渡法综合的动态故障树模型及软硬件FTA与FMECA结合的综合分析方法，并开发相应的软件工具，具有重要的经济效益和良好的应用前景。