The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1989 vol.15)
pp: 1481-1485
ABSTRACT
<p>The authors have identified a difficulty in the implementation of N-version programming. The problem, called the consistent comparison problem, arises for applications in which decisions are based on the results of comparing finite-precision numbers. It is shown that when versions make comparisons involving the results of finite-precision calculations, it is impossible to guarantee the consistency of their results. It is therefore possible that correct versions may arrive at completely different outputs for an application that does not apparently have multiple correct solutions. If this problem is not dealt with explicitly, an N-version system may be unable to reach consensus even when none of its component versions falls.</p>
INDEX TERMS
consistent comparison problem; N-version software; N-version programming; decisions; finite-precision numbers; finite-precision calculations; fault tolerant computing; programming
CITATION
S.S. Brilliant, J.C. Knight, N.G. Leveson, "The Consistent Comparison Problem in N-Version Software", IEEE Transactions on Software Engineering, vol.15, no. 11, pp. 1481-1485, November 1989, doi:10.1109/32.41339
40 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool