Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Mathematics in Practice and Theory》 2013-01
Add to Favorite Get Latest Update

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

LI Xiang~1,LI Da-wei~1,ZHANG Rong~1,WANG Xu-hui~2 (1.Material Management and Safety Engineering Institute,Air Force Engineering University,Xi'an 710051, China) (2.PLA Force Unit 94136,Yinchuan 750025,China)  
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.
【CateGory Index】: TP311.53
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved