一种基于Markov模型的星载计算机系统可靠性评测的新方式  

A New Way of Reliability Estimation Based on Markov Model for onboard Computer System

作　　者：仉俊峰[1] 洪炳镕[1] 袁成军[2] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院 [2]中国航天部七七一所,西安710000

出　　处：《宇航学报》2007年第4期1053-1058,共6页Journal of Astronautics

基　　金：国防"十五"预研项目"星;弹载嵌入式操作系统及其可靠性评测"(417010402)

摘　　要：可靠性在星载计算机系统中具有非常重要的作用。现以Markov链为基础,提出了一种新的估计星载计算机系统可靠性的统计使用检测方法。首先通过对故障的传播进行分析,对检测过程中Markov链上由故障产生的状态转移描述方法进行了改进,将“故障不一定产生失效”的现象用Markov链描述出来。其次,提出了程序执行路径的概率计算方法,并且用该方法对星载计算机可靠性进行了估计。最后通过仿真实验表明了该计算方法的有效性。通过对故障状态转移的分析和路径概率计算方法的提出,使星载计算机系统可靠性评测更能反映实际情况。The onboard computer adopted by internal aerospace department is a high dependable tolerant computer system, which was studied by intemal researcher. The reliability plays an important role in onboard computer system. In this paper, a new statistical usage testing method of estimating the reliability of onboard computer system was put forward. Fitst, the description method of fault induced states transitions in the Markov chain during testing was improved after analyzing the fault propagation. The condition that ＂fault not always induces fail＂ was described in Markov. Second, a probability computing method for execution paths of the program was proposed, which was used to evaluate the reliability of onboard computer system. Last, the validity of computing method was shown in the simulation experiment. In conclusion, testing and evaluating reliability of onboard computing system can reflect reality condition after analyzing the the fault induced states transitions and proposing the computing method of path probability.

关 键 词：星载计算机系统 可靠性 MARKOV模型 路径概率 

分 类 号：V411.8[航空宇航科学与技术—航空宇航推进理论与工程]