The infeasibility of quantifying the reliability of life-critical real-time software
Open Access
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 19 (1), 3-12
- https://doi.org/10.1109/32.210303
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- On the use and the performance of software reliability growth modelsReliability Engineering & System Safety, 1991
- An empirical comparison of software fault tolerance and fault eliminationIEEE Transactions on Software Engineering, 1991
- A reply to the criticisms of the Knight & Leveson experimentACM SIGSOFT Software Engineering Notes, 1990
- A Digital Matter of Life and DeathScience News, 1988
- Fault-Tolerant SoFtware Reliability ModelingIEEE Transactions on Software Engineering, 1987
- Evaluation of competing software reliability predictionsIEEE Transactions on Software Engineering, 1986
- Software safety: why, what, and howACM Computing Surveys, 1986
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-DesignsIEEE Transactions on Reliability, 1981