15 Aug
2025
15 Aug
'25
5:52 a.m.
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