Verification and validation of real-time software
Verification and validation of real-time software
Evaluation of safety-critical software
Communications of the ACM
Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Simulation Modeling and Analysis
Simulation Modeling and Analysis
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Stopping Rules for the Operational Testing of Safety-Critical Software
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Integration and Reliability Testing for Component-Based Software Systems
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Software reliability testing covering subsystem interactions
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Hi-index | 0.00 |
This paper illustrates a practicable approach to reliability evaluation for highly reliable software systems based on the analysis of their operational experience and demonstrates its applicability to the control software of a gearbox system. The investigations were carried out within a cooperation of academia and automotive industry. The article also elaborates on the possibility of assessing software reliability at system level by combination of component-specific software reliability estimates.