Argh ignore my email(s). Dunno what I was thinking/reading I'll blame it on not having my coffee yet. I don't know what language Boeing is writing their code in. I've heard interesting things about Ada and thought it was an interesting language. I personally find the Ada syntax to be easier to read .. kind of gives me a Pascal vibe.
Donovan
On 8/15/25 8:03 AM, Donovan Freemyer wrote:
They did :-)
On 8/15/25 7:52 AM, Donovan Freemyer wrote:
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