Reliability Demonstration Testing Method for Safety-Critical Embedded Applications Software
暂无分享,去创建一个
[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..