Re:Apollo 11 vs. USB-C Chargers (2020)
by Dah00n on Wednesday December 27, 2023 @07:42AM
(#38781421)
Isn't this exactly what aeroplanes do? Two or more control systems made in different hardware, etc?
I'm not saying people aren't doing it! I'm just not sure it has the intended effect.
(Also to protect against physical failures it works, because physical failures are more independent than software ones, as far as I understand.)
That was the reason for the different programming paradigms (Algol-like vs Prolog-like), to reduce the probability.
After some searchengineering I found Knight and Leveson (1986) “AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTI-VERSION PROGRAMMING” which my memory tells me us the classic paper on common failure modes in reliability via N-version software which I was taught about in my undergrad degree http://sunnyday.mit.edu/papers.html#ft
Leveson also wrote the report on Therac 25.
The conclusion of that study was that parallel development mainly accomplishes a false sense of security, and most of the additional reliability in those projects came from other sound engineering techniques. But I have lost the reference, so I don't know how much credibility to lend my memory.