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.
【Citations】
Chinese Journal Full-text Database 5 Hits
1 QIN Zhi-dong, LEI Hang, SANG Nan, XIONG Guang-ze, GU You-peng (Real-time System Lab., University of Electronic Science and Technology of China, Chengdu 610054, China);Study on the Reliability Demonstration Testing Method for Safety-critical Software[J];Acta Aeronautica Et Astronautica Sinica;2005-03
2 Ma Weihua Beijing Aerospace Automatic Control Institute, Beijing 100854;Study on Reliability Design of Flight Control Software[J];Aerospace Control;2002-03
3 CHEN Jun-wen,GU Jian-hua,ZHANG Fan,DONG Yun-wei School of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China;Improved architecture-based software reliability model[J];Computer Engineering and Applications;2009-33
4 QIN Zhi-dong WANG Hong-ya LI Ji-yun LE Jia-jin(Institute of Embedded Systems,School of Computer Science & Technology,Donghua University,Shanghai 201620,China);Reliability Testing Method for Multi-modules Software with Markov Transfer of Control[J];Computer Science;2008-09
5 Cai Kaiyuan1,Bai Chenggang1,Zhong Xiaojun2(1.Dept. of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083, China;2.Dept. of Management Engineering,Naval University of Engineering);Introduction to Reliability Models of Component-Based Software System[J];Journal of Xi'an Jiaotong University;2003-06
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 Li Qiuying Jiang Mengcen(Dept.of System Engineering of Engineering Technology,Beijing University of Aeronautics and Astronautics,Beijing 100191,China);Analysis of necessary condition for minimal software reliability demonstration test suite[J];Journal of Beijing University of Aeronautics and Astronautics;2010-02
2 Li Qiuying Li Haifeng Wang Jian(School of Reliability and Systems Engineering,Beijing University of Aeronautics and Astronautics,Beijing 100191,China);Effects of software test efficiency on software reliability demonstration testing effort[J];Journal of Beijing University of Aeronautics and Astronautics;2011-03
3 HU Sheng-wu,WANG Hong-tao (School of Geodesy and Geomatics,Henan Polytechnic University,Jiaozuo 454000,China);Key issues of GIS fuzzy reliability analysis[J];Engineering of Surveying and Mapping;2006-04
4 HU Sheng-wu~(①②),XU Hui~③,XU Zhuo-kui~④,LI Ai-guo~②(①School of Geodesy and Geomatics,Wuhan University,Wuhan 430079,China;②Dept.Surveying Computer Eng.Of Henan Polytechnic University,Henan Jiaozuo,454100,China;③Dept.Computer Eng.of Henan Polytechnic University,Henan Jiaozuo,454100,China;④School of Remote Sensing and Information Engineering,Wuhan University,Wuhan,430079,China);Research on GIS reliability[J];Science of Surveying and Mapping;2005-02
5 LUO Hang1,WANG Hou-jun2,HUANG Jian-guo2,and LONG Bing2(1.Measurement and Control Department,Sichuan University Chengdu 610065; 2.School of Automation Engineering,University of Electronic Science and Technology of China Chengdu 611731);Analyzing Fault Tree by Using Method of Recursive BDD Technique[J];Journal of University of Electronic Science and Technology of China;2011-05
6 Luo Hang Wang Houjun Huang Jianguo Long Bing(Automation engineering college of UESTC,Chengdu 611731,China);Quantitative fault tree analysis and its realization of interaction mode[J];Journal of Electronic Measurement and Instrument;2010-05
7 Wu Zhen Meng Luo-ming (State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications,Beijing 100876,China);Module Reliability in Various Run-Time Scenario of Network Management System[J];Journal of Electronics & Information Technology;2007-11
8 Lu Yuan1,2,Xie Jing-zhi1,2(1.Sehool of Meehanieal and Automotive Engineering,Hefei University of Technology,Anhui Hefei 230009;2.The 96117th Unit of PLA,Shandong Laiwu 271100);The Hierarchical Bayesian Reliability Estimation for Safety-critical Software in the Case of Zero-failure Data[J];Electronics Quality;2011-01
9 Ma Caiwen 1,2 ,Li Yan 2,Chai Raojun 2,3 ,Ji Dashan 2,3 ,Su Hongyu 2,3 1 Department of Automatic Control,NWPU,Xi′an 710072 2 Xi′an Institute of Optics and Precision Mechanics,CAS,Xi′an 710068 3 Graduate School,Chinese Academy of Sciences,Beijing 100039;Design & Realization of Complex Multi-target Image Processing Software System by TV Theodolite[J];Acta Photonica Sinica;2004-08
10 WANG Xuecheng1,LU Minyan1,LI Haifeng1,2,YANG Risheng1(1.School of Reliability and systems engineering,Beihang University,Beijing 100091,China; 2.Quality Engineering Center,China Aero-Polytechnology Establishment,Beijing 100028,China);Continues software reliability demonstration testing scheme with decreasing function[J];Journal of Chongqing University;2012-10
China Proceedings of conference Full-text Database 2 Hits
1 ;The Extension and Improvement of Software Reliability Model Under Distributed Environment[A];[C];2009
2 Wang Jue~1 Wei Qun~2 Meng Xiang-hang~3 (1.Graduate College,the Academy of Equipment Command & Technology,Beijing,101416) (2.Information and Equipment Department,the Academy of Equipment Command & Technology,Beijing,101416) (3.Information and Engineering Department,the Academy of Equipment Command & Technology,Beijing,101416);Application of Program Mutation in Software Reliability Assessment[A];[C];2008
【Secondary Citations】
Chinese Journal Full-text Database 10 Hits
1 CHEN Huo-wang,WANG Ji,Dong Wei (School of Computer,National University of Defense Technology,Changsha,Hunan 410073,China);High Confidence Software Engineering Technologies[J];Acta Electronica Sinica;2003-S1
2 ZHOU Hai, ZHAO Xi ping, LIU Pin (Automatical Test and Control Department, Harbin Institute of Technology, Harbin 150001, China);Software for fault tree analysis[J];Journal of Harbin Institute of Technology;2001-05
3 CHEN Xue song, LU Min yan, RUAN Lian (Beijing University of Aeronautics and Astronautics, Beijing 100083, China);STUDY ON SOFTWARE RELIABILITY TEST DATA GENERATION METHOD[J];Acta Aeronautica Et Astronautica Sinica;2001-06
4 QIN Zhi-dong, LEI Hang, SANG Nan, XIONG Guang-ze, GU You-peng (Real-time System Lab., University of Electronic Science and Technology of China, Chengdu 610054, China);Study on the Reliability Demonstration Testing Method for Safety-critical Software[J];Acta Aeronautica Et Astronautica Sinica;2005-03
5 Zheng Shenbai Lu Qing;Influence of Network Parameters on the Results Predicted by BP Algorithm of Neural Network[J];JOURNAL OF IRON AND STEEL RESEARCH;1997-01
6 Yu Xiaodan Liu Junli Li Zhiyao Lin Mingfang (Jilin University of Technology) (Changchun Technology) (Jilin University of Technology);A New Design Method with Minimal of Fault Tree[J];JOURNAL OF JILIN UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION);1996-04
7 Zhu Mingbo Wang Shiping Han Fangming (Electronics & Mechanics College,Xidian University, Xi'an , 710071);Building and Analysis of Computer Aided Fault Tree[J];COMPUTER AIDED ENGINEERING;1998-01
8 QIN Zhi-Dong;LEI Hang;SANG Nan;XIONG Guang-Ze Real-time System Lab, Computer College of UESTC, Chengdu 610054;Reliability Demonstration Testing Method for Continuous Execution Software[J];Computer Science;2005-06
9 Zhang Ling and Zhang Bo (Anhui University)(Tsinghua University);A Review and Exploration on the Design Problem of Feedforward Neural Networks[J];COMPUTER ENGINEERING & SCIENCE;1998-04
10 Tan Yuanfa (The workers University of Hunan Electric Mfg.Work);NON-COHERENT SYSTEM FI ANALYSIS[J];Mathematical Theory and Application;2001-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved