Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Probabilistically survivable MASs
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Distributed algorithms for dynamic survivability of multiagent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
Several authors have addressed the problem of reliability optimization of modular software with redundancy. At present, these approaches seem to be limited by the fact that they use statistical independence assumptions for different program versions. In view of strong empirical evidence of positive failure correlations between program versions, it is desirable to generalize these reliability optimization techniques by taking such correlations explicitly into consideration. In the presented paper, this is done based on a multiversion software failure correlation model tracing back to Eckhard and Lee. We show how taking failure correlation into account extends the corresponding optimization problems, and how they can be treated computationally. In particular, in the (practically relevant) case of components with relatively high reliability, the optimization problems reduce to knapsack-type problems which can, for relevant problem sizes, be solved with rather low computational effort. Also for the general case, solution techniques are outlined.