[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/airworthines...

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.pd...

Brian