A branch-and-bound approach to the optimization of redundant software under failure correlation

DOI10.1016/S0305-0548(01)00055-7zbMath1259.90172MaRDI QIDQ1941955

Walter J. Gutjahr, Gabriele Danninger

Publication date: 25 March 2013

Published in: Computers \& Operations Research (Search for Journal in Brave)

zbMATH Keywords

optimizationbranch-and-boundsoftware reliabilityfault-tolerant softwarecorrelated failures

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Approximation methods and heuristics in mathematical programming (90C59)

Related Items (5)

Resource allocation during tests for optimally reliable software ⋮ Soliton scattering with amplitude changes of a negative order AKNS equation ⋮ Metaheuristic search techniques for multi-objective and stochastic problems: a history of the inventions of Walter J. Gutjahr in the past 22 years ⋮ Solutions to nonlocal nonisospectral (2 + 1)-dimensional breaking soliton equations ⋮ A study of N-version programming and its impact on software availability

Cites Work

• Unnamed Item
• Unnamed Item
• Optimization models for complex recovery block schemes
• A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors

This page was built for publication: A branch-and-bound approach to the optimization of redundant software under failure correlation