A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

DOI10.1109/TSE.1985.231895zbMATH Open0571.68022OpenAlexW1999823724MaRDI QIDQ3687702FDOQ3687702

Authors: Dave E. Jun. Eckhardt, Larry Lee 

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1985.231895

zbMATH Keywords

fault-tolerant softwaremultiversion softwarecoincident errorsreliability of redundant software

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (6)

• A branch-and-bound approach to the optimization of redundant software under failure correlation
• Algorithm for synthesis of real-time systems under reliability constraints
• Optimization models for recovery block schemes
• Trivariate Bernoulli distribution with application to software fault tolerance
• Software testing using model programs
• Simulated annealing algorithm in problems of multiprocessor scheduling

This page was built for publication: A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3687702)