NASAは同じプログラムを27個並列実行した。バグは票を固めて投票した。
N-version programmingは、独立したチームが独立したミスをすると約束した。KnightとLevesonの1986年の実験はその逆を証明し、NASAは静かに撤退した。
1980年代初頭、NASAは今日も safety-critical engineering を悩ませる問いに直面していた：まだ発見されていないバグをどう許容するか？彼らの答えは N-version programming…
nasa
1 post