Adjudicators for diverse-redundant components

The authors define the adjudication problem, summarize the existing literature on the topic, and investigate the use of probabilistic knowledge about errors/faults in the subcomponents of a fault-tolerant component to obtain good adjudication functions. They prove the existence of an optimal adjudication function, which is useful both as an upper bound on the probability of correctly adjudged obtainable output and as a guide for design decisions.