Verification and validation of real-time software
Verification and validation of real-time software
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
PODS—A project on diverse software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Evaluation of competing software reliability predictions
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Fault-Tolerant SoFtware Reliability Modeling
IEEE Transactions on Software Engineering
Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
Software diversity in computerized control systems
Software diversity in computerized control systems
Modeling of Correlated Failures and Community Error Recovery in Multiversion Software
IEEE Transactions on Software Engineering
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
IEEE Transactions on Computers
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
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 |
A reliability model is proposed for recovery block structures based on error events which can be observed and distinguished during testing. Strategies are then described for the collection of failure histories needed to estimate the model parameters and obtain dependability predictions. Given that the software goes through different testing stages, the model can be employed at different points of the development cycle to assess or forecast the quality of project choices and the resulting product.