Reliability and safety analysis of redundant vehicle management computer system

• Published in: Chinese journal of aeronautics Vol. 26; no. 5; pp. 1290 - 1302
• Main Authors: Shi, Jian, Meng, Yixuan, Wang, Shaoping, Bian, Mengmeng, Yan, Dungong
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.10.2013
• Subjects: Failure transmission; Fault monitoring detection; Generalized stochastic Petri nets; Redundant technique; Vehicle management computer; 可靠性建模; 安全性分析; 广义随机Petri网; 病毒性心肌炎; 计算机系统; 车辆管理; 软件故障; 飞行控制系统; Fault monitoring detection; Redundant technique; Generalized stochastic Petri nets; Failure transmission; Vehicle management computer
• ISSN: 1000-9361
• DOI: 10.1016/j.cja.2013.07.036

Redundant techniques are widely adopted in vehicle management computer （VMC） to ensure that VMC has high reliability and safety. At the same time, it makes VMC have special characteristics, e.g., failure correlation, event simultaneity, and failure self-recovery. Accordingly, the reliability and safety analysis to redundant VMC system （RVMCS） becomes more difficult. Aimed at the difficulties in RVMCS reliability modeling, this paper adopts generalized stochastic Petri nets to establish the reliability and safety models of RVMCS. Then this paper analyzes RVMCS oper- ating states and potential threats to flight control system. It is verified by simulation that the reli- ability of VMC is not the product of hardware reliability and software reliability, and the interactions between hardware and software faults can reduce the real reliability of VMC obviously. Furthermore, the failure undetected states and false alarming states inevitably exist in RVMCS due to the influences of limited fault monitoring coverage and false alarming probability of fault mon- itoring devices （FMD）. RVMCS operating in some failure undetected states will produce fatal threats to the safety of flight control system. RVMCS operating in some false alarming states will reduce utility of RVMCS obviously. The results abstracted in this paper can guide reliable VMC and efficient FMD designs. The methods adopted in this paper can also be used to analyze other intelligent systems＇ reliability.