Re:Rust is rolling off the Volvo assembly line
by kstrauser on Tuesday October 08, 2024 @12:22AM
(#41773799)
I’m not sure if that’s true. I’ve never been around things like airplane flight systems. I have been trained on other military hardware with instructions on how to reset it and under which circumstances. I wouldn’t be utterly shocked if an F-16 pilot learns that which such and such happens, you flip this switch back and forth 3 times and then turn this other knob to reboot the computer. You would never, ever get that to be an acceptable procedure for a car’s anti-lock brakes.
Re:Rust is rolling off the Volvo assembly line
by stackghost on Tuesday October 08, 2024 @01:08AM
(#41774023)
Yeah I agree that Ada is probably technically superior but when has that ever swayed anyone.
Re:Rust is rolling off the Volvo assembly line
by carlmr on Tuesday October 08, 2024 @05:41AM
(#41775399)
I'd say Ada is a great choice, but I wouldn't call it technically superior. Some Ada features are nice (e.g. delta types for fixed point calculations), some Rust features are nice (e.g. very expressive ML inspired type system with sum types, borrow checker helps with concurrency and memory lifetimes, ...).
Not only is there of course SPARK, if one wants to do formal verification, Ada has a proven track record in things like military applications. Of course, passenger cars don't have quite the same level of care needed as military stuff (although a lot of care is still needed since cars are hundreds if not thousands of kilograms and can absolutely kill people), but I could still see Ada being useful even in the automotive industry.