Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951432 | Journal of Logical and Algebraic Methods in Programming | 2016 | 7 Pages |
Abstract
This paper takes an axiomatic and calculational view of diversity (or “N-version programming”), where multiple implementations of the same specification are executed in parallel to increase dependability. The central notion is “adjudication”: once we have multiple, potential different, outcomes, how do we come to a single result? Adjudication operators are explicitly defined and some general properties for these explored.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Eerke A. Boiten,