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:
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
Lug-nuts mailing list -- lug-nuts@bigbrie.com To unsubscribe send an email to lug-nuts-leave@bigbrie.com