<div dir="ltr"><br>The Taiwan Transportation Safety Board has published the final report on a serious incident involving an Airbus A330. While landing at Taipei, all three flight control primary computers shut down, resulting in the spoilers, autobrake and engine thrust reversers failing to operate. The aircraft stopped just 30 ft before the end of the runway.<br><br><div><a href="https://www.ttsb.gov.tw/english/18609/18610/26634/post" target="_blank">https://www.ttsb.gov.tw/english/18609/18610/26634/post</a><br><div><div><a href="https://www.ttsb.gov.tw/media/4913/ci202_executive-summary_release.pdf" target="_blank">https://www.ttsb.gov.tw/media/4913/ci202_executive-summary_release.pdf</a><br></div><div><a href="https://www.ttsb.gov.tw/media/4936/ci-202-final-report_english.pdf" target="_blank">https://www.ttsb.gov.tw/media/4936/ci-202-final-report_english.pdf</a></div><div><div dir="ltr"><div dir="ltr"><p><a name="m_1936185903109800707_SignatureSanitizer_SafeHtmlFilter_UNIQUE_ID_SafeHtmlFilter__MailAutoSig"><span style="font-size:10pt;font-family:Arial,sans-serif">The report says that the flight control primary computers were shut down because the COM/MON pairs weren't synchronised closely enough. This resulted in the COM and MON channels reading different input values and disagreeing with each other. This is claimed to be an unusual edge case that has not been seen before.</span></a></p><p>This is an instance of a well-known problem in computer science called the Byzantine Generals problem. Leslie Lamport's seminal paper presented a solution to the Byzantine Generals problem.</p><p><a href="http://lamport.azurewebsites.net/pubs/pubs.html#byz" target="_blank">http://lamport.azurewebsites.net/pubs/pubs.html#byz</a><br></p><p>Kevin Driscoll has published a number of papers describing how the Boeing 777 flight control system was designed to avoid Byzantine failures.</p></div></div></div></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><p><a name="SignatureSanitizer_SafeHtmlFilter_UNIQUE_ID_SafeHtmlFilter__MailAutoSig"><span style="font-size:10pt;font-family:Arial,sans-serif">Yours,</span></a></p><p><span style="font-family:Arial,sans-serif;font-size:10pt">Dewi Daniels | Director | Software Safety Limited</span><br></p><p><span lang="FR" style="font-size:10pt;font-family:Arial,sans-serif">Telephone +44 7968 837742 | Email </span><span lang="FR" style="font-size:10pt;font-family:Arial,sans-serif;color:purple"><a href="mailto:ddaniels@verocel.com" target="_blank">d</a><a href="mailto:ewi.daniels@software-safety.com" target="_blank">ewi.daniels@software-safety.com</a></span></p><p><font face="Arial, sans-serif">Software Safety Limited is a company registered in England and Wales. Company number: </font><font face="Arial, sans-serif">9390590</font><font face="Arial, sans-serif">. Registered office: Fairfield, 30F Bratton Road, West Ashton, Trowbridge</font><span style="font-size:small;font-family:Arial,sans-serif">, United Kingdom </span><span style="font-size:small;font-family:Arial,sans-serif">BA14 6AZ</span></p></div></div></div></div>