基于Markov的模块化电传操纵系统软件可靠性模型  

Modularized Software Reliability Model of FBW(Fly-By-Wire) System based on Markov

作　　者：李翔[1] 李大伟[1] 张蓉[1] 王旭辉 

机构地区：[1]空军工程大学装备管理与安全工程学院 [2]94136部队

出　　处：《数学的实践与认识》2013年第1期86-90,共5页Mathematics in Practice and Theory

摘　　要：电传操纵系统是影响飞行安全的关键系统,建立有效的电传操纵系统软件可靠性模型是软件可靠性测试和验证的基础.针对某型飞机系统安全性设计中横向通道电传操纵系统软件可靠性建模问题,建立了模块化的基于Markov的电传操纵系统软件可靠性模型.提出了综合考虑重要度和复杂度的软件可靠性指标分配方法,将可靠性目标分配到子模块.最后,通过实例验证了所建立的模型和指标分配方法的有效性.FBW system is safety-critical system for flight safety. Establishing valid reliability model of FBW system is the basis of reliability test and verification for software. Regarding the problem of establishing software reliability model of FBW system＇s rolling channel for system safety analysis of an aircraft, a modularized software reliability model of FBW system is constructed. A reliability index distribution method for the model established is proposed considering importance and complexity of each module, by which the reliability objective is distributed to submodule. Then validation of the model constructed and the reliability index method is exemplified.

关 键 词：电传操纵系统 软件可靠性 模块化 指标分配 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]