http://www.coe.uncc.edu/~jbyun1/Classes/Fault_Tolerant_Systems/R8.pdf
In particular the section on the Primary Flight Computers and Figure 5
shows that the Boeing 777 uses 3 sets of 3 computation lanes (each
lane uses a different chip architecture: Intel, AMD, and Motorola) and
using 3 different compilers to ensure diversity through N-Version
Programming (http://en.wikipedia.org/wiki/N-version_programming).
-- Daniel R. <dan...@neophi.com> [http://danielr.neophi.com/]