Diversity and adjudication
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.
Citation : Boiten, E.A. (2016) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, 85 (5), Part 2, pp. 860-866
ISSN : 2352-2208
Research Group : Cyber Technology Institute (CTI)
Research Institute : Cyber Technology Institute (CTI)
Peer Reviewed : Yes