Reliability Demonstration Testing Method for Safety-Critical Embedded Applications Software

In order to solve the problem that the fixed duration testing method, which based on the classical statistics, canpsilat satisfy the requirements of reliability testing for modern safety-critical embedded applications software due to the long testing duration, a hierarchical reliability demonstration approach was provided in this paper. The method unified architecture-based reliability modeling, maximum entropy principle and Bayesian inference. Numeral simulation shows that it is effective to reduce the testing duration without decreasing the confidence level for the testing results.

[1]  Noushin Ashrafi,et al.  Software Reliability Allocation Based on Structure, Utility, Price, and Cost , 1991, IEEE Trans. Software Eng..

[2]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[3]  David Wright,et al.  Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..

[4]  Swapna S. Gokhale,et al.  Architecture-Based Software Reliability Analysis: Overview and Limitations , 2007, IEEE Transactions on Dependable and Secure Computing.

[5]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[6]  Michael R. Lyu,et al.  Handbook of software reliability engineering , 1996 .

[7]  Jean J. Labrosse,et al.  MicroC/OS-II: The Real Time Kernel , 1998 .

[8]  Lu Ming Software Reliability Allocation based on Structure , 1999 .

[9]  James F. Hubbert The real time system , 1972, DATB.

[10]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[11]  Oded Tal,et al.  Reliability demonstration for safety-critical systems , 2001, IEEE Trans. Reliab..

[12]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[13]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[14]  Oded Tal Software dependability demonstration for safety-critical military avionics systems by statistical testing , 1999 .

[15]  Jeffrey M. Voas,et al.  Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..