Reliability analysis for AFTI-F16 SRFCS using ASSIST and SURE

This paper reports the results of a study on reliability analysis of an AFTI-16 Self-Repairing Flight Control System (SRFCS) using software tools SURE (Semi-Markov Unreliability Range Evaluator) and ASSIST (Abstract Semi-Markov Specification Interface to the SURE Tool). The purpose of the study is to investigate the potential utility of the software tools in the ongoing effort of the NASA Aviation Safety Program, where the class of systems must be extended beyond the originally intended serving class of electronic digital processors. The study concludes that SURE and ASSIST are applicable to reliability analysis of flight control systems. They are especially efficient for sensitivity analysis that quantifies the dependence of system reliability on model parameters. The study also confirms an earlier finding on the dominant role of a parameter called a failure coverage. The paper will remark on issues related to the improvement of coverage and the optimization of redundancy level.

[1]  Allan L. White,et al.  Reliability estimation for reconfigurable systems with fast recovery , 1986 .

[2]  N. Eva Wu.  Reliability of fault tolerant control systems: Part I , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[3]  N. E. Wu,et al.  Reliability prediction for self-repairing flight control systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[4]  Parameswaran Ramanathan.  The SURE approach to reliability analysis , 1992 .

[5]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[6]  Ricky W. Butler,et al.  An Abstract Language for Specifying Markov Reliability Models , 1986, IEEE Transactions on Reliability.

[7]  N. E. Wu.  Reliability of fault tolerant control systems: Part II , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[8]  Christine M. Belcastro,et al.  Application of failure detection, identification, and accommodation methods for improved aircraft safety , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).