14 Aug
2025
14 Aug
'25
9:27 a.m.
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
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
15 Aug
15 Aug
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
6:03 a.m.
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
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
17 Aug
17 Aug
5:39 p.m.
Perhaps Spark/Ada? Ada syntax is primarily influenced by Pascal. Check
out the book on Safe and Secure Programming with Spark Ada.
https://www.adacore.com/uploads/technical-papers/SafeSecureAdav2015-covered…
On Fri, Aug 15, 2025 at 12:32:47PM -0500, Donovan Freemyer wrote:
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:
--
Brian Lavender
https://www.brie.com/brian/
"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the other
way is to make it so complicated that there are no obvious deficiencies."
Professor C. A. R. Hoare
The 1980 Turing award lecture
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
_______________________________________________
Lug-nuts mailing list -- lug-nuts(a)bigbrie.com
To unsubscribe send an email to lug-nuts-leave(a)bigbrie.com
14
days inactive
18
days old
4 comments
2 participants
participants (2)
-
Brian E. Lavender -
Donovan Freemyer