Originally Posted by
bsieker
As far as I know, no airliner in wide use uses diversely developed software.
I'm certain the A320 does, and I'm pretty sure the other Airbus FBW models followed suit. They also had exhaustively reviewed requirements specifications. IIRC the academic paper you refer to actually said that it was impossible to verify at that stage whether multiple implementations had an appreciable benefit, but it did not say that the process had no potential benefit.
Boeing's T7 software was always going to be significantly more complex than that of the Airbus series, simply by nature of the systems design - that may be why they ran into probems and abandoned the methodology.