15 Aug
2025
15 Aug
'25
10:32 a.m.
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/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