[Lug-nuts] Re: Boeing 787 has critical failure of mode of all electrical power

Maybe they should have written it in Ada - https://adaic.org/ Donovan On 8/14/25 11:27 AM, Brian E. Lavender wrote: > Did you know that the Generator Control Units for the Boeing 787 will go > into failsafe mode causing loss of all AC electrical power if they are > left on for more than 248 days? > > https://www.federalregister.gov/documents/2015/05/01/2015-10066/airworthine… > > > This something that could have been prevented with the use of formal > methods. Check this slide presentation from Vermon Tech and > their CubeSat project. > > http://lemuria.cis.vermontstate.edu/CubeSat/PUBLIC/SPARK-Frama-C-Day-2017.p… > > > Brian