An Experimental Evaluation of the Assumption of Independence in Multiversion Programming¶
Knight, J. C., & Leveson, N. G. (1986). An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Transactions on Software Engineering, 12(1), 96-109.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Diverse Implementation Voting
- Its failure mode is correlated errors: when the independent teams share a flawed specification, a common algorithm, or the same misunderstanding, they can all vote the same wrong answer, and the vote ratifies it.
This sourceShows that independently developed program versions can fail dependently, so majority voting may select a shared erroneous result rather than mask it.
- Its failure mode is correlated errors: when the independent teams share a flawed specification, a common algorithm, or the same misunderstanding, they can all vote the same wrong answer, and the vote ratifies it.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:065239265a45 · see in the full table