首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于Markov的模块化电传操纵系统软件可靠性模型
引用本文:李翔,李大伟,张蓉,王旭辉.基于Markov的模块化电传操纵系统软件可靠性模型[J].数学的实践与认识,2013,43(1).
作者姓名:李翔  李大伟  张蓉  王旭辉
作者单位:1. 空军工程大学 装备管理与安全工程学院,陕西西安,710051
2. 94136部队,宁夏银川,750025
摘    要:电传操纵系统是影响飞行安全的关键系统,建立有效的电传操纵系统软件可靠性模型是软件可靠性测试和验证的基础.针对某型飞机系统安全性设计中横向通道电传操纵系统软件可靠性建模问题,建立了模块化的基于Markov的电传操纵系统软件可靠性模型.提出了综合考虑重要度和复杂度的软件可靠性指标分配方法,将可靠性目标分配到子模块.最后,通过实例验证了所建立的模型和指标分配方法的有效性.

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

Modularized Software Reliability Model of FBW (Fly-By-Wire) System based on Markov
LI Xiang , LI Da-wei , ZHANG Rong , WANG Xu-hui.Modularized Software Reliability Model of FBW (Fly-By-Wire) System based on Markov[J].Mathematics in Practice and Theory,2013,43(1).
Authors:LI Xiang  LI Da-wei  ZHANG Rong  WANG Xu-hui
Abstract: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.
Keywords:FBW system  software reliability  modulization  index distribution
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号